Symmetry reduction for stochastic hybrid systems


Bujorianu, L.M. and Katoen, J.P. (2009) Symmetry reduction for stochastic hybrid systems. In: 47th IEEE Conference on Decision and Control, CDC 2008, 9-11 Dec 2008, Cancun, Mexico (pp. pp. 233-238).

open access
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 or Workshop Item
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page