Informace o projektu
Řízení a ověřování vlastností komplexních hybridních systémů
(Řízení a ověřování vlastností komplexních hybridní)
- Kód projektu
- LH11065
- Období řešení
- 3/2011 - 12/2014
- Investor / Programový rámec / typ projektu
-
Ministerstvo školství, mládeže a tělovýchovy ČR
- KONTAKT II (od projektů s počátkem řešení v roce 2011)
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- prof. RNDr. Ivana Černá, CSc.
- prof. RNDr. Jiří Barnat, Ph.D.
- RNDr. Jana Tůmová, Ph.D.
Cílem projektu je podpořit a rozšířit vzájemnou spolupráci mezi laboratoří ParaDiSe na Fakultě informatiky Masarykovy univerzity (FI MU) a laboratoří HyNeSs na Boston University (BU) v oblasti výzkumu a vývoje technik pro syntézu řídících strategií a ověřování komplexních hybridních systémů, s částečnou specializací na robotické systémy. Jedním z hlavních bodů spolupráce je vytvoření podmínek pro bezprostřední vědecké kontakty a využívání výzkumné infrastruktury obou zúčastněných partnerů. Svým odoborným zaměřením projekt vhodně propojuje doplňující se výzkumné aktivity obou partnerských týmů. Aktivity projektu směřují k návrhu a vývoji nových metod a technik pro řízení a verifikaci hybridních systémů, adaptujících techniky verifikace temporálních vlastností diskrétních souběžných systémů vybudované na FI MU a metody modelování a diskretizace hybridních systémů, kterým se dlouhodobě věnuje tým na BU. Kombinací obou bude vybudován přístup a experimentální nástroj pro efektivní řízení a verifikaci.
Publikace
Počet publikací: 17
2013
-
Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics
International Journal of Robotics Research, rok: 2013, ročník: 32, vydání: 5, DOI
2012
-
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints
Proceedings of the 51st IEEE Conference on Decision and Control, rok: 2012
-
LTL Robot Motion Control based on Automata Learning of Environmental Dynamics
2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), rok: 2012
-
Temporal Logic Control of Discrete-Time Piecewise Affine Systems
IEEE Transactions on Automatic Control, rok: 2012, ročník: 57, vydání: 6, DOI
-
Timed Automata Approach to Verification of Systems with Degradation
MEMICS 2011, rok: 2012
-
Verification of Systems with Degradation
Computing and Informatics, rok: 2012, ročník: 31, vydání: 3
2011
-
Optimal path planning for surveillance with temporal logic constraints
The International Journal of Robotics Research, rok: 2011, ročník: vol. 30, vydání: no. 14, DOI