Verification of Hybrid Systems - Exploiting the Synergy with Underlying Constraint Solving Technology
Public support
Provider
Czech Science Foundation
Programme
International projects
Call for proposals
Mezinárodní projekty 2 (SGA02008GA1GC)
Main participants
—
Contest type
VS - Public tender
Contract ID
201/08/J020
Alternative language
Project name in Czech
Verifikace hybridních systémů využitím spolupráce s řešením omezujících podmínek
Annotation in Czech
Cílem projektu je navrhnout teorii, algoritmy a software k verifikaci hybridních systémů.Motivace pro studium hybridních systémů vychází ze skutečnosti, že v moderních technických systémech se všude vyskytují integrované počítačové přístroje. Ty lze modelovat použitím pojmu hybridní systém, tj. dynamický systém se spojitým a diskrétním stavovým prostorem. Jeho evoluce je řízena diferenciálními (ne)rovnicemi (ve spojitém případě) a diskrétními automaty (v diskrétním případě) a dodatečným formalismem,který popisuje vztah mezi těmito dvěma komponentami.Projekt umožní průlom v oboru využitím spolupráce mezi verifikací hybridních systémů a řešením s omezujícími podmínkami tvořící podklad pro tuto verifikaci. To bude možné díky spolupráci českých vědců voboru numerických výpočetních metod s německým projektem AVACS - "automatická verifikace a analýza komplexních systémů"
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 main goal of the project was to design theory, algorithms, and software for the verification of hybrid systems, providing  
Solution timeline
Realization period - beginning
Jan 1, 2008
Realization period - end
Dec 31, 2010
Project status
U - Finished project
Latest support payment
Apr 16, 2010
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
CEP11-GA0-GC-U/03:3
Data delivery date
Feb 9, 2015
Finance
Total approved costs
2,280 thou. CZK
Public financial support
2,280 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK