Almost linear Bűchi automata – Bc. Tomáš Babiak, Ph.D.
Bc. Tomáš Babiak, Ph.D.
Diplomová práce
Almost linear Bűchi automata
Almost linear Bűchi automata
Anotace:
V tejto práci sa zaoberáme špeciálnou triedou B\"{u}chiho automatov, ktorá sa volá Almost linear B\"{u}chi automata (ALBA) a jej vzťahom k fragmentu Lineárnej temporálnej logiky (LTL), ktorý sa nazýva LIO. V práci popisujeme preklad fragmentu LIO na ALBA a ukážeme jeho zložitosť. Ďalej porovnávame tento preklad s niekoľkými implementáciami štandardného prekladu logiky LTL na B\"{u}chiho automaty pomocou …víceAbstract:
In this thesis, we are concerned in the special class of B\"{u}chi automata called Almost linear B\"{u}chi automata (ALBA) and its relation to the fragment of Linear temporal logic called LIO. We provide an effective translation of LIO to ALBA and show it complexity. Further we provide the comparison of this translation with some implementations of standard translation from LTL to B\"{u}chi automata …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 11. 1. 2010
Identifikátor:
https://is.muni.cz/th/cs3an/
Obhajoba závěrečné práce
- Obhajoba proběhla 10. 2. 2010
- Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
- Oponent: prof. RNDr. Mojmír Křetínský, CSc.
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 informatikyMagisterský studijní program / obor:
Informatika / Paralelní a distribuované systémy
Práce na příbuzné téma
-
Translation of Linear Temporal Logic to Omega-Automata
Tomáš Babiak -
Linear Temporal Logic and omega-automata
František Blahoudek -
Translation of an LTL fragment to deterministic Rabin and Streett automata
František Blahoudek -
LTL atraktory
Peter Bezděk -
Control Strategy Synthesis for Path Planning under Temporal Constraints
Mária Svoreňová