Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems

  title={Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems},
  author={Tommaso Dreossi and Thao Dang and Alexandre Donz{\'e} and James Kapinski and Xiaoqing Jin and Jyotirmoy V. Deshmukh},
Techniques for testing cyberphysical systems (CPS) currently use a combination of automatic directed test generation and random testing to find undesirable behaviors. Existing techniques can fail to efficiently identify bugs because they do not adequately explore the space of system behaviors. In this paper, we present an approach that uses the rapidly exploring random trees (RRT) technique to explore the statespace of a CPS. Given a Signal Temporal Logic (STL) requirement, the RRT algorithm… CONTINUE READING
Highly Cited
This paper has 50 citations. REVIEW CITATIONS
28 Citations
21 References
Similar Papers


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

51 Citations

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

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 21 references

Linear temporal logic vehicle routing with applications to multi-UAV mission planning

  • S. Karaman, E. Frazzoli
  • Int. J. of Robust and Nonlinear Control 21(12…
  • 2011
1 Excerpt

Similar Papers

Loading similar papers…