Computationally efficient supervisor design: Abstraction and modularity

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

Volumn , Issue , 2006, Pages 3-8

  Feng, Lei ^a   Wonham, W M ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL EFFICIENCY; LOGIC DESIGN; VERIFICATION;

HIERARCHICAL STRUCTURE; MODULAR STRUCTURE;

DISCRETE EVENT SIMULATION;

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

References (19)

1. Cassandras, C.G. and Lafortune, S. 1999. Introduction to Discrete Event Systems. Kluwer.
2. Feng, L. Computationally Efficient Supervisor Design. Ph.D. Thesis, In Preparation, Electrical and Computer Engineering, University of Toronto.
3. Feng, L. and Wonham, W.M. 2006. Computationally Efficient Supervisor Design: Control Flow Decomposition. WODES 2006.
4. Gohari, P. and Wonham, W.M. 2000. On the Complexity of Supervisory Control Design in the RW Framework. IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics, 30(5): 643-652.
5. Holloway, L.E. and Krogh, B.H. 1990. Synthesis of Feedback Logic Control for A Class of Controlled Petri Nets. IEEE Transactions on Automatic Control, 35(5): 514-523.
6. 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.
7. 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.
8. Lee, S.H. and Wong, K.C. 2002. Structural Decentralized Control of Concurrent Discrete-Event Systems. European Journal of Control, 8(5): 477-491.
9. 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.
10. 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.
11. Schmit, K., Reger, J., and Moor, T. 2004. Hierarchical Control for Structural Decentralized DES. WODES04, 289-294.
12. Schmit, K., Moor, T., and Perk, S. 2005. A Hierarchical Architecture for Nonblocking Control of Decentralized Discrete Event Systems. Proceedings of the 13th Mediterranean Conference on Control and Automation, 902-907.
13. Su, R. and Wonham, W.M. 2004. Supervisor Reduction for Discrete-Event Systems. Discrete Event Dynamic Systems: Theory and Application, 14(1): 31-53.
14. Willner, Y. and Heymann, M. 1991. On Supervisory Control of Concurrent Discrete-Event Systems. International Journal of Control, 54(5): 1143-1169.
15. Wong, K.C. 1998. On the Complexity of Projections of Discrete-Event Systems, Proceedings of the Fourth Workshop on Discrete Event Systems, WODES98, 201-206.
16. 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.
17. 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.
18. Wonham, W.M. 2005. Supervisory Control of Discrete-Event Systems, Department of Electrical and Computer Engineering, University of Toronto, http://www.conttol.toronto.edu/DES.
19. Zhong, H. and Wonham, W.M. 1990. On the Consistency of Hierarchical Supervision in Discrete-Event Systems. IEEE Transactions on Automatic Control, 35(10): 1125-1134.