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

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Verification of Hybrid Systems - Exploiting the Synergy with Underlying Constraint Solving Technology Goto Sponge Distinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GC201/08/J020
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	GC201/08/J020
http://linked.open...avai/cep/aktivita	International projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GC201%2F08%2FJ020/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GC201%2F08%2FJ020/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-02-09 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	82560027
http://linked.open...ai/cep/hlavniObor	IN - Informatika
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	verification; hybrid systems; constraint solving; constraint programming; interval computation (en)
http://linked.open...ep/partnetrHlavni	Ústav informatiky AV ČR, v.v.i.
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	21 (xsd:int)
http://linked.open...enychVysledkuVRIV	21 (xsd:int)
http://linked.open...lneniVMinulemRoce	2010-04-16 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/201%2F08%2FJ020
http://linked.open...iciPoslednihoRoku	2010
http://linked.open...atUdajeProjZameru	2011
http://linked.open.../vavai/cep/soutez	SGA02008GA1GC
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2010-12-31 (xsd:date)
http://linked.open...ep/zahajeniReseni	2008-01-01 (xsd:date)
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                    &nbsp (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	ZBKU
http://linked.open.../cep/klicoveSlovo	verification constraint programming constraint solving hybrid systems
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GC201%2F08%2FJ020/2008/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GC201%2F08%2FJ020/2009/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GC201%2F08%2FJ020/2010/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GC201%2F08%2FJ020/2011/ico%3A67985807

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 78 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software