论文标题
控制离散事件系统的控制有限的lookahead政策：教程
Limited Lookahead Policies for the Control of Discrete-Event Systems: A Tutorial
论文作者
论文摘要
离散事件系统（DES）中的一些问题模拟具有复杂法律语言的大型，随时间变化的状态空间。为了解决这些问题，Chung等人。引入了有限的LookAhead政策（LLP），以为离散事件系统提供在线监督控制。这份开创性的论文以及一系列技术结果，为该领域提供了一系列非常重要和有力的结果，但在符号和概念上的方式为此。在本教程中，我们介绍了Chung等人的在线控制问题的问题制定，并从其原始工作中揭示正式的定义和证明，目的是使所有DES研究人员都可以访问Limited LookAhead背后的想法。最后，我们将空中交通管制问题作为在线控制问题的一个例子，并演示了LLP主管的综合。
Some problems in discrete-event systems (DES) model large, time-varying state spaces with complex legal languages. To address these problems, Chung et al. introduced limited lookahead policies (LLP) to provide online supervisory control for discrete-event systems. This seminal paper, along with an addendum of technical results, provided the field with a series of very important and powerful results, but in a notationally- and conceptually-dense manner. In this tutorial, we present Chung et al.'s problem formulation for online control and unravel the formal definitions and proofs from their original work with the aim of making the ideas behind limited lookahead accessible to all DES researchers. Finally, we introduce the Air Traffic Control problem as an example of an online control problem and demonstrate the synthesis of LLP supervisors.
