Deadlock Avoidance Control Synthesis in Manufacturing Systems Using Model Checking

Proceedings of the American Control Conference

Volumn 2, Issue , 2003, Pages 1702-1703

  Wang, Yin ^a   Wu, Zhiming ^a  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

POLYNOMIALS; RESOURCE ALLOCATION; TREES (MATHEMATICS);

DEADLOCK AVOIDANCE;

CONTROL SYSTEMS;

EID: 0142231378     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. M. A. Lawley, "Deadlock Avoidance for Production Systems with Flexible Routing", IEEE Trans. on Robot. Automat., vol. 15, pp. 497-509, Jun 1999.
2. M. A. Lawley and W. Sulistyono, "Robust Supervisory Control Policies for Manufacturing Systems With Unreliable Resources", IEEE Trans. on Robot. Automat., vol. 18, pp.346-359, June 2002.
3. M. A. Lawley and S. A. Reveliotis, "Deadlock Avoidance for Sequential Resource Allocation Systems: Hard and Easy Cases", Intl. Jrnl of FMS, vol. 13, pp. 385-404, 2001.
4. S. A. Reveliotis, M. A. Lawley and P. M. Ferreira, "Polynomial Complexity Deadlock Avoidance Policies for Sequential Resource Allocation Systems" IEEE Trans. on Automat Control, vol.42, pp.1344-1357, 1997.
5. R. Lipset, R. P. Judd, P. E. Deering, W. Zhang and J. Caw, "Classification of Part Movements for Deadlock Avoidance in Manufacturing Systems", Proceedings of the ACC, pp. 1971-1975, June 1999
6. R. Lipset, R. P. Judd and W. Zhang, "Deadlock Avoidance in Manufacturing Systems with Non-Deterministic Part Routings", Proceedings of the ACC, pp. 4930-4936, June 2001.
7. R. P. Judd, W. Zhang and R. Lipset, "Deadlock Avoidance in Manufacturing Systems with a Multiple Resource Request Model", Proceedings of the ACC, pp. 4443-4448, May 2002.
8. Edmund M. Clarke, Orna Grumberg, and Doron A. Peled, Model Checking. Cambridge, Massachusetts: MIT Press, 1999
9. V. H. Garmhausen and E. M. Clarke, "Deadlock Prevention in Flexible Manufacturing Systems Using Symbolic Model Checking," Proceedings of IEEE Inter. Conf. on Robot. and Automat., pp. 527-532, April 1996
10. SMV: http://www-cad.eecs.berkeley.edu/̃kenmcmil/smv/.
11. J. O. Moody and P. J. Antsaklis, "Deadlock Avoidance in Petri Nets with Uncontrollable Transitions", Proceedings of the ACC, pp. l257-1258, June 1998.
12. F. Hsieh, "Reconfigurable Fault Tolerant Deadlock Avoidance Controller Synthesis for Assembly Production Processes", Proc. of IEEE Conf. On Man, Systems and Cybernetics, pp.3045-3050, 2000.
13. F. Hsieh, "Deadlock Avoidance Algorithms for Assembly Processes with Unreliable Resources", Proc. of IEEE Conf. On Man, Systems, and Cybernetics, pp. 1960-1965, 2001.