.png){kind=icon}
返回
Data-driven controller synthesis for abstract systems with regular language specifications
.png){kind=icon}
PRE
AI
DOI：10.1016/j.automatica.2021.109903.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In this paper we address data-driven control design with regular language specifications for plants described as abstract systems, i.e. as collections of input-state functions. The abstract system is assumed to be suffix and concatenation closed, causal, deterministic and time-invariant. The system is unknown, apart from a collected 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, a controller based on the finite set of experiments is designed, which guarantees that the specification is met up to an arbitrarily small error. Maximality, convergence and adaptivity of the controller as the set of experiments gets bigger are discussed. Controller performance on trajectories of the plant different from those in the set of experiments and in the presence of state measurement errors is analyzed. An example related to the artificial pancreas illustrates the results. (C) 2021 Elsevier Ltd. All rights reserved.
Keyword:
Data-driven control
Abstract systems
Formal methods
Artificial pancreas
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.9
论文数:
1.2W
被引数:
5.2W
机构
引用论文
What Happened and Why: Responding to Racism, Discrimination, and Microaggressions in the Clinical Learning Environment.png)
MedEdPORTAL
OAAI
MedEdPORTALIF0
OAAI分享收藏分享收藏
没有更多内容
没有更多内容