You are here: MIMS > EPrints
MIMS EPrints

2009.24: Symmetry reduction for stochastic hybrid systems

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

Full text available as:

PDF - Registered users only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
211 Kb

DOI: 10.1109/CDC.2008.4739086


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 (Paper)
Uncontrolled Keywords:stochastic hybrid systems, Markov processes, symmetry reduction, CICADA
Subjects:MSC 2000 > 60 Probability theory and stochastic processes
MSC 2000 > 93 Systems theory; control
MIMS number:2009.24
Deposited By:Dr. Manuela Luminita BUJORIANU
Deposited On:20 March 2009

Download Statistics: last 4 weeks
Repository Staff Only: edit this item