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
Role:
Author
Journal:
EUROPEAN JOURNAL OF CONTROL
Volume:
16
Issue:
6
Pages:
624-641
Publication date:
2010-01-01
DOI:
ISSN:
0947-3580
URN:
uuid:e40beeb4-d752-4c05-beea-63c812b4fe01
Source identifiers:
319669
Local pid:
pubs:319669

Terms of use


Metrics


Views and Downloads






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

TO TOP