The Library
Approximate abstractions of stochastic hybrid systems
Tools
Tools
Tools
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 Conference
Full text not available from this repository.
Official URL: http://www.ifac-papersonline.net/World_Congress/Pr...
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. 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 |
| Publisher: | Elsevier |
| ISSN: | 9783902661005 |
| Date: | 2008 |
| Identification Number: | 10.3182/20080706-5-KR-1001.4232 |
| Status: | Peer Reviewed |
| Publication Status: | Published |
| 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 |
| URI: | http://wrap.warwick.ac.uk/id/eprint/49170 |
Actions (login required)
 |
View Item |
