Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
复制标题
DOI：
10.1109/tac.2015.2449051
复制
发表时间：
2016-03
影响因子：
6.8
通讯作者：
T. Ushio;S. Takai
中科院分区：
文献类型：
--
作者：
T. Ushio;S. Takai
在具有部分事件观测的离散事件系统（DESs）的传统监督控制框架中，假设对于每个事件，对应的输出符号是唯一确定的。然而，这种假设在DESs中不成立，例如具有传感器错误的系统和移动系统，其中输出符号不仅取决于事件，还取决于事件发生时的状态。在本技术说明中，我们通过具有不确定性输出函数的Mealy自动机对这样的DES进行建模。我们考虑一个称为反许可管理器的管理器，它根据反许可策略分配其控制动作。我们引入ap -可实现性的概念来描述一类语言可以被反允许的监督器实现，并讨论了非阻塞监督器的存在性。
In the conventional supervisory control framework for discrete event systems (DESs) with partial event observation, it is assumed that, for each event, the corresponding output symbol is determined uniquely. However, this assumption does not hold in DESs such as a system with sensor errors and a mobile system, where an output symbol depends on not only an event but also a state at which the event occurs. In this technical note, we model such a DES by a Mealy automaton with a nondeterministic output function. We consider a supervisor, called the anti-permissive supervisor, that assigns its control action based on an anti-permissive policy. We introduce a notion of AP-achievability to characterize a class of languages achievable by the anti-permissive supervisor, and discuss the existence of a nonblocking supervisor.