Počet záznamů: 1
Safety Verification for Probabilistic Hybrid Systems
- 1.
SYSNO ASEP 0351300 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Safety Verification for Probabilistic Hybrid Systems Tvůrce(i) Zhang, L. (DK)
She, Z. (CN)
Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
Hermanns, H. (DE)
Hahn, E.M. (DE)Zdroj.dok. CAV 2010. Computer Aided Verification. - Berlin : Springer, 2010 / Touili T. ; Cook B. ; Jackson P. - ISSN 0302-9743 - ISBN 978-3-642-14294-9 Rozsah stran s. 196-211 Poč.str. 16 s. Akce CAV 2010. International conference on Computer Aided Verification /55./ Datum konání 15.07.2010-19.07.2010 Místo konání Edinburgh Země GB - Velká Británie Typ akce WRD Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova verification ; hybrid dynamical systems Vědní obor RIV IN - Informatika CEP GC201/08/J020 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000281446200020 EID SCOPUS 77954990493 DOI 10.1007/978-3-642-14295-6_21 Anotace 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 - without resorting to point-wise discretisation.Moreover, being based on arbitrary 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 2011
Počet záznamů: 1