The supervisory control of the automated manufacturing system of the AIP

Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994

Volumn , Issue , 1994, Pages 319-324

  Brandin, Bertil A ^a   Charbonnier, Francois E ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b Batiment ENSIEG ^*  (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CONTROL SYSTEMS; SPECIFICATIONS;

AUTOMATED MANUFACTURING SYSTEMS; AUTOMATON MODEL; BEHAVIOURAL SPECIFICATIONS; INDUSTRIAL CONTROL SYSTEMS; MODULAR SUPERVISION; PARTIAL OBSERVATION; SUPERVISORY CONTROL; SUPERVISORY CONTROL SYSTEMS;

COMPUTER INTEGRATED MANUFACTURING;

EID: 85031820262     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CIMAT.1994.389054     Document Type: Conference Paper

References (11)

1. B.A. Bdi . The Supervisory Control of an Experimental Manufacturing Cell,SCG Report 94.04, Department of Electrical and Computer Engineering,University of Tomnto. April 94.
2. B.A. Brandin, The Supervisory Control of the Automated Manufacturing System of the AIP,SCG Report 9405, Department of Electrical and Computer Engineering. University of Tomnto. April 94.
3. B. A. Brandin, W. M. Wonhem, "The supervisory control of timed discreteevent systems", IEEE TranractionS on Automatic Control, Vol. 39, No. 2, February 1994, pp. 329-342
4. B. A. Brandin, W. M. Wonham, "Modular supervisory control of timed discreteevent systems", 1993 IEEE Control and Decision Conference, San Antonio, December 1993. pp. 2230-2235.
5. B. A. Brandin, W.M. Wonham and B. Benhabib, "Manufacturing cell supervisory control - a modular timed discreteevent system approach", 1993 IEEE internationalConference on Robotics and Automation, Atlanta, May 1993, pp. 846-851.
6. E. Coste-Manire,B. Espiau, and E. Rutten, "A task level robot programming languageand its reactive execution", 1992lEEE Intemational Conference on R o M a and Automation, Nice, May 1992,pp. 2751-2756.
7. R. David, H. Alla, "Petri nets and Grafcet", F'renticeHall, 1992.
8. R. David, H.All "Autonomous and timed continous Petri nets", I Ith lntemationalConference on Application and Theory of Petri Nets, Paris,June 1990.
9. Ci. Michel, "prognunmable Logic Controllers - Architecture and Application", Wiley 1990.
10. IP. J. Ramadge and W. M. Wonham,"The control of discreteevent systems", IEEEProceedings, Vol. 77, No. 1, January 1989, pp. 81-98.
11. J W. M. Wonham and P. J. Ramadge,"Modular supervisory control of discrete event systems", Maths. of Control, Signals and Systems, Vol. 1, NO.1, 1988, pp. 13-30.