Decentralized control of discrete event systems with specializations to local control and concurrent systems

The decentralized supervisory control problem of discrete event systems under partial observation is studied in this paper. The main result of the paper is a necessary and sufficient condition for the existence of decentralized supervisors for ensuring. That the controlled behavior of the system lies in a given range. The contribution of the paper is (1) our setting of decentralized control generalizes the prior ones; (2) we present an alternative approach for solving the decentralized control problem, which leads to computational saving for concurrent systems and certain other systems; and (3) our generalized formulation and its solution lets us extend several of the existing results reported previously. The results of our paper are illustrated by an example of a simple manufacturing system.

[1]  W. M. Wonham,et al.  Decentralized control and coordination of discrete-event systems with partial observation , 1990 .

[2]  Xi-Ren Cao.  Discrete Event Dynamical Systems , 1999 .

[3]  Walter Murray Wonham,et al.  Hierarchical control of discrete-event systems , 1996, Discret. Event Dyn. Syst..

[4]  Walter Murray Wonham,et al.  Decentralized supervisory control of discrete-event systems , 1987, Inf. Sci..

[5]  Mark A. Shayman,et al.  Formulae relating controllability, observability, and co-observability , 1998, Autom..

[6]  Roland P. Malhamé,et al.  Supervisory Control of Distributed Systems: Conflict Resolution , 2000, Discret. Event Dyn. Syst..

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

[8]  Kai C. Wong,et al.  On the Complexity of Projections of Discrete-Event Systems , 1998 .

[9]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[10]  Vijay K. Garg,et al.  Modeling and Control of Logical Discrete Event Systems , 1994 .

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

[12]  Walter Murray Wonham,et al.  Supervisory control of communicating processes , 1990, PSTV.

[13]  Stéphane Lafortune,et al.  The infimal closed controllable superlanguage and its application in supervisory control , 1990 .

[14]  W. Murray Wonham,et al.  Think Globally, Act Locally: Decentralized Supervisory Control , 1991, 1991 American Control Conference.