3 search results - page 1 / 1 » Reachability Analysis for Stochastic Hybrid Systems Using Mu... |
HYBRID
2009
Springer
13 years 9 months ago
2009
Springer
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
— 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...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...