Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems⁎. Issue 16 (2018)

• Record Type: Journal Article
• Authors: Saoud, Adnane; Jagtap, Pushpak; Zamani, Majid; Girard, Antoine
• Is Part Of: IFAC-PapersOnLine. Volume 51:Issue 16(2018)
• Page Start: 13
• Page End: 18
• Publication Date: 2018
• Subjects: Symbolic control -- Compositional abstraction -- Compositional controller synthesis -- Cascade composition -- Discrete-time control system; Automatic control -- Periodicals; 629.805
• DOI: 10.1016/j.ifacol.2018.08.003
• Languages: English
• ISSNs: 2405-8963

Abstract

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.