Reachability Analysis of Hybrid Systems Using Support Functions

Abstract : 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 show how the properties of support functions make it possible to derive an effective algorithm for approximate reachability analysis of hybrid systems. We use our approach on some examples including the navigation benchmark for hybrid systems verification.
Type de document :
Communication dans un congrès
Ahmed Bouajjani, Oded Maler. CAV 2009 - 21st International Conference on Computer Aided Verification, Jun 2009, Grenoble, France. Springer, 5643, pp.540-554, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-02658-4_40〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00769527
Contributeur : Brigitte Bidégaray-Fesquet <>
Soumis le : mercredi 2 janvier 2013 - 09:58:44
Dernière modification le : vendredi 24 novembre 2017 - 13:26:45

Identifiants

Collections

Citation

Colas Le Guernic, Antoine Girard. Reachability Analysis of Hybrid Systems Using Support Functions. Ahmed Bouajjani, Oded Maler. CAV 2009 - 21st International Conference on Computer Aided Verification, Jun 2009, Grenoble, France. Springer, 5643, pp.540-554, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-02658-4_40〉. 〈hal-00769527〉

Partager

Métriques

Consultations de la notice

204