论文标题
SCLTL规格的离散事件系统的在线允许监督控制
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications
论文作者
论文摘要
我们为离散事件系统（DESS）提出了一个在线监督控制方案，其中控制规范由线性时间逻辑的片段描述。在DES的产品自动机和规范的受体上，我们定义了一个排名函数，该函数返回从每个状态达到接受状态所需的最小步骤数。此外，我们引入了一个宽容函数，该功能表明随时间变化的允许水平。在在线控制方案期间的每个步骤中，主管指的是许可功能以及排名函数，以确保控制规范在处理其允许性和接受规范之间的权衡之间的权衡。在移动机器人的监视问题中证明了拟议的计划。
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.
