The Library
Approximate abstractions of stochastic hybrid systems
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 doi:10.3182/20080706-5-KR-1001.4232 ISSN 9783902661005.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
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, Engineering and Medicine > Science > Mathematics | ||||
Journal or Publication Title: | Proceedings of the 17th IFAC World Conference | ||||
Publisher: | Elsevier | ||||
ISSN: | 9783902661005 | ||||
Official Date: | 2008 | ||||
Dates: |
|
||||
DOI: | 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 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |