The Library
Symmetry reduction for stochastic hybrid systems
Tools
Bujorianu, Manuela and Katoen, Joost-Piter (2008) Symmetry reduction for stochastic hybrid systems. In: 47th IEEE Conference on Decision and Control, 2008. CDC 2008., Cancun, Mexico, 9-11 Dec 2008. Published in: 47th IEEE Conference on Decision and Control December 9-11, 2008, Cancun, Mexico pp. 233-238. doi:10.1109/CDC.2008.4739086 ISSN 9781424431236.
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://dx.doi.org/10.1109/CDC.2008.4739086
Abstract
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. We first show that performability analysis of stochastic hybrid systems can be reduced to a stochastic reachability analysis (SRA). Then, we generalize the notion of symmetry reduction as recently proposed for probabilistic model checking, to continuous probabilistic systems. We provide a rigorous mathematical foundation for the reduction technique in the continuous case and also investigate its observability perspective. For stochastic hybrid systems, characterizations for this reduction technique are provided, in terms of their infinitesimal generator.
Item Type: | Conference Item (Paper) | ||||
---|---|---|---|---|---|
Divisions: | Faculty of Science, Engineering and Medicine > Science > Mathematics | ||||
Journal or Publication Title: | 47th IEEE Conference on Decision and Control December 9-11, 2008, Cancun, Mexico | ||||
Publisher: | IEEE | ||||
ISSN: | 9781424431236 | ||||
Official Date: | 2008 | ||||
Dates: |
|
||||
Page Range: | pp. 233-238 | ||||
DOI: | 10.1109/CDC.2008.4739086 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Conference Paper Type: | Paper | ||||
Title of Event: | 47th IEEE Conference on Decision and Control, 2008. CDC 2008. | ||||
Type of Event: | Conference | ||||
Location of Event: | Cancun, Mexico | ||||
Date(s) of Event: | 9-11 Dec 2008 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |