Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

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

Résumé

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.
Fichier principal
Vignette du fichier
root.pdf (478.82 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01761180 , version 1 (07-04-2018)

Identifiants

Citer

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. ⟨10.1016/j.ifacol.2018.08.003⟩. ⟨hal-01761180⟩
226 Consultations
381 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More