Discrete event dynamic systems

The supervisory control theory of discrete-event dynamic systems (DEDS), first introduced by Ramadge and Wonham, is based on an automata concept. Given a process, the objective of this theory is to design a supervisor in such a way that the process coupled with the supervisor behaves according to various constraints. In this framework, the process is assumed to evolve spontaneously and the supervisor can only prevent some events from occurring, but cannot force them. In fact, most processes require the addition of an external control agent that forces some events to occur. This has led us to the supervised control concept where control and supervision are separated. This provides a hierarchical frame, thus enabling us to formalize and to systematize the transition from the synthesis to the implementation of the control. In the paper, Grafcet is intensively used for the supervision and the control design.

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

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

[3]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

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

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

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

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

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

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

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

[11]  René David,et al.  Petri nets and grafcet - tools for modelling discrete event systems , 1992 .

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

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

[14]  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.

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

[16]  René David,et al.  The supervised control of discrete event dynamic systems: a new approach , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[17]  F. Charbonnier,et al.  Commande supervisée des systèmes à évènements discrets , 1996 .