Nonblocking coordination of discrete-event systems by control-flow nets

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2007, Pages 3375-3380

  Feng, Lei ^a   Wonham, W M ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ASYMPTOTIC STABILITY; COMPUTATIONAL METHODS; ROBUST CONTROL; STATE SPACE METHODS;

CONTROL-FLOW NET; CONTROL-FLOW NETS; INTERCONNECTION RELATIONSHIPS; NONBLOCKING SUPERVISORY CONTROL;

DISCRETE EVENT SIMULATION;

EID: 62749093242     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2007.4434160     Document Type: Conference Paper

References (12)

1. H. Cho, T. Kumaran, and R. Wysk. Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 11(3):413-421, June 1995.
2. M. Fanti, B. Maione, S. Mascolo, and B. Turchiano. Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Transactions on Robotics and Automation, 13(3):347-363, 1997.
3. M. Fanti, B. Maione, and B. Turchiano. Event control for deadlock avoidance in production systems with multiple capacity resources. Studies in Informatics and Control, 7(4):343-364, 1998.
4. M. Fanti and M. Zhou. Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 34(1):5-22, 2004.
5. L. Feng. Computationally Efficient Supervisor Design for Discrete-Event Systems. PhD thesis, Electrical and Computer Engineering, University of Toronto, Toronto, ON, Canada, November 2007. http://www.control. utoronto.ca/~fenglei.
6. L. Feng and W. Wonham. Computationally efficient supervisor design: Control flow decomposition. In WODES06, pages 9-14, Ann Arbor, MI, July 2006.
7. Z. Huang and Z. Wu. A new distributed deadlock avoidance strategy for flexible manufacturing systems using digraph models. In WODES06, pages 276-281, Ann Arbor, MI, July 2006.
8. M. Lawley. Deadlock avoidance for production systems with flexible routing. IEEE Transactions on Robotics and Automation, 15(3):497-509, June 1999.
9. M. Lawley. Integrating flexible routing and algebraic deadlock avoidance policies in automated manufacturing systems. International Journal of Production Research, 38(13):2931-2950, 2000.
10. Z. Li and M. Zhou. 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, 2004.
11. W. Wonham. Supervisory Control of Discrete-Event Systems. Department of Electrical and Computer Engineering, University of Toronto, 2002-2007, http://www.control.toronto.edu/DES, Updated July 1 2007.
12. R. Wysk, N. Yang, and S. Joshi. Detection of deadlocks in flexible manufacturing cells. IEEE Transactions on Robotics and Automation, 7(6):853-859, December 1991.