Approximate abstractions of stochastic hybrid systems
Bujorianu, Manuela, Bujorianu, Marius C. and Blom, H. A. P. (2008) Approximate abstractions of stochastic hybrid systems. In: 17th IFAC World Congress, 2008, COEX, Korea, South, 6-11 Jul 2008. Published in: Proceedings of the 17th IFAC World ConferenceFull text not available from this repository.
Official URL: http://www.ifac-papersonline.net/World_Congress/Pr...
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. Keywords: stochastic hybrid systems, approximations, step processes, approximate abstraction, model checking
|Item Type:||Conference Item (Paper)|
|Divisions:||Faculty of Science > Mathematics|
|Journal or Publication Title:||Proceedings of the 17th IFAC World Conference|
|Conference Paper Type:||Paper|
|Title of Event:||17th IFAC World Congress, 2008|
|Type of Event:||Conference|
|Location of Event:||COEX, Korea, South|
|Date(s) of Event:||6-11 Jul 2008|
Actions (login required)