Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate

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

Result language
angličtina
Original language name
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
Original language description
We present an algorithm for falsifying safety properties of hybrid systems, i.e., for finding a, trajectory to an unsafe state. The approach is to approximate how close a point is to being an initial point, of an error trajectory using a real-valued quality function, and then to use numerical optimisation to search for all optimum of this function. The function is computed by running simulations, where information coming from abstractions computed by a verification algorithm is exploited to determine whether a simulation looks promising and should be continued or cancelled. This information becomes more reliable as the abstraction becomes more refined. We thus interleave falsification and verification attempts.
Czech name
—
Czech description
—

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
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)