Sciweavers

2 search results - page 1 / 1
» Application of reachability analysis for stochastic hybrid s...
Sort
View
CDC
2008
IEEE
131views Control Systems» more  CDC 2008»
13 years 11 months ago
Probabilistic testing for stochastic hybrid systems
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
A. Agung Julius, George J. Pappas