The supervised control of discrete-event dynamic systems

IEEE Transactions on Control Systems Technology

Volumn 7, Issue 2, 1999, Pages 175-187

  Charbonnier, François ^a   Alla, Hassane ^a   David, René ^a  

^a GRENOBLE INSTITUTE OF TECHNOLOGY   (France)

Author keywords

Automata; Control systems; Controllability; Grafcet; Hierarchical systems; Manufacturing

Indexed keywords

AUTOMATA THEORY; CONSTRAINT THEORY; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; CONTROLLABILITY; HIERARCHICAL SYSTEMS; PROCESS ENGINEERING; SCADA SYSTEMS;

DISCRETE-EVENT DYNAMIC SYSTEMS (DEDS); SOFTWARE PACKAGE GRAFCET;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0033100626     PISSN: 10636536     EISSN: None     Source Type: Journal    
DOI: 10.1109/87.748144     Document Type: Article

References (19)

1. S. Balemi, G. J. Hoffman, P. Gyugyi, H. Wong-Toi, and G. F. Franklin, "Supervisory control of a rapid thermal multiprocessor," IEEE Trans. Automat. Contr., vol. 38, July 1993.
2. B. A. Brandin and F. Charbonnier, "The supervisory control of the automated manufacturing system of the AIP," in 1994 4th Int. Conf. Integrated Manufacturing Automat. Technol., Oct. 1994, pp. 319-324.
3. F. Charbonnier, H. Alla, and R. David, "The supervised control of discrete-event dynamic systems: A new approach," in 34th Conf. Decision Contr., New Orleans, Dec. 1995.
4. F. Charbonnier, "Commande supervisée des systèmes à evénements discrets," doctoral dissertation, Institut National Polytechnique de Grenoble, Grenoble, France, Jan. 1996.
5. R. David and H. Alla, Petri Nets and Grafcet: Tools for Modeling Discrete-Event Systems. Englewood Cliffs, NJ: Prentice-Hall, 1992.
6. R. David, "Grafcet: A powerful tool for specification of logic controllers," IEEE Trans. Contr. Syst. Technol., vol. 3, pp. 253-268, Sept. 1995.
7. _, "Petri nets and Grafcet for specification of logic controllers," in IFAC Congr., Sydney, Australia, July 1993, vol. 3, pp. 335-340.
8. C. H. Golaszewski and P. J. Ramadge, "Control of discrete-event processes with forced events," in 28th Conf. Decision Contr., Los Angeles, Dec. 1987, pp. 247-251.
9. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison-Wesley, 1979.
10. IEC, International Electrotechnic Commission, "Preparation of function chart for control systems," publication 848, 1988.
11. B. H. Krogh and L. E. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems," Automatica, pp. 514-523, July 1991.
12. R. Kumar, "Supervisory synthesis techniques for discrete-event dynamical systems," Ph.D. dissertation, Univ. Texas, Austin, Aug. 1991.
13. F. Lin and W. M. Wonham, "Decentralized control and coordination of discrete-event systems with partial observation," IEEE Trans. Automat. Contr., vol. 35, pp. 1330-1337, Dec. 1990.
14. C. A. Petri, "Kommunikation mit Automaten, Schriften des Rheinisch, Westfalischen Institutes für Intrumentelle Mathematik and der Universität Bonn," 1962, translation by C. F. Greene, Applied Data Research Inc., New York, Suppl.1 to Tech. Rep. RADC-TR-65-337, 1965.
15. J. G. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete-event processes," SIAM J., Contr. Optimization, vol. 25, pp. 206-230, Jan. 1987.
16. _, "The control of discrete-event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
17. W. M. Wonham and J. G. Ramadge, "On the supremal controllable sublanguage of a given language," Siam J. Contr. Optimization, vol. 25, pp. 637-659, May 1987.
18. _, "Modular supervisory control of discrete-event systems," Math. Contr., Signals, Syst., vol. 1, no. 1, pp. 13-30, Jan. 1998.
19. H. Zhong and W. M. Wonham, "On consistency of hierarchical supervision of discrete-event systems," IEEE Trans. Automat. Contr., vol. 35, pp. 1125-1134, 1990.