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/Program
Ministerstvo školství, mládeže a tělovýchovy ČR
Programový rámec / typ projektu
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.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info