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

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

AttributesValues
rdf:type
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 - ""automatická verifikace a analýza komplexních systémů""" (cs)
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 (cs)
http://linked.open...vai/cislo-smlouvy
http://linked.open...avai/druh-souteze
http://linked.open...domain/vavai/faze
http://linked.open...vavai/hlavni-obor
http://linked.open...vavai/id-aktivity
http://linked.open.../vavai/id-souteze
http://linked.open...n/vavai/kategorie
http://linked.open...vai/klicova-slova
  • verification; hybrid systems; constraint solving; constraint programming; interval computation (en)
http://linked.open...avai/konec-reseni
http://linked.open...nujicich-prijemcu
http://linked.open...avai/poskytovatel
http://linked.open...avai/start-reseni
http://linked.open...ai/statni-podpora
http://linked.open...vavai/typProjektu
http://linked.open...ai/uznane-naklady
http://linked.open...ai/pocet-prijemcu
http://linked.open...cet-spoluprijemcu
http://linked.open...ai/pocet-vysledku
http://linked.open...ku-zverejnovanych
is http://linked.open...ain/vavai/projekt of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software