Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems

Abstract : Abstraction-based synthesis techniques are limited to systems with moderate size. Thus to contribute towards scalability of these techniques, in this paper we propose a compositional abstraction-based synthesis for cascade interconnected discrete-time control systems. Given a cascade interconnection of several components, we provide results on the compositional construction of finite abstractions based on the notion of approximate cascade composition. Then, we provide a compositional controller synthesis for cascade interconnection. Finally, we demonstrate the applicability and effectiveness of the results using a numerical example and compare it with different abstraction and controller synthesis schemes.
Type de document :
Communication dans un congrès
6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, 2018, Oxford, United Kingdom
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01761180
Contributeur : Adnane Saoud <>
Soumis le : samedi 7 avril 2018 - 23:07:42
Dernière modification le : jeudi 25 octobre 2018 - 11:49:39

Fichier

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

Identifiants

  • HAL Id : hal-01761180, version 1

Citation

Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard. Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. 6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, 2018, Oxford, United Kingdom. 〈hal-01761180〉

Partager

Métriques

Consultations de la notice

301

Téléchargements de fichiers

134