Recursive and Backward Reasoning in the Verification of Hybrid Systems

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Recursive and Backward Reasoning in the Verification of Hybrid Systems
Original language description
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.
Czech name
Rekurzivní a zpáteční dedukce ve verifikaci hybridních systémů
Czech description
V tom článku představíme dvě zlepšení naší metody pro verifikaci hybridních systémů. Užitečnost těch dvou zlepšení dokumentujeme výpočetními pokusy.

Project
<a href="/en/project/GC201%2F08%2FJ020" target="_blank" >GC201/08/J020: Verification of Hybrid Systems - Exploiting the Synergy with Underlying Constraint Solving Technology</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the Fifth International Conference on Information in Control, Automation and Robotics
ISBN
978-989-8111-30-2
ISSN
—
e-ISSN
—
Number of pages
7
Pages from-to
—
Publisher name
INSTICC
Place of publication
Setúbal
Event location
Funchal
Event date
May 11, 2008
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000258902700009

Similar results(10)