文章基本信息

标题：On data—driven controller synthesis with regular language specifications ⁎
本地全文：下载
作者：Giordano Pola ; Tommaso Masciulli ; Elena De Santis 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2020
卷号：53
期号：2
页码：3928-3933
DOI：10.1016/j.ifacol.2020.12.2245
语种：English
出版社：Elsevier
摘要：AbstractData-driven control design for general systems with regular language specifications is addressed. We consider a discrete-time control system described as an abstract system i.e. as a collection of input-state functions. The abstract system is assumed to be suffix and concatenation closed, causal, deterministic and time-invariant. State variables are known but their dynamics are not, apart from a finite set of experiments. Given a specification expressed as a regular language defined over an alphabet consisting of a finite set of states of the plant, we design a controller based on the finite set of experiments, that guarantees that the specification is met, up to an error that can be chosen as small as desired. We also present results on maximality, convergence and adaptivity of the controller as the set of experiments increases.
关键词：Keywordsdata-driven controlgeneral systemsunknown systemsregular languagestransition systemsformal methods