Incremental Computation of Succinct Abstractions for Hybrid Systems
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F11%3A00365291" target="_blank" >RIV/67985807:_____/11:00365291 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-642-24310-3_19" target="_blank" >http://dx.doi.org/10.1007/978-3-642-24310-3_19</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-24310-3_19" target="_blank" >10.1007/978-3-642-24310-3_19</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Incremental Computation of Succinct Abstractions for Hybrid Systems
Popis výsledku v původním jazyce
In this paper, we introduce a new approach to computing abstractions for hybrid dynamical systems whose continuous behavior is governed by non-linear ordinary differential equations. The abstractions try to capture the reachability information relevant for a given safety property as succinctly as possible. This is achieved by an incremental refinement of the abstractions, simultaneously trying to avoid increases in their size as much as possible. The approach is independent of a concrete technique for computing reachability information, and can hence be combined with whatever technique suitable for the problem class at hand. We illustrate the usefulness of the technique with computational experiments.
Název v anglickém jazyce
Incremental Computation of Succinct Abstractions for Hybrid Systems
Popis výsledku anglicky
In this paper, we introduce a new approach to computing abstractions for hybrid dynamical systems whose continuous behavior is governed by non-linear ordinary differential equations. The abstractions try to capture the reachability information relevant for a given safety property as succinctly as possible. This is achieved by an incremental refinement of the abstractions, simultaneously trying to avoid increases in their size as much as possible. The approach is independent of a concrete technique for computing reachability information, and can hence be combined with whatever technique suitable for the problem class at hand. We illustrate the usefulness of the technique with computational experiments.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2011
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Formal Modeling and Analysis of Timed Systems
ISBN
978-3-642-24309-7
ISSN
—
e-ISSN
—
Počet stran výsledku
15
Strana od-do
271-285
Název nakladatele
Springer
Místo vydání
Berlin
Místo konání akce
Aalborg
Datum konání akce
21. 9. 2011
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—