We propose an on-line supervisory control scheme for discrete event systems (DESs), where a control specification is described by a fragment of linear temporal logic. On the product automaton of the DES and an acceptor for the specification, we define a ranking function that returns the minimum number of steps required to reach an accepting state from each state. In addition, we introduce a permissiveness function that indicates a time-varying permissive level. At each step during the on-line control scheme, the supervisor refers to the permissiveness function as well as the ranking function in order to guarantee the control specification while handling the tradeoff between its permissiveness and acceptance of the specification. The proposed scheme is demonstrated in a surveillance problem for a mobile robot.

中文翻译：

---

用于 scLTL 规范的离散事件系统的在线许可监督控制

我们为离散事件系统 (DES) 提出了一种在线监督控制方案，其中控制规范由线性时间逻辑的片段描述。在 DES 的乘积自动机和规范的接受器上，我们定义了一个排序函数，该函数返回从每个状态到达接受状态所需的最少步骤数。此外，我们引入了一个表示随时间变化的许可级别的许可函数。在在线控制方案的每个步骤中，监督者参考许可函数和排序函数以保证控制规范，同时处理规范的许可和接受之间的权衡。所提出的方案在移动机器人的监视问题中得到了证明。