Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

A two-step scheme for approximate model checking of stochastic hybrid systems

Author(s):

J. Lygeros, A. Abate, J.-P. Katoen, M. Prandini
Conference/Journal:

IFAC World Congress
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 approximatingMarkov 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.

Year:

2011
Type of Publication:

(01)Article
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@InProceedings { LygEtal:2011:IFA_3963,
    author={J. Lygeros and A. Abate and J.-P. Katoen and M. Prandini},
    title={{A two-step scheme for approximate model checking of
	  stochastic hybrid systems}},
    booktitle={IFAC World Congress},
    pages={},
    year={2011},
    address={},
    month=aug,
    url={http://control.ee.ethz.ch/index.cgi?page=publications;action=details;id=3963}
}
Permanent link