Control Synthesis and Formal Verification of Complex Hybrid Systems
Public support
Provider
Ministry of Education, Youth and Sports
Programme
KONTAKT II
Call for proposals
KONTAKT II 1 (SMSM2011LH1)
Main participants
—
Contest type
VS - Public tender
Contract ID
MSMT-6784/2013-311
Alternative language
Project name in Czech
Řízení a ověřování vlastností komplexních hybridních systémů
Annotation in Czech
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 odbornýmzaměř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.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
The last year of the project aimed at analysis and control synthesis for discrete as well as hybrid models, with one or multiple agents. Results are based on the use of formal methods and supported by simulations or experiments on a robotic platform. Theresults include one journal and four conference papers. A tool ConTool was created for synthesis and simulation of control for discrete models.
Solution timeline
Realization period - beginning
Mar 1, 2011
Realization period - end
Dec 31, 2014
Project status
U - Finished project
Latest support payment
Mar 3, 2014
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP15-MSM-LH-U/01:1
Data delivery date
Jul 2, 2015
Finance
Total approved costs
2,506 thou. CZK
Public financial support
2,506 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK