| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - 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''. (en)
- 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 - %22automatická verifikace a analýza komplexních systémů%22
|
| Title
| - Verification of Hybrid Systems - Exploiting the Synergy with Underlying Constraint Solving Technology (en)
- Verifikace hybridních systémů využitím spolupráce s řešením omezujících podmínek
|
| skos:notation
| |
| http://linked.open...avai/cep/aktivita
| |
| http://linked.open...kovaStatniPodpora
| |
| http://linked.open...ep/celkoveNaklady
| |
| http://linked.open...datumDodatniDoRIV
| |
| http://linked.open...i/cep/druhSouteze
| |
| http://linked.open...ep/duvernostUdaju
| |
| http://linked.open.../cep/fazeProjektu
| |
| http://linked.open...ai/cep/hlavniObor
| |
| http://linked.open...hodnoceniProjektu
| |
| http://linked.open...vai/cep/kategorie
| |
| http://linked.open.../cep/klicovaSlova
| - verification; hybrid systems; constraint solving; constraint programming; interval computation (en)
|
| http://linked.open...ep/partnetrHlavni
| |
| http://linked.open...inujicichPrijemcu
| |
| http://linked.open...cep/pocetPrijemcu
| |
| http://linked.open...ocetSpoluPrijemcu
| |
| http://linked.open.../pocetVysledkuRIV
| |
| http://linked.open...enychVysledkuVRIV
| |
| http://linked.open...lneniVMinulemRoce
| |
| http://linked.open.../prideleniPodpory
| |
| http://linked.open...iciPoslednihoRoku
| |
| http://linked.open...atUdajeProjZameru
| |
| http://linked.open.../vavai/cep/soutez
| |
| http://linked.open...usZobrazovaneFaze
| |
| http://linked.open...ai/cep/typPojektu
| |
| http://linked.open...ep/ukonceniReseni
| |
| http://linked.open...ep/zahajeniReseni
| |
| http://linked.open...jektu+dodavatelem
| - The main goal of the project was to design theory, algorithms, and software for the verification of hybrid systems, providing   (en)
- Hlavní cíl projektu byl vývoj teorie, algoritmu, a softwaru pro verifikaci hybridních systémů, poskytující dostatečnou expresivitu, správnost, explicitní podmínky terminace, a praktickou efektivitu.Dosáhli jsem výsledků ve všech těch směrech. Navíc, na základě nových kooperací sNěmeckými projektovými pa (cs)
|
| http://linked.open...tniCyklusProjektu
| |
| http://linked.open.../cep/klicoveSlovo
| - verification
- constraint programming
- constraint solving
- hybrid systems
|
| is http://linked.open...vavai/riv/projekt
of | |
| is http://linked.open...vavai/cep/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)