Computationally efficient supervisor design: Control flow decomposition

Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006

Volumn , Issue , 2006, Pages 9-14

  Feng, Lei ^a   Wonham, W M ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL EFFICIENCY; INTERCONNECTION NETWORKS; LOGIC DESIGN; SPECIFICATIONS;

CONTROL FLOW NET; MODELING TOOLS; SUPERVISOR DESIGN;

DISCRETE EVENT SIMULATION;

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

References (15)

1. Cassandras, C.G. and Lafortune, S. 1999. Introduction to Discrete Event Systems. Kluwer.
2. Fanti, M.P. and Zhou, M.C. 2004. Deadlock Control Methods in Automated Manufacturing Systems. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 34(1): 5-22.
3. Feng, L. and Wonham, W.M. 2006. Computationally Efficient Supervisor Design: Abstraction and Modularity. WODES 2006.
4. Holloway, L.E., Krogh, B.H., and Giua, A. 1997. A Survey of Petri Net Methods for Controlled Discrete Event Systems. Discrete Event Dynamic Systems: Theory and Applications, 7(2): 151-190.
5. Leduc, R.J, Brandin, B.A., Lawford, M., and Wonham, W.M. 2005. Hierarchical Interface-Based Supervisory Control-Part I: Serial Case. IEEE Transactions on Automatic Control, 50(9): 1322-1335.
6. Leduc, R.J., Lawford, M, and Wonham, W.M. 2005. Hierarchical Interface-Based Supervisory Control-Part II: Parallel Case. IEEE Transactions on Automatic Control, 50(9): 1336-1348.
7. Li, Z.W. and Zhou, M.C. 2004. Elementary Siphons of Petri Nets and Their Application to Deadlock Prevention in Flexible Manufacturing Systems. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 34(1): 38-51.
8. de Queiroz, M.H. and Cury, J.E.R. 2000. Modular Control of Composed Systems. Proceedings of the American Control Conference, Chicago, Illinois, 4051-4055.
9. Rohloff, K. and Lafortune, S. 2002. On the Computational Complexity of the Verification of Modular Discrete-Event Systems. Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, Nevada, 16-21.
10. Rohloff, K. and Lafortune, S. 2003. Supervisor Existence for Modular Discrete-Event Systems. Proceedings of the 2nd IFAC Conference on Control Systems Design, Bratislava, Slovakia.
11. Wong, K.C. and Wonham, W.M. 1996. Hierarchical Control of Discrete-Event Systems. Discrete Event Dynamic Systems: Theory and Application, 6(3): 241-273.
12. Wong, K.C. and Wonham, W.M. 1998. Modular Control and Coordination of Discrete-Event Systems. Discrete Event Dynamic Systems: Theory and Application, 8(3): 247-297.
13. Wong, K.C. and Wonham, W.M. 2004. On the Computation of Observers in Discrete-Event Systems. Discrete Event Dynamic Systems: Theory and Application, 14(1): 55-107.
14. Wonham, W.M. 2005. Supervisory Control of Discrete-Event Systems, Department of Electrical and Computer Engineering, University of Toronto, http://www.control.toronto.edu/DES.
15. Zhou, M.C. and DiCesare, F. 1993. Petri Net Synthesis For Discrete Event Control of Manufacturing Systems. Kluwer Academic Publishers, USA.