3 search results - page 1 / 1 » Reachability Analysis for Stochastic Hybrid Systems Using Mu... |
83
Voted
HYBRID
2009
Springer
15 years 2 months ago
2009
Springer
CDC
2008
IEEE
15 years 5 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...
69
Voted
HYBRID
2007
Springer
15 years 5 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...