Sciweavers

3 search results - page 1 / 1
» Symmetry reduction for stochastic hybrid systems
Sort
View
CDC
2008
IEEE
127views Control Systems» more  CDC 2008»
14 years 3 months ago
Symmetry reduction for stochastic hybrid systems
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 sho...
Manuela L. Bujorianu, Joost-Pieter Katoen
CAV
2006
Springer
132views Hardware» more  CAV 2006»
14 years 1 months ago
Symmetry Reduction for Probabilistic Model Checking
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
ENTCS
2010
127views more  ENTCS 2010»
13 years 9 months ago
Combining Model Reductions
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge num...
Ferdinanda Camporesi, Jérôme Feret, H...