Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays

作者：Shu, Shaolong^*; Lin, Feng

来源：IEEE Transactions on Automatic Control, 2015, 60(8): 2183-2188.

DOI：10.1109/TAC.2014.2369771

• Communication delays
• discrete event systems
• networked systems
• supervisor synthesis
• supervisory control

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 aminimally-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.

• 出版日期2015-8
• 单位同济大学