Quantitative Formal Methods for High-level Robot Path Planning – RNDr. Jana Tůmová, Ph.D.
RNDr. Jana Tůmová, Ph.D.
Doctoral thesis
Quantitative Formal Methods for High-level Robot Path Planning
Quantitative Formal Methods for High-level Robot Path Planning
Anotácia:
Práce se zaměřuje na vybraná teoretická i aplikovaná témata v oblasti verifikace a syntézy řídících strategií. Prvním přínosem práce je vývoj metod pro kvantitativní ověřování modelů systémů s degradující vlastností, jako například elektronická zařízení s degradujícím elektrickým nábojem nebo sítě, v nichž klesá síla nebo kvalita vysílaného signálu. Pro tyto systémy navrhujeme přechodové systémy s …viacAbstract:
This thesis addresses selected theoretical and applied topics in quantitative model checking and control strategy synthesis. First, we develop a theoretical framework for quantitative model checking of systems with degradation, which are systems that naturally incorporate a decaying quality, such as electronic devices with degrading electric charge, broadcasting networks with decreasing power or quality …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 28. 1. 2013
Identifikátor:
https://is.muni.cz/th/e7447/
Obhajoba závěrečné práce
- Obhajoba proběhla 10. 5. 2013
- Vedúci: prof. RNDr. Ivana Černá, CSc.
- Oponent: Prof. Ing. Dr. Radu Grosu, Dr. Tichakorn Wongpiromsarn
Citační záznam
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 informatikyMasaryk University
Faculty of InformaticsDoctoral programme / odbor:
Informatics (4-years) / Informatics
Práce na příbuzné téma
-
Control Strategy Synthesis for Path Planning under Temporal Constraints
Mária Svoreňová -
Explicit predictive control in application
Kirill Lastochkin -
Effect of Harvesting Systems on the Undergrowth in Himalayan Moist Temperate Forests of Pakistan
Javed Iqbal -
Formal Methods in Optimal Discrete Path Planning with Uncertainty
Mária Svoreňová -
Control Strategy Synthesis for Path Planning under Temporal Constraints
Mária Svoreňová -
Signature verification
Václav Novák -
Validation of Violation Witnesses in Software Verification
Paulína Ayaziová -
String Analysis for Software Verification
Martina Olliaro