Synthesis and implementation of local modular supervisory control for a manufacturing cell

Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

Volumn , Issue , 2002, Pages 377-382

  De Queiroz, M H ^a   Cury, J E R ^a  

^a FEDERAL UNIVERSITY OF SANTA CATARINA   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE EVENT SIMULATION; LADDER NETWORKS; MANUFACTURE; QUALITY CONTROL; SUPERVISORY PERSONNEL;

BEHAVIORAL SPECIFICATION; CODE READABILITY; MODULAR APPROACH; MODULAR SUPERVISORY CONTROL; PROGRAMMABLE LOGIC CONTROLLERS (PLC); STATE-SPACE EXPLOSION; SUPERVISORY CONTROL THEORY; THEORETICAL MODELING;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 84936761388     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2002.1167714     Document Type: Conference Paper

References (17)

1. Balemi, S., G.J. Hoffmann, P. Gyugyi, H. Wong-Toi and G.F. Franklin (1993). Supervisory control of a rapid thermal multiprocessor. IEEE Trans. on Automatic Control, 38(7):1040-1059.
2. Brandin, B.A. (1996).The real-time supervisory control of an experimental manufacturing cell. IEEE Trans. Robotics and Autom., 12(1):1-14.
3. Bryant, R.E. (1986). Graph-based algorithms for boolean function manipulation. IEEE Trans. Comp., vol. C-35, pp. 677-691.
4. Charbonnier, F., H. Alla and R. David (1999). The supervised control of DEDSs. IEEE Trans. on Control System Technology, 7(2):175-187
5. Cunha, A.E.C. da, J.E.R. Cury and B. H. Krogh (2002). An assume-guarantee reasoning for hierarchical coordination of DESs. Proc. of the WODES'02, Saragossa, Spain.
6. Eyzell, J.M. and J.E.R. Cury (1998). Exploiting symmetry in the synthesis of supervisors for DES. Proc. ACC, Philadelphia, USA.
7. Fabian, M. and A. Hellgren (1998). PLC-based implementation of supervisory control for discrete event systems. Proc. of the 37th CDC. Tampa, USA.
8. ISO/IEC (1993). International Standard IEC 61131-3, Programmable Controllers-Part 3.
9. Leduc, R.J. (1996). PLC Implementation of a DES Supervisor for a Manufacturing Testbed: An Implementation Perspective. M.A.Sc. Thesis, Dept. of Elec. and Comp. Eng., University of Toronto, Canada.
10. Queiroz, M.H. de and J.E.R. Cury (2000a). Modular control of composed systems. Proc. of the ACC. Chicago, USA.
11. Queiroz, M.H. de and J.E.R. Cury (2000b). Modular supervisory control of large scale discrete-event systems. In: Discrete Event Systems: Analysis and Control. Kluwer Academic Publishers, pp. 103-110. (Proc. WODES 2000, Ghent, Belgium)
12. Queiroz, M.H. de and J.E.R. Cury (2002). Controle supervisório modular de sistemas de manufatura. Revista controle & automacąõ, SBA. To appear.
13. Ramadge, P.J. and W.M. Wonham (1989). The control of discrete event systems. Proceedings IEEE, Special Issue on DEDS, 77(1):81-98.
14. Vaz, A.F. and W.M. Wonham (1986). On supervisor reduction in discrete-event systems. International Journal of Control, 44(2):475-491.
15. Wonham, W.M. (2001). Notes on Control of Discrete-Event Systems. Dept. of Elec. and Comp. Eng., University of Toronto.
16. Wonham, W.M. and P.J. Ramadge (1988). Modular supervisory control of DESs. Mathematics of control of discrete event systems, 1(1):13-30.
17. Zhong, H. and W.M. Wonham (1990). On the Consistency of Hierarchical Supervision in Discrete-Event Systems. IEEE Trans. on Aut. Control, 35(10):1125-1134.