Řízení a ověřování vlastností komplexních hybridních systémů

Poskytovatel

Ministerstvo školství, mládeže a tělovýchovy

Program

KONTAKT II

Veřejná soutěž

KONTAKT II 1 (SMSM2011LH1)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

MSMT-6784/2013-311

Název projektu anglicky

Control Synthesis and Formal Verification of Complex Hybrid Systems

Anotace anglicky

The aim of the project is to support and extend cooperation between laboratory ParaDiSe at Faculty of Informatics Masaryk University (FI MU) and laboratory HyNeSs at Boston University (BU) in research and development of techniques for controller synthesis and formal verification of complex hybrid systems with specialization towards robotic systems. One of the key points of the cooperation is to establish conditions for direct research contacts and mutual usage of research infrastructure of both partners. The project connects two complementing research areas. Project activities will lead to design of new methods and techniques for control and verification of hybrid systems by adapting verification techniques of temporal properties of discrete concurrentsystems developed at FI MU and methods for modeling and discretization of hybrid systems, which is a long-term research topic at BU. Combination of both will be basis for development of approach and experimental tool for control and verification.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

IN - Informatika

CEP - vedlejší obor

—

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Hodnocení poskytovatelem

V - Vynikající výsledky projektu (s mezinárodním významem atd.)

Zhodnocení výsledků projektu

Poslední etapa projektu se soustředila na analýzu a řízení jak diskrétních, tak hybridních systémů, s jedným nebo více agenty. Výsledky jsou založeny na použití formáních metod a jsou podpořeny simulacemi nebo experimenty na robotické platformě. Výzkum ?

Zahájení řešení

1. 3. 2011

Ukončení řešení

31. 12. 2014

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

3. 3. 2014

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP15-MSM-LH-U/01:1

Datum dodání záznamu

2. 7. 2015

Celkové uznané náklady

2 506 tis. Kč

Výše podpory ze státního rozpočtu

2 506 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč