Robust Test Generation and Coverage for Hybrid Systems

  title={Robust Test Generation and Coverage for Hybrid Systems},
  author={Anak Agung Julius and Georgios E. Fainekos and Madhukar Anand and Insup Lee and George J. Pappas},
Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system meets its design requirements, particularly the safety and correctness requirements of the system. In this paper, we develop a framework for generating tests from hybrid systems’ models. The core idea of the framework is to develop a notion of robust test, where one nominal test can be guaranteed to yield the same qualitative… CONTINUE READING
Highly Cited
This paper has 140 citations. REVIEW CITATIONS


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

Control software model checking using bisimulation functions for nonlinear systems

2008 47th IEEE Conference on Decision and Control • 2008
View 5 Excerpts
Highly Influenced

Verification of Embedded Control Software

View 6 Excerpts
Highly Influenced

Provably correct design of observations for fault detection with privacy preservation

2017 IEEE 56th Annual Conference on Decision and Control (CDC) • 2017
View 1 Excerpt

141 Citations

Citations per Year
Semantic Scholar estimates that this publication has 141 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…