Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation

In this paper, we study supervisory control of a class of discrete event systems with simultaneous event occurrences, which we call concurrent discrete event systems, under partial observation. The behavior of the system is described by a language over the simultaneous event set. First, we prove that Lm(G)-closure, controllability, observability, and concurrent well-posedness of a specification language are necessary and sufficient conditions for the existence of a nonblocking supervisor. Next, we synthesize a supervisor that achieves the infimal closed, controllable, observable, and concurrently well-posed superlanguage of a specification language. Finally, we synthesize a supervisor that achieves a maximal closed, controllable, observable, and concurrently well-posed sublanguage of a closed specification language.

[1]  H. Marchand,et al.  Modular supervisory control of a class of concurrent discrete event systems , 2004 .

[2]  Steven I. Marcus,et al.  On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation , 1989, Math. Control. Signals Syst..

[3]  John N. Tsitsiklis,et al.  On the control of discrete-event dynamical systems , 1987, 26th IEEE Conference on Decision and Control.

[4]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[5]  Toshimitsu Ushio,et al.  Maximally permissive feedback and modular control synthesis in Petri nets with external input places , 1990 .

[6]  Nejib Ben Hadj-Alouane,et al.  Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation , 1996, Discret. Event Dyn. Syst..

[7]  René Boel,et al.  On forbidden state problems for a class of controlled Petri nets , 1995, IEEE Trans. Autom. Control..

[8]  P. Caines,et al.  On the supervisory control of multi-agent product systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[9]  Shigemasa Takai,et al.  Concurrency and maximally permissive feedback in Petri nets with external input places , 1994 .

[10]  Peter E. Caines,et al.  Initial investigations of hierarchical supervisory control for multi-agent systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[11]  W. M. Wonham,et al.  Concurrency and state feedback in discrete-event systems , 1992 .

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

[13]  C. Golaszewski,et al.  Control of discrete event processes with forced events , 1987, 26th IEEE Conference on Decision and Control.

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

[15]  Shigemasa Takai,et al.  Supervisory Control of a Class of Concurrent Discrete Event Systems( Selected Papers from the 16th Workshop on Circuits and Systems in Karuizawa) , 2004 .

[16]  W. M. Wonham,et al.  On Supervisory Control of Real-Time Discrete-Event Systems , 1987 .

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

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

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

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

[21]  Shigemasa Takai,et al.  Supervisory control of partially observed discrete event systems with arbitrary control patterns , 2000, Int. J. Syst. Sci..

[22]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for a class of controlled Petri nets , 1990 .

[23]  W. M. Wonham,et al.  Concurrent vector discrete-event systems , 1995 .

[24]  Yang Li,et al.  On Supervisory Control of Real-Time Discrete-Event Systems , 1987, 1987 American Control Conference.