Nonblocking networked control of discrete event systems

Networked control is now widely used in engineering systems. We have studied networked supervisory control of discrete event systems in several previous papers. In this paper, we investigate the issue of blocking in networked supervisory control. Due to randomness in communication delays, the issue of blocking is much more complex in networked systems. More conditions need to be satisfied in order to ensure that a supervised system is nonblocking. In this paper, we derive a necessary and sufficient condition for the existence of a nonblocking networked supervisor. The condition is stated in terms of Lm(G)-closure, delay controllability and delay observability. Examples are used to illustrate the results.

[1]  Feng Lin,et al.  Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses , 2014, SIAM J. Control. Optim..

[2]  Jan Lunze,et al.  Control theory of digitally networked dynamic systems , 2014 .

[3]  Kwang-Hyun Cho,et al.  Delay-robust supervisory control of discrete-event systems with bounded communication delays , 2006, IEEE Trans. Autom. Control..

[4]  Feng Lin,et al.  Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays , 2013, IEEE Transactions on Automatic Control.

[5]  Shigemasa Takai,et al.  Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions , 2016, IEEE Transactions on Automatic Control.

[6]  Silvano Balemi.  Input/output discrete event processes and communication delays , 1994, Discret. Event Dyn. Syst..

[7]  John Baillieul,et al.  Handbook of Networked and Embedded Control Systems , 2005, Handbook of Networked and Embedded Control Systems.

[8]  Stéphane Lafortune,et al.  On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems , 2003, Discret. Event Dyn. Syst..

[9]  Stéphane Lafortune,et al.  Dealing with blocking in supervisory control of discrete-event systems , 1991 .

[10]  Feng Lin,et al.  Decentralized control of networked discrete event systems with communication delays , 2014, Autom..

[11]  Feng Lin,et al.  Deterministic Networked Control of Discrete Event Systems With Nondeterministic Communication Delays , 2017, IEEE Transactions on Automatic Control.

[12]  Lei Fang.  Handbook of Networked and Embedded Control Systems-[Book review; D. H. Hristu-Varsakelis and W. S. Levine] , 2007 .

[13]  Feng Lin,et al.  Predictive Networked Control of Discrete Event Systems , 2017, IEEE Transactions on Automatic Control.

[14]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[15]  Fuchun Liu,et al.  Reliable decentralized supervisory control of discrete event systems with communication delays , 2009, 2009 IEEE/ASME International Conference on Advanced Intelligent Mechatronics.

[16]  Kwang-Hyun Cho,et al.  Supervisory control of discrete event systems with communication delays and partial observations , 2007, Syst. Control. Lett..

[17]  Xiang Yin,et al.  Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach , 2017, IEEE Transactions on Automatic Control.

[18]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..

[19]  Kwang-Hyun Cho,et al.  Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures , 2007, Autom..

[20]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[21]  Stéphane Lafortune,et al.  Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems , 2016, IEEE Transactions on Automatic Control.