Safety Verification for Probabilistic Hybrid Systems

@inproceedings{Zhang2010SafetyVF,
  title={Safety Verification for Probabilistic Hybrid Systems},
  author={Lijun Zhang and Zhikun She and Stefan Ratschan and Holger Hermanns and Ernst Moritz Hahn},
  booktitle={CAV},
  year={2010}
}
The interplay of random phenomena and continuous real-time control deserves increased attention for instance in wireless sensing and control applications. Safety verification for such systems thus needs to consider probabilistic variations of systems with hybrid dynamics. In safety verification of classical hybrid systems we are interested in whether a certain set of unsafe system states can be reached from a set of initial states. In the probabilistic setting, we may ask instead whether the… CONTINUE READING
Highly Cited
This paper has 89 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 50 extracted citations

90 Citations

01020'11'13'15'17
Citations per Year
Semantic Scholar estimates that this publication has 90 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…