Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems

@inproceedings{Dreossi2015EfficientGS,
  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},
  booktitle={NFM},
  year={2015}
}
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

Citations

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

51 Citations

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

See our FAQ for additional information.

References

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…