文章基本信息

标题：Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems ⁎
本地全文：下载
作者：Adnane Saoud ; Pushpak Jagtap ; Majid Zamani 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2018
卷号：51
期号：16
页码：13-18
DOI：10.1016/j.ifacol.2018.08.003
语种：English
出版社：Elsevier
摘要：AbstractAbstraction-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.
关键词：KeywordsSymbolic controlCompositional abstractionCompositional controller synthesisCascade compositionDiscrete-time control system