A Uniform Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems

In this paper, a uniform approach to maximal permissiveness in modular control of discrete-event systems is proposed. It is based on three important concepts of modular closed-loops: monotonicity, distributivity, and exchangeability. Monotonicity of various closed-loops satisfying a given property considered in this paper holds whenever the underlying property is preserved under language unions. Distributivity holds if the inverse projections of local plants satisfy the given property with respect to each other. Among new results, sufficient conditions are proposed for distributed computation of supremal relatively observable sublanguages.

[1]  P. Ramadge,et al.  Modular Supervisory Control of Discrete Event Systems , 1988 .

[2]  Feng Lin,et al.  On-line control of partially observed discrete event systems , 1994, Discret. Event Dyn. Syst..

[3]  Lei Feng.  Computationally efficient supervisor design for discrete-event systems , 2007 .

[4]  Jan Komenda,et al.  On conditional decomposability , 2012, Syst. Control. Lett..

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

[6]  Jan Komenda,et al.  On a distributed computation of supervisors in modular supervisory control , 2015, 2015 International Conference on Complex Systems Engineering (ICCSE).

[7]  Jan Komenda,et al.  Modular Control of Discrete-Event Systems With Coalgebra , 2008, IEEE Transactions on Automatic Control.

[8]  Jan Komenda,et al.  Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator , 2011, Syst. Control. Lett..

[9]  W. Murray Wonham,et al.  Supervisory Control of Discrete-Event Systems , 2018 .

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

[11]  Walter Murray Wonham,et al.  On relative observability of discrete-event systems , 2013, 52nd IEEE Conference on Decision and Control.

[12]  J.E.R. Cury,et al.  Polynomial-time verification of the observer property in abstractions , 2008, 2008 American Control Conference.

[13]  W. M. Wonham,et al.  Supervisory control of discrete event processes , 1982 .

[14]  Jan Komenda,et al.  Control of discrete-event systems with modular or distributed structure , 2007, Theor. Comput. Sci..

[15]  Walter Murray Wonham,et al.  On relative coobservability of discrete-event systems , 2015, 2015 American Control Conference (ACC).

[16]  L. Grigorov.  Hierarchical control of discrete-event systems , 2005 .

[17]  Jan Komenda,et al.  Supervisory control synthesis of discrete-event systems using a coordination scheme , 2010, Autom..

[18]  R. D. Brandt,et al.  Formulas for calculating supremal controllable and normal sublanguages , 1990 .

[19]  Sang-Heon Lee,et al.  Structural Decentralised Control of Concurrent Discrete-event Systems , 2002, Eur. J. Control.