Informace o projektu
Řízení a ověřování vlastností komplexních hybridních systémů
| Kód projektu | LH11065 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 15.03.2011–31.12.2014 |
| Stav | ukončený |
| Investor | Ministerstvo školství, mládeže a tělovýchovy ČR |
| Program | KONTAKT II (od projektů s počátkem řešení v roce 2011) |
| Řešitel za FI | |
| Členové realizačního týmu za FI |
Anotace
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.