Symmetry Reduction For Stochastic Hybrid Systems

Share/Save/Bookmark

Bujorianu, L.M. and Katoen, J.P. (2008) Symmetry Reduction For Stochastic Hybrid Systems. [Report]

[img]
Preview
PDF
283Kb
Abstract:This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, 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.
Keywords: Markov models, symmetries, transformation group, abstractions, reachability, probabilistic model checking.
Item Type:Report
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/64686
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 250912