Safety Verification of Hybrid Systems by Constraint Propagation-based Abstraction Refinement

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F07%3A00084109" target="_blank" >RIV/67985807:_____/07:00084109 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Safety Verification of Hybrid Systems by Constraint Propagation-based Abstraction Refinement
Original language description
This paper deals with the problem of safety verification of nonlinear hybrid systems.We start from a classical method that uses interval arithmetic to check whether trajectories can move over the boundaries in a rectangular grid. We put this method intoan abstraction refinement framework and improve it by developing an additional refinement step that employs interval-constraint propagation to add information to the abstraction without introducing new grid elements. Moreover, the resulting method allowsswitching conditions, initial states, and unsafe states to be described by complex constraints, instead of sets that correspond to grid elements. Nevertheless, the method can be easily implemented, since it is based on a well-defined set of constraints,on which one can run any constraint propagation-based solver. Tests of such an implementation are promising.
Czech name
Verifikace bezpečnosti hybridních systémů používající upřesňování abstrakcí a propagaci podmínek
Czech description
Navrhneme metodu pro verifikaci bezpečnosti hybridních systémů. Tato metoda má několik výhod, např. vstupní hybridní systém může být popsán komplexními podmínkami.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—

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

Similar results(10)