Scalable and maximally-permissive deadlock avoidance for FMS

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 1, Issue , 1998, Pages 580-585

  Kumar, P ^a   Kothandaraman, K ^a   Ferreira, P ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

Deadlock Avoidance; Discrete Event Dynamic Systems; Flexible Manufacturing Systems; Supervisory Control of Manufacturing Systems

Indexed keywords

RESOURCE ALLOCATION; ROBOTICS; TELECOMMUNICATION SERVICES; DISCRETE TIME CONTROL SYSTEMS; SCADA SYSTEMS;

BUFFERING CAPACITIES; DEADLOCK AVOIDANCE; DEADLOCK DETECTION; DEADLOCK FREE; DISCRETE EVENT DYNAMIC SYSTEMS; RESOURCE ALLOCATION SYSTEMS; STORAGE AND TRANSPORTATIONS; SUPERVISORY CONTROL;

FLEXIBLE MANUFACTURING SYSTEMS;

DEADLOCK AVOIDANCE; DISCRETE EVENT DYNAMIC SYSTEMS (DEDS);

EID: 0031635439     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROBOT.1998.677035     Document Type: Conference Paper

References (17)

1. M. Lawley, Structural Analysis and Control of Flexible Manufacturing Systems. PhD thesis, University of Illinois at Urbana-Champaign, 1995.
2. S. Reveliotis, Structural Analysis and Control of Flexible Manufacturing Systems with a Performance Perspective. PhD thesis, University of Illinois at Urbana-Champaign, 1996.
3. J. Peterson, Operating System Concepts. Addison-Wesley, 1981.
4. M. Garey and D. Johnson, Computers and Intractability : A Guide to the Theory of NP-Completeness. New York: W.H. Freeman and Co., 1979.
5. E. Gold, "Deadlock prediction : Easy Bind difficult cases, " SIAM Journal of Computing, vol. 7, pp. 320-336, 1978.
6. T. Araki, Y. Sugiyama, and T. Kasami, "Complexity of the deadlock avoidance problem, " in 2nd IBM Symposium on Mathematical Foundations of Computer Science, (IBM), pp. 229-257, 1977.
7. M. Lawley, S. Reveliotis, and P. Ferreira, "Design guidelines for deadlock handling strategies in flexible manufacturing systems, " Intl. Jrnl. of Flexible Manufacturing Systems, vol. 9, pp. 5-30, 1997.
8. S. Reveliotis and P. Ferreira, "Deadlock avoidance policies for automated manufacturing cells, " IEEE Trans, on Robotics and Automation, vol. 12, pp. 845-857, 1996.
9. S. Reveliotis, M. Lawley, and P. Ferreira, "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems, " IEEE Trans, on Automatic Control, vol. 42, pp. 1344-1357, 1997.
10. Z. Banaszak and B. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing flows, " IEEE Trans, on Robotics and Automation, vol. 6, pp. 724-734, 1990.
11. M. Lawley, S. Reveliotis, and P. Ferreira, "FMS structural control and the neighborhood policy: Part 1 and 2, " HE Trans, on Design and Mfg., 1997, (to appear).
12. F. Hseih and S. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems, " IEEE Trans, on Robotics and Automation, vol. 10, pp. 196-209, 1994.
13. M. Fanti, B. Maione, S. Mascolo, and B. Turchi-ano, "Event-based feedback control for deadlock avoidance in flexible production systems, " IEEE Trans, on Robotics and Automation, vol. 13, pp. 347-363, 1997.
14. R. Wysk, N. Yang, and S. Joshi, "Detection of deadlocks in flexible manufacturing systems, " IEEE Trans, on Robotics and Automation, vol. 7, pp. 853-859, 1991.
15. R. Wysk, N. Yang, and S. Joshi, "Resolution of deadlocks in flexible manufacturing systems: Avoidance and recovery approaches, " Journal of Manufacturing Systems, vol. 13, pp. 128-138, 1994.
16. H. Cho, T. Kumaran, and R. Wysk, "Graph-theoretic deadlock detection and resolution for flexible manufacturing systems, " IEEE Trans, on Robotics and Automation, vol. 11, pp. 413-421, 1995.
17. N. Viswandham, Y. Narahari, and T. Johnson, "Deadlock avoidance in flexible manufacturing systems using petri net models, " IEEE Trans. on Robotics and Automation, vol. 6, pp. 713-722, 1990.