FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems

Authors: Adnane Saoud, Pushpak Jagtap, Majid Zamani and Antoine Girard

Paper Information

Title:Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems
Authors:Adnane Saoud, Pushpak Jagtap, Majid Zamani and Antoine Girard
Proceedings:ADHS Full papers
Editor: Alessandro Abate
Keywords:aaa, bbb, ccc
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.

Pages:6
Talk:Jul 11 11:40 (Session 63A: Formal Synthesis)
Paper: