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
2015
-
Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties
IEEE Transactions on Automatic Control, rok: 2015, ročník: 60, vydání: 6, DOI
-
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games
Proceedings of ACM international conference on Hybrid Systems: Computation and Control, rok: 2015
-
Temporal Logic Motion Planning using POMDPs with Parity Objectives
Proceedings of ACM international conference on Hybrid Systems: Computation and Control, rok: 2015
2014
-
On Clock-Aware LTL Properties of Timed Automata
Theoretical Aspects of Computing – ICTAC 2014, rok: 2014
2013
-
Formal analysis of piecewise affine systems through formula-guided refinement
Automatica, rok: 2013, ročník: 49, vydání: 1, DOI
-
Incremental Sampling-Based Algorithm for Minimum-Violation Motion Planning
Proceedings of the IEEE 52nd Annual Conference on Decision and Control (CDC), 2013, rok: 2013
-
Least-violating control strategy synthesis with safety rules
Proceedings of the 16th international conference on Hybrid systems: computation and control, rok: 2013
-
Minimum-violation LTL Planning with Conflicting Specifications
Proceedings of the American Control Conference, rok: 2013
-
Optimal Control of MDPs with Temporal Logic Constraints
Proceedings of The 52nd IEEE Conference on Decision and Control, rok: 2013
-
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints
Proceedings of The 2013 American Control Conference, rok: 2013