Sciweavers

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