Verifikace hybridních systémů využitím spolupráce s řešením omezujících podmínek

Poskytovatel

Grantová agentura České republiky

Program

Mezinárodní projekty

Veřejná soutěž

Mezinárodní projekty 2 (SGA02008GA1GC)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

201/08/J020

Název projektu anglicky

Verification of Hybrid Systems - Exploiting the Synergy with Underlying Constraint Solving Technology

Anotace anglicky

The objective of the project is to design theory, algorithms, and software for the verification of hybrid systems. The motivation for studying hybrid systems comes from the fact that in modern technical systems, embedded computing devices are ubiquitous.These can be modelled using the notion of a hybrid system, that is, a dynamical system with both a continuous and a discrete state space, whose evolution is governed by differential (in)equations, and discrete automata, respectively, and with an additional formalism that describes the interaction between these two components. The project will allow a break-through in the area, by exploiting the synergy between hybrid systems verification and the underlying constraint solving technology. This will be possible due to the collaboration of a Czech project group with expertise in constraint solving and numerical computational methods with the German project AVACS on the ''automatic verification and analysis of complex systems''.

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

Hlavní cíl projektu byl&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; vývoj teorie, algoritmu, a softwaru pro&nbsp; &nbsp; verifikaci hybridních systémů, poskytující &nbsp; &nbsp; &nbsp; &nbsp;&nbsp; dostatečnou expresivitu, správnost,&nbsp; &nbsp;explicitní podm?

Zahájení řešení

1. 1. 2008

Ukončení řešení

31. 12. 2010

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

16. 4. 2010

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

CEP11-GA0-GC-U/03:3

Datum dodání záznamu

9. 2. 2015

Celkové uznané náklady

2 280 tis. Kč

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

2 280 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč