Reachability Analysis of Hybrid Systems Using Support Functions

@inproceedings{Guernic2009ReachabilityAO,
  title={Reachability Analysis of Hybrid Systems Using Support Functions},
  author={Colas Le Guernic and Antoine Girard},
  booktitle={CAV},
  year={2009}
}
This paper deals with conservative reachability analysis of a class of hybrid systems with continuous dynamics described by linear differential inclusions, convex invariants and guards, and linear reset maps. We present an approach for computing over-approximations of the set of reachable states. It is based on the notion of support function and thus it allows us to consider invariants, guards and constraints on continuous inputs and initial states defined by arbitrary compact convex sets. We… CONTINUE READING
Highly Influential
This paper has highly influenced 15 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 123 citations. REVIEW CITATIONS

Citations

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

Parallel reachability analysis of hybrid systems in XSpeed

International Journal on Software Tools for Technology Transfer • 2018
View 6 Excerpts
Highly Influenced

Reachability of hybrid systems in space-time

2015 International Conference on Embedded Software (EMSOFT) • 2015
View 10 Excerpts
Highly Influenced

XSpeed: Accelerating Reachability Analysis on Multi-core Processors

Haifa Verification Conference • 2015
View 8 Excerpts
Highly Influenced

123 Citations

01020'10'12'14'16'18
Citations per Year
Semantic Scholar estimates that this publication has 123 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…