Verification of Hybrid Systems - Exploiting the Synergy with Underlying Constraint Solving Technology
Project goals
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''.
Keywords
verificationhybrid systemsconstraint solvingconstraint programminginterval computation
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
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
Recognised costs
2 280 CZK thou.
Public support
2 280 CZK thou.
0%
Provider
Czech Science Foundation
CEP
IN - Informatics
Solution period
01. 01. 2008 - 31. 12. 2010