Safety Verification for Probabilistic Hybrid Systems

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F10%3A00351300" target="_blank" >RIV/67985807:_____/10:00351300 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Safety Verification for Probabilistic Hybrid Systems

Original language description

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 propertiesof 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 effectivityof 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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

<a href="/en/project/GC201%2F08%2FJ020" target="_blank" >GC201/08/J020: Verification of Hybrid Systems - Exploiting the Synergy with Underlying Constraint Solving Technology</a><br>

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2010

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

CAV 2010. Computer Aided Verification

ISBN

978-3-642-14294-9

ISSN

—

e-ISSN

—

Number of pages

16

Pages from-to

—

Publisher name

Springer

Place of publication

Berlin

Event location

Edinburgh

Event date

Jul 15, 2010

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000281446200020