Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory

IEEE International Conference on Automation Science and Engineering

Volumn , Issue , 2011, Pages 405-412

  Nazeem, Ahmed ^a   Reveliotis, Spyros A ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSIFICATION THEORY; COMPUTATIONAL TRACTABILITY; DEADLOCK AVOIDANCE; ONLINE COMPUTATIONS; RESOURCE ALLOCATION SYSTEMS; STATE SPACE; TRADE OFF;

POLYNOMIALS;

RESOURCE ALLOCATION;

EID: 82455172144     PISSN: 21618070     EISSN: 21618089     Source Type: Conference Proceeding    
DOI: 10.1109/CASE.2011.6042400     Document Type: Conference Paper

References (12)

1. Z. A. Banaszak and B. H. Krogh. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. on Robotics and Automation, 6:724-734, 1990.
2. C. G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems (2nd ed.). Springer, NY,NY, 2008.
3. J. Ezpeleta, J. M. Colom, and J. Martinez. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. on R&A, 11:173-184, 1995.
4. A. Ghaffari, N. Rezg, and X. Xie. Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Trans. on Robotics & Automation, 19:137-141, 2003.
5. Y.S. Huang. Deadlock prevention for sequence resource allocation systems. Journal of Information Science and Engineering, 23(1):215-231, 2007.
6. Y.S. Huang, M.D. Jeng, X. Xie, and D.H. Chung. Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 36(6):1248-1256, 2006. (Pubitemid 44680571)
7. M. A. Lawley and S. A. Reveliotis. Deadlock avoidance for sequential resource allocation systems: hard and easy cases. Intl. Jrnl of FMS, 13:385-404, 2001.
8. A. Nazeem, S. Reveliotis, Y. Wang, and S. Lafortune. Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: the linear case. IEEE Transactions on Automatic Control (to appear).
9. G.L. Nemhauser and L.A. Wolsey. Integer and combinatorial optimization. Wiley, New York, 1988.
10. P. J. G. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77:81-98, 1989.
11. S. A. Reveliotis and P. M. Ferreira. Deadlock avoidance policies for automated manufacturing cells. IEEE Trans. on Robotics &Automation, 12:845-857, 1996.
12. M. Uzam. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. Intl. Jrnl of Advanced Manufacturing Technology, 19:192-208, 2002. (Pubitemid 34268717)