文章基本信息

标题：On symbolic control design of nonlinear systems with dynamic regular language specifications ⁎
本地全文：下载
作者：Tommaso Masciulli ; Giordano Pola
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2020
卷号：53
期号：2
页码：1844-1849
DOI：10.1016/j.ifacol.2020.12.2352
语种：English
出版社：Elsevier
摘要：AbstractFormal methods are becoming rather popular in the research community working on hybrid systems because they provide a systematic approach to design complex and heterogeneous systems of interest in e.g. industrial world. In this paper we consider a control problem where the plant is a nonlinear system, the controller is a finite state machine, easily implementable in digital devices, and the specification is a regular language and, it is dynamic. The motivation for considering dynamic specifications comes from some relevant and concrete applications where environment, external to the plant, may change in time and therefore designed controllers need to timely reconfigure to properly deal with new scenario. We propose an approach to reduce online computations for controller reconfiguration which exhibits gain in terms of time computational complexity. The results we present are based on the use of symbolic models and on regular language theory.
关键词：Keywordsnonlinear systemsquantized systemssymbolic controlregular languagesdynamic specifications