A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems

Abstract : Reachability analysis of nonlinear uncertain hybrid systems, i.e., continuous-discrete dynamical systems whose continuous dynamics, guard sets and reset functions are defined by nonlinear functions, can be decomposed in three algorithmic steps: computing the reachable set when the system is in a given operation mode, computing the discrete transitions, i.e., detecting and localizing when (and where) the continuous flowpipe intersects the guard sets, and aggregating the multiple trajectories that result from an uncertain transition once the whole flow-pipe has transitioned so that the algorithm can resume. This paper proposes a comprehensive method that provides a nicely integrated solution to the hybrid reachability problem. At the core of the method is the concept of MSPB, i.e., geometrical object obtained as the Minkowski sum of a parallelotope and an axes aligned box. MSPB are a way to control the over-approximation of the Taylor's interval integration method. As they happen to be a specific type of zonotope, they articulate perfectly with the zonotope bounding method that we propose to enclose in an optimal way the set of flowpipe trajectories generated by the transition process. The method is evaluated both theoretically by analyzing its complexity and empirically by applying it to well-chosen hybrid nonlinear examples.
Type de document :
Article dans une revue
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (9), pp.2341-2356. 〈10.1109/tac.2015.2491740〉
Liste complète des métadonnées

Littérature citée [70 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01650701
Contributeur : Christophe Combastel <>
Soumis le : dimanche 10 décembre 2017 - 13:21:50
Dernière modification le : mercredi 12 décembre 2018 - 15:32:47

Fichier

IEEE_TAC_postprint.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Moussa Maiga, Nacim Ramdani, Louise Travé-Massuyès, Christophe Combastel. A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (9), pp.2341-2356. 〈10.1109/tac.2015.2491740〉. 〈hal-01650701〉

Partager

Métriques

Consultations de la notice

323

Téléchargements de fichiers

152