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