Počet záznamů: 1
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
- 1.
SYSNO ASEP 0333922 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate Překlad názvu Hledání chyb hybridních systémů pomocí optimalizace odhadu kvality podle abstrakce Tvůrce(i) Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
Smaus, J.G. (DE)Zdroj.dok. Tests and Proofs. - Berlin : Springer, 2009 / Dubois C. - ISBN 978-3-642-02948-6 Rozsah stran s. 153-168 Poč.str. 16 s. Akce TAP 2009. International Conference on Tests and Proofs /3./ Datum konání 02.07.2009-03.07.2009 Místo konání Zurich Země CH - Švýcarsko Typ akce WRD Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova hybridní dynamické systémy ; hledání chyb Vědní obor RIV IN - Informatika CEP GC201/08/J020 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000272046300012 EID SCOPUS 70350365903 DOI 10.1007/978-3-642-02949-3_12 Anotace 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. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2010
Počet záznamů: 1