Počet záznamů: 1
Safety Verification for Probabilistic Hybrid Systems
- 1.
SYSNO ASEP 0388817 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Safety Verification for Probabilistic Hybrid Systems Tvůrce(i) Zhang, J. (DK)
She, Z. (CN)
Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
Hermanns, H. (DE)
Hahn, E.M. (DE)Zdroj.dok. European Journal of Control - ISSN 0947-3580
Roč. 18, č. 6 (2012), s. 572-587Poč.str. 15 s. Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova model checking ; hybrid systems ; formal verification Vědní obor RIV IN - Informatika CEP OC10048 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy GC201/08/J020 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000314389900006 EID SCOPUS 84874590818 DOI 10.3166/EJC.18.572-587 Anotace The interplay of random phenomena and continuous dynamics deserves increased attention, especially in the context of wireless sensing and control applications. Safety verification for such systems thus needs to consider probabilistic variants of systems with hybrid dynamics. In safety verification of classical hybrid systems, we are interested in whether a certain set of unsafe system states can be reached from a set of initial states. In the probabilistic setting, we may ask instead whether the probability of reaching unsafe states is below some given threshold. In this paper, we consider probabilistic hybrid systems and develop a general abstraction technique for verifying probabilistic safety problems. This gives rise to the first mechanisable technique that can, in practice, formally verify safety properties of non-trivial continuous-time stochastic hybrid systems. Moreover, being based on abstractions computed by tools for the analysis of non-probabilistic hybrid systems, improvements in effectivity of such tools directly carry over to improvements in effectivity of the technique we describe. We demonstrate the applicability of our approach on a number of case studies, tackled using a prototypical implementation. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2013
Počet záznamů: 1