Compositional Abstraction and Safety Synthesis using Overlapping Symbolic Models

Abstract : In this paper, we develop a compositional approach to abstraction and safety synthesis for a general class of discrete time nonlinear systems. Our approach makes it possible to define a symbolic abstraction by composing a set of symbolic subsystems that are overlapping in the sense that they can share some common state variables. We develop compositional safety synthesis techniques using such overlapping symbolic subsystems. Comparisons, in terms of conservativeness and of computational complexity, between abstractions and controllers obtained from different system decompositions are provided. Numerical experiments show that the proposed approach for symbolic control synthesis enables a significant complexity reduction with respect to the centralized approach, while reducing the conservatism with respect to compositional approaches using non-overlapping subsystems.
Type de document :
Article dans une revue
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2018, 63 (6), pp.1835-1841. 〈10.1109/TAC.2017.2753039〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01620532
Contributeur : Antoine Girard <>
Soumis le : samedi 23 décembre 2017 - 20:13:08
Dernière modification le : lundi 26 novembre 2018 - 16:49:13

Fichier

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

Identifiants

Citation

Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant. Compositional Abstraction and Safety Synthesis using Overlapping Symbolic Models. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2018, 63 (6), pp.1835-1841. 〈10.1109/TAC.2017.2753039〉. 〈hal-01620532〉

Partager

Métriques

Consultations de la notice

400

Téléchargements de fichiers

206