Počet záznamů: 1
Safety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable
- 1.
SYSNO ASEP 0344069 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Safety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable Tvůrce(i) Ratschan, Stefan (UIVT-O) SAI, RID, ORCID Zdroj.dok. Theory and Applications of Models of Computation. - Berlin : Springer, 2010 / Kratochvíl J. ; Li A. ; Fiala J. ; Kolman P. - ISSN 0302-9743 - ISBN 978-3-642-13561-3 Rozsah stran s. 397-408 Poč.str. 12 s. Akce TAMC 2010. Theory and Applications of Models of Computation Annual Conference /7./ Datum konání 07.06.2010-11.06.2010 Místo konání Prague, Země CZ - Česká republika Typ akce WRD Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova verification ; hybrid systems ; decidebility Vědní obor RIV IN - Informatika CEP GC201/08/J020 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000279560400035 EID SCOPUS 77954436878 DOI 10.1007/978-3-642-13562-0_36 Anotace Safety verification of hybrid systems is undecidable, except for very special cases. In this paper, we circumvent undecidability by providing an algorithm that can verify safety and provably terminates for all robust and safe problem instances. It need not necessarily terminate for problem instances that are unsafe or non-robust. A problem instance x is robust iff the given property holds not only for x itself, but also when x is perturbed a little bit. Since, in practice, well-designed hybrid systems are usually robust, this implies that the algorithm terminates for the cases occurring in practice. In contrast to earlier work, our result holds for a very general class of hybrid systems, and it uses a continuous time model. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2011
Počet záznamů: 1