Measurability and safety verification for stochastic hybrid systems

@inproceedings{Frnzle2011MeasurabilityAS,
  title={Measurability and safety verification for stochastic hybrid systems},
  author={Martin Fr{\"a}nzle and Ernst Moritz Hahn and Holger Hermanns and Nicol{\'a}s Wolovick and Lijun Zhang},
  booktitle={HSCC},
  year={2011}
}
Dealing with the interplay of randomness and continuous time is important for the formal verification of many real systems. Considering both facets is especially important for wireless sensor networks, distributed control applications, and many other systems of growing importance. An important traditional design and verification goal for such systems is to ensure that unsafe states can never be reached. In the stochastic setting, this translates to the question whether the probability to reach… CONTINUE READING
Highly Cited
This paper has 57 citations. REVIEW CITATIONS
36 Citations
2 References
Similar Papers

Citations

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

57 Citations

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

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-2 of 2 references

Similar Papers

Loading similar papers…