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.

在本文中，我们针对被描述为抽象系统（即输入状态函数的集合）的植物，用常规语言规范来解决数据驱动的控制设计。假设抽象系统是后缀和串联闭合的、因果的、确定性的和时不变的。除了收集到的一组有限实验外，该系统是未知的。给定表示为在由有限状态集组成的字母表上定义的规则语言的规范，设计了基于有限实验集的控制器，以保证在任意小误差内满足规范。讨论了当实验集变大时控制器的最大程度、收敛性和适应性。分析了控制器在不同于实验组和存在状态测量误差的情况下轨迹上的控制器性能。与人工胰腺相关的示例说明了结果。