Journal article icon

Journal article

Approximate Model Checking of Stochastic Hybrid Systems

Abstract:

A method for approximate model checking of stochastic hybrid systems with provable approximation guarantees is proposed. We focus on the probabilistic invariance problem for discrete time stochastic hybrid systems and propose a two-step scheme. The stochastic hybrid system is first approximated by a finite state Markov chain. The approximating chain is then model checked for probabilistic invariance. Under certain regularity conditions on the transition and reset kernels governing the dynamic...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.3166/EJC.16.624-641

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Katoen, J-P More by this author
Lygeros, J More by this author
Prandini, M More by this author
Journal:
EUROPEAN JOURNAL OF CONTROL
Volume:
16
Issue:
6
Pages:
624-641
Publication date:
2010
DOI:
ISSN:
0947-3580
URN:
uuid:e40beeb4-d752-4c05-beea-63c812b4fe01
Source identifiers:
319669
Local pid:
pubs:319669

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP