Modal Transition Systems: Extensions and Analysis – RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
Doctoral thesis
Modal Transition Systems: Extensions and Analysis
Modal Transition Systems: Extensions and Analysis
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 30. 4. 2014
Identifier:
https://is.muni.cz/th/sf806/
Thesis defence
- Date of defence: 19. 9. 2014
- Supervisor: prof. RNDr. Antonín Kučera, Ph.D.
- Reader: Assoc. Prof. Andrzej Wasowski, Ph.D., Prof. Joost-Pieter Katoen
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsDoctoral programme / field:
Informatics (4-years) / Informatics
Theses on a related topic
-
Disjunctive Modal Transition Systems
Nikola Beneš -
Algebraic models for quantum logic
Kadir Emir -
Deduction in Matching Logic
Adam Fiedler -
The Logic of Edgar Allan Poe's Short Stories
Kateřina Mazlová -
Online editor and simulator of logic circuits
Tomáš Lacko -
Logic Puzzle Game Prototype with Semi-Automated Level Design
Jakub Smatana -
Translation of Linear Temporal Logic to Omega-Automata
Tomáš Babiak -
Linear Temporal Logic and omega-automata
František Blahoudek