Approximate Abstractions of Stochastic Hybrid Systems


Bujorianu, L.M. and Bujorianu, M.C. and Blom, H.A.P. (2008) Approximate Abstractions of Stochastic Hybrid Systems. In: Proceedings of the 17th IFAC World Congress, 6-11 Jul 2008, Seoul, Korea (pp. pp. 8978-8983).

open access
Abstract:This paper considers the issue of developing approximate abstractions of stochastic
hybrid systems. The stochastic continuous behaviour breaks many essential properties of hybrid
automata. Our approach departs from the progress in stochastic reachability analysis and
Markov chain approximations. For this purpose we have to introduce a new approximation
scheme and look for a suitable metric. We construct an exponential timestepping approximation
scheme for general Markov processes. This approximation scheme relies on the complex space of
system trajectories involving a sensible choice of the metric. Fortunately, the Skorokhod metric
is sly enough to overcome the problems.
Item Type:Conference or Workshop Item
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page