Rekurzivní a zpáteční dedukce ve verifikaci hybridních systémů
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F08%3A00314335" target="_blank" >RIV/67985807:_____/08:00314335 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Recursive and Backward Reasoning in the Verification of Hybrid Systems
Popis výsledku v původním jazyce
In this paper we introduce two improvements to the method of verification of hybrid systems by constraint propagation based abstraction refinement that we introduced earlier. The first improvement improves the recursive propagation of reachability information over the regions constituting the abstraction, and the second improvement reasons backward from the set of unsafe states, instead of forward from the safe of initial states. Detailed computational experiments document the usefulness of these improvements.
Název v anglickém jazyce
Recursive and Backward Reasoning in the Verification of Hybrid Systems
Popis výsledku anglicky
In this paper we introduce two improvements to the method of verification of hybrid systems by constraint propagation based abstraction refinement that we introduced earlier. The first improvement improves the recursive propagation of reachability information over the regions constituting the abstraction, and the second improvement reasons backward from the set of unsafe states, instead of forward from the safe of initial states. Detailed computational experiments document the usefulness of these improvements.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GC201%2F08%2FJ020" target="_blank" >GC201/08/J020: Verifikace hybridních systémů využitím spolupráce s řešením omezujících podmínek</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2008
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
Proceedings of the Fifth International Conference on Information in Control, Automation and Robotics
ISBN
978-989-8111-30-2
ISSN
—
e-ISSN
—
Počet stran výsledku
7
Strana od-do
—
Název nakladatele
INSTICC
Místo vydání
Setúbal
Místo konání akce
Funchal
Datum konání akce
11. 5. 2008
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000258902700009