The supervised control of discrete event dynamic systems: a new approach

The objective of the supervisory control theory of discrete event dynamic systems (DEDS), first introduced by Ramadge and Wonham (1989), is to design supervisors in such a way that a process coupled with the supervisors behaves according to logical constraints. In this framework, a supervisor can prevent some events from occurring but cannot force any event to appear. Nevertheless, most processes require the addition of an external control agent that forces some events to occur. This has led us to define the supervised control concept. In this new approach, control and supervision are clearly separated. This provides a hierarchical frame that permits us to formalize and systematize the transition from the synthesis to the implementation of the control. Grafcet is a powerful description tool that offers a great conciseness for modelling. In this paper, this tool is intensively used for the supervised control design.

[1]  RenC David,et al.  Grafcet: a powerful tool for specification of logic controllers , 1995, IEEE Trans. Control. Syst. Technol..

[2]  P. Ramadge,et al.  On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.

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

[4]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[5]  S. Balemi,et al.  Supervisory control of a rapid thermal multiprocessor , 1993, IEEE Trans. Autom. Control..

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

[7]  W. M. Wonham,et al.  On the consistency of hierarchical supervision in discrete-event systems , 1990 .

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

[9]  B. A. Brandin,et al.  The supervisory control of the automated manufacturing system of the AIP , 1994, Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology.

[10]  W. M. Wonham,et al.  Modular supervisory control of discrete-event systems , 1988, Math. Control. Signals Syst..

[11]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for discrete manufacturing systems , 1991, Autom..

[12]  Ratnesh Kumar.  Supervisory synthesis techniques for discrete event dynamical systems , 1992 .

[13]  René David.  Petri Nets and Grafcet for Specification of Logic Controllers , 1993 .

[14]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[15]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .