A two-step scheme for approximate model checking of stochastic hybrid systems
Metadata only
Date
2011-01Type
- Conference Paper
ETH Bibliography
yes
Altmetrics
Abstract
In this paper we describe a two-step scheme for approximate model checking of discrete time stochastic hybrid systems. In the first step, the stochastic hybrid system is approximated by a finite state Markov chain. In the second step, the Markov chain is model checked for the desired property. In particular, we consider the probabilistic invariance property and show that, under certain regularity conditions, the invariance probability computed using the approximating Markov chain converges to the invariance probability of the original stochastic hybrid system, as the grid used in the approximation gets finer. A bound on the convergence rate is also provided. Show more
Publication status
publishedExternal links
Book title
Proceedings of the 18th World CongressJournal / series
IFAC Proceedings VolumesVolume
Pages / Article No.
Publisher
ElsevierEvent
Organisational unit
03751 - Lygeros, John / Lygeros, John
More
Show all metadata
ETH Bibliography
yes
Altmetrics