Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems - Laboratoire Méthodes Formelles
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⟩
246 Consultations
400 Téléchargements

Altmetric

Partager

More