Formal Methods in Optimal Discrete Path Planning with Uncertainty – Mgr. Mária Svoreňová, Ph.D.
Mgr. Mária Svoreňová, Ph.D.
Advanced ('rigorózní') thesis
Formal Methods in Optimal Discrete Path Planning with Uncertainty
Formal Methods in Optimal Discrete Path Planning with Uncertainty
Abstract:
Formální metody, jako například ověřování modelů nebo hry na grafech, představují silný matematický nástroj při navrhování či řízení systémů. V posledních letech byly také úspěšně používány v oblasti robotiky, například k řešení problémů diskrétního plánování. Úlohou v takovém problému je najít optimální cestu v diskrétním modelu daného robotického systému vzhledem k daným požadavkům. Protože robotické …moreAbstract:
Formal methods such as model checking and games on graphs provide a powerful mathematical tool in design and control of computer systems. In the last few years, they have been successfully employed in the area of robotics, for example to solve discrete path planning problems. In such a problem, the aim is to synthesize an optimal path in a discrete model of the robotic system subject to a given specification …moreKeywords
diskrétní plánování optimální řízení systémy s nejistotou částečné pozorování pozorování konečného horizontu ověřování modelů hry na grafech discrete path planning optimal control systems with uncertainty partial observation finite-horizon observation model checking infinite games on finite graphs
Language used: English
Date on which the thesis was submitted / produced: 4. 4. 2013
Identifier:
https://is.muni.cz/th/oaqti/
Thesis defence
- Date of defence: 21. 5. 2013
- Reader: RNDr. Nikola Beneš, Ph.D., Assist. Prof. Sertac Karaman
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 InformaticsAdvanced ('rigorózní řízení') programme / field:
Informatics / Informatics
Theses on a related topic
-
Decidability and complexity of infinite-state stochastic games
Václav Brožek -
Plánování výroby s využitím systémů APS (Advanced Planning and Scheduling)
Jan PRŮCHA -
Hodnocení, motivace a vzdělávání pracovníků společnosti Partners for Life Planning, a.s. na základě systému firmy Baťa
Lucie JUŘIČKOVÁ -
Control Strategy Synthesis for Path Planning under Temporal Constraints
Mária Svoreňová -
Planning and budgeting system with a focus on P&L statement within ABB, s.r.o
Luboš Procházka -
Quantitative Formal Methods for High-level Robot Path Planning
Jana Tůmová -
Výběrové řízení v organizaci
Anna FROMOVÁ