Quantitative Formal Methods for High-level Robot Path Planning – RNDr. Jana Tůmová, Ph.D.
RNDr. Jana Tůmová, Ph.D.
Disertační práce
Quantitative Formal Methods for High-level Robot Path Planning
Quantitative Formal Methods for High-level Robot Path Planning
Anotace:
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 …víceAbstract:
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 …více
Jazyk práce: angličtina
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
- Vedoucí: prof. RNDr. Ivana Černá, CSc.
- Oponent: Prof. Ing. Dr. Radu Grosu, Dr. Tichakorn Wongpiromsarn
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
-
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á -
Experimental Verification of a Synergy of Techniques for Efficient Similarity Search in Metric Spaces
Iuliia Mariachkina -
Signature verification
Václav Novák -
Updates of distributed provenance chains with integrity verification
Radomír Mann