Number of the records: 1
Safety Verification for Probabilistic Hybrid Systems
- 1.
SYSNO ASEP 0351300 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Safety Verification for Probabilistic Hybrid Systems Author(s) Zhang, L. (DK)
She, Z. (CN)
Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
Hermanns, H. (DE)
Hahn, E.M. (DE)Source Title CAV 2010. Computer Aided Verification. - Berlin : Springer, 2010 / Touili T. ; Cook B. ; Jackson P. - ISSN 0302-9743 - ISBN 978-3-642-14294-9 Pages s. 196-211 Number of pages 16 s. Action CAV 2010. International conference on Computer Aided Verification /55./ Event date 15.07.2010-19.07.2010 VEvent location Edinburgh Country GB - United Kingdom Event type WRD Language eng - English Country DE - Germany Keywords verification ; hybrid dynamical systems Subject RIV IN - Informatics, Computer Science R&D Projects GC201/08/J020 GA ČR - Czech Science Foundation (CSF) CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000281446200020 EID SCOPUS 77954990493 DOI 10.1007/978-3-642-14295-6_21 Annotation 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. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2011
Number of the records: 1