Informace o projektu
Řízení a ověřování vlastností komplexních hybridních systémů (Řízení a ověřování vlastností komplexních hybridní)

Informace

Projekt nespadá pod Lékařskou fakultu, ale pod Fakultu informatiky. Oficiální stránka projektu je na webu muni.cz.

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

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

SVOREŇOVÁ Mária ČERNÁ Ivana BELTA Calin

Článek v odborném periodiku

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

SVOREŇOVÁ Mária KŘETÍNSKÝ Jan CHMELÍK Martin CHATTERJEE Krishnendu ČERNÁ Ivana BELTA Calin

Článek ve sborníku

Proceedings of ACM international conference on Hybrid Systems: Computation and Control, rok: 2015
Temporal Logic Motion Planning using POMDPs with Parity Objectives

SVOREŇOVÁ Mária CHMELÍK Martin LEAHY Kevin ENISER Hasan Ferit CHATTERJEE Krishnendu ČERNÁ Ivana BELTA Calin

Článek ve sborníku

Proceedings of ACM international conference on Hybrid Systems: Computation and Control, rok: 2015

2014

On Clock-Aware LTL Properties of Timed Automata

BEZDĚK Peter BENEŠ Nikola HAVEL Vojtěch BARNAT Jiří ČERNÁ Ivana

Článek ve sborníku

Theoretical Aspects of Computing – ICTAC 2014, rok: 2014

2013

Formal analysis of piecewise affine systems through formula-guided refinement

YORDANOV Boyan TŮMOVÁ Jana ČERNÁ Ivana BARNAT Jiří BELTA Calin

Článek v odborném periodiku

Automatica, rok: 2013, ročník: 49, vydání: 1, DOI
Incremental Sampling-Based Algorithm for Minimum-Violation Motion Planning

REYES CASTRO Luis Ignacio CHAUDHARI Pratik TŮMOVÁ Jana KARAMAN Sertac FRAZZOLI Emilio RUS Daniela

Článek ve sborníku

Proceedings of the IEEE 52nd Annual Conference on Decision and Control (CDC), 2013, rok: 2013
Least-violating control strategy synthesis with safety rules

TŮMOVÁ Jana HALL Gavin KARAMAN Sertac FRAZZOLI Emilio RUS Daniela

Článek ve sborníku

Proceedings of the 16th international conference on Hybrid systems: computation and control, rok: 2013
Minimum-violation LTL Planning with Conflicting Specifications

TŮMOVÁ Jana REYES CASTRO Luis KARAMAN Sertac FRAZZOLI Emilio RUS Daniela

Článek ve sborníku

Proceedings of the American Control Conference, rok: 2013
Optimal Control of MDPs with Temporal Logic Constraints

SVOREŇOVÁ Mária ČERNÁ Ivana BELTA Calin

Článek ve sborníku

Proceedings of The 52nd IEEE Conference on Decision and Control, rok: 2013
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints

SVOREŇOVÁ Mária ČERNÁ Ivana BELTA Calin

Článek ve sborníku

Proceedings of The 2013 American Control Conference, rok: 2013