Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays
Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays
复制标题
DOI：
10.1109/tac.2014.2369771
复制
发表时间：
2015-08
影响因子：
6.8
通讯作者：
Shaolong Shu;F. Lin
中科院分区：
文献类型：
--
作者：
Shaolong Shu;F. Lin
研究了具有异步通信的网络化离散事件系统的监督控制问题。观察和控制可能会随机延迟。延迟是有界的，不会改变观察顺序（FIFO）。我们的目标是合成一个监督程序，使得被监督系统的行为既充分又法律的（安全的）。我们得到了这样一个监督者存在的一个充分必要条件。当条件满足时，我们找到一个最小许可的状态估计为基础的控制策略，可以实现离线或在线。此外，我们推导出一个算法，通过构造一个增广自动机来检查监督的存在条件。该算法允许我们通过迭代获得最大许可的控制策略。
We investigate supervisory control of networked discrete event systems with asynchronous communication between the plant and supervisor. The observation and control may be randomly delayed. The delays are bounded and will not change the order of observation (FIFO). Our goal is to synthesize a supervisor such that the behavior of the supervised system is both adequate and legal (safe). We derive a necessary and sufficient condition for the existence of such a supervisor. When the condition is satisfied, we find a minimally-permissive state-estimate-based control policy which can be implemented offline or online. Furthermore, we derive an algorithm to check the condition for the existence of the supervisor by constructing an augmented automaton. The algorithm allows us to obtain a maximally-permissive control policy by iteration.