Modal Transition Systems: Extensions and Analysis – RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
Disertační práce
Modal Transition Systems: Extensions and Analysis
Modal Transition Systems: Extensions and Analysis
Anotace:
Tato dizertační práce studuje specifikační formalizmus zvaný modální přechodové systémy (MTS). Zavádíme několik rozšíření MTS a rozebíráme jejich vzájemné vztahy a modelovací sílu. Zaprvé rozšiřujeme modality MTS, zadruhé uvažujeme rozšíření s prvky času a ceny a zatřetí zavádíme různé třídy MTS s nekonečně mnoha stavy. Rovněž tato rozšíření MTS srovnáváme jako formalizmy automatové s formalizmy logickými …víceAbstract:
In this thesis, we deal with the specification formalism of modal transition systems (MTS). We introduce several extensions thereof and discuss their relationships and modelling capabilities. Apart from extending the modalities of MTS, we consider timed and priced extensions as well as systems with infinite state space. We also compare the behavioural framework of MTS and its extensions to logical …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 30. 4. 2014
Identifikátor:
https://is.muni.cz/th/sf806/
Obhajoba závěrečné práce
- Obhajoba proběhla 19. 9. 2014
- Vedoucí: prof. RNDr. Antonín Kučera, Ph.D.
- Oponent: Assoc. Prof. Andrzej Wasowski, Ph.D., Prof. Joost-Pieter Katoen
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyDoktorský studijní program / obor:
Informatika (čtyřleté) / Informatika
Práce na příbuzné téma
-
Disjunctive Modal Transition Systems
Nikola Beneš -
Online editor and simulator of logic circuits
Tomáš Lacko -
Deduction in Matching Logic
Adam Fiedler -
Linear Temporal Logic and omega-automata
František Blahoudek -
Translation of Linear Temporal Logic to Omega-Automata
Tomáš Babiak -
Investigations into Transparent Intensional Logic: A Rule-based Approach
Ivo Pezlar -
The Integrated Method Utilizing Graph Theory and Fuzzy Logic for Safety and Reliability Assessment
Luboš Janhuba -
Blockchain technology in Business Logic
Milad Sulaiman Safari Barzani