Specification-guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods

  title={Specification-guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods},
  author={Olaf Stursberg and Ansgar Fehnker and Zhi Han and Bruce H. Krogh},
As the key step in verifying hybrid systems, the computation of reachable sets largely determines the complexity and thus the applicability of a verification approach. Most existing methods compute the reachable set without considering the specification to be verified. This paper presents an approach that identifies for abstractions of the hybrid model those behaviors that potentially violate the specification. A tailor-made sequence of validation procedures then checks the existence of these… CONTINUE READING
8 Citations
9 References
Similar Papers


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

An assessment of the current status of algorithmic approaches to the verification of hybrid systems

  • B. I. Silva, O. Stursberg, B. Krogh, S. Engell
  • In: Proc. 40 IEEE Conf. on Decision and Control…
  • 2001
2 Excerpts

Block-diagram based modelling and analysis of hybrid processes under discrete control

  • O. Stursberg, S. Kowalewski, J. Preussig, H. Treseler
  • J. Europeen des Syst. Automatises 32(9-10), 1097…
  • 1998
2 Excerpts

Similar Papers

Loading similar papers…