Project information
Řízení a ověřování vlastností komplexních hybridních systémů
(Řízení a ověřování vlastností komplexních hybridní)
- Project Identification
- LH11065
- Project Period
- 3/2011 - 12/2014
- Investor / Pogramme / Project type
-
Ministry of Education, Youth and Sports of the CR
- KONTAKT II
- MU Faculty or unit
-
Faculty of Informatics
- 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.
Publications
Total number of publications: 17
2015
-
Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties
IEEE Transactions on Automatic Control, year: 2015, volume: 60, edition: 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, year: 2015
-
Temporal Logic Motion Planning using POMDPs with Parity Objectives
Proceedings of ACM international conference on Hybrid Systems: Computation and Control, year: 2015
2014
-
On Clock-Aware LTL Properties of Timed Automata
Theoretical Aspects of Computing – ICTAC 2014, year: 2014
2013
-
Formal analysis of piecewise affine systems through formula-guided refinement
Automatica, year: 2013, volume: 49, edition: 1, DOI
-
Incremental Sampling-Based Algorithm for Minimum-Violation Motion Planning
Proceedings of the IEEE 52nd Annual Conference on Decision and Control (CDC), 2013, year: 2013
-
Least-violating control strategy synthesis with safety rules
Proceedings of the 16th international conference on Hybrid systems: computation and control, year: 2013
-
Minimum-violation LTL Planning with Conflicting Specifications
Proceedings of the American Control Conference, year: 2013
-
Optimal Control of MDPs with Temporal Logic Constraints
Proceedings of The 52nd IEEE Conference on Decision and Control, year: 2013
-
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints
Proceedings of The 2013 American Control Conference, year: 2013