Name
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. |
Year | DOI | Venue |
|---|---|---|
2018 | 10.1016/j.ifacol.2018.08.003 | IFAC-PapersOnLine |
Keywords | DocType | Volume |
Symbolic control,Compositional abstraction,Compositional controller synthesis,Cascade composition,Discrete-time control system | Conference | 51 |
Issue | ISSN | Citations |
16 | 2405-8963 | 1 |
PageRank | References | Authors |
0.36 | 0 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Adnane Saoud | 1 | 3 | 2.11 |
| Jagtap Pushpak | 2 | 29 | 7.74 |
| Zamani, M. | 3 | 100 | 31.24 |
| Antoine Girard | 4 | 1937 | 117.56 |