Supervisory Control for Deadlock Avoidance in Compound Processes

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 34, Issue 1, 2004, Pages 52-64

  Roszkowska, Elzbieta ^a  

^a WROCLAW UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

Assembly disassembly process; Deadlock avoidance; Discrete event system; Supervisory control

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; GRAPHIC METHODS; MACHINING; MATHEMATICAL MODELS; RESOURCE ALLOCATION; ROBOTS; STOCHASTIC CONTROL SYSTEMS; SYNCHRONIZATION;

ASSEMBLY/DISASSEMBLY PROCESS; DEADLOCK AVOIDANCE; DISCRETE EVENT SYSTEMS; SUPERVISORY CONTROL;

COMPUTER SYSTEM RECOVERY;

EID: 0742290179     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2003.820572     Document Type: Article

References (21)

1. M.M. Andreasen and T. Ahm, Flexible Assembly Systems. NewYork: IFS Springer-Verlag, 1988.
2. Y. Dallery, Z. Liu, and D. Towsley, "Equivalence relations in queueing models of fork/join networks with blocking," Perform. Eval., vol. 10, pp. 233-245, 1989.
3. _, "Equivalence, reversibility, symmetry and concavity properties of fork/join networks with blocking," J. ACM, vol. 41, no. 5, pp. 903-942, 1994.
4. J. Esparza, "Decidability and complexity of Petri net problems - An introduction," in Lectures on Petri Nets I: Basic Models. Advances in Petri Nets. NewYork: Springer-Verlag, 1998, vol. 1491, Lecture Notes in Computer Science.
5. J. Esparza and M. Nielsen, "Decibility issues for Petri nets - A survey," J. Informatik Process, Cybern., vol. 30, no. 3, pp. 143-160, 1994.
6. M. P. Fanti, B. Maione, and B. Turchiano, "Event control for deadlock avoidance in assembly systems," in Proc. IEEE Int. Conf. Syst., Man, Cybern., 1997.
7. _, "Design and implementation of supervisors avoiding deadlocks in flexible assembly systems," in Proc. IEEE-SMC Multiconf. Computat. Eng. Syst. Applicat., 1998.
8. M. R. Garey and D. S. Johnson, A Guide to the Theory of NP-Completeness. San Francisco, CA: W. H. Freeman, 1979.
9. D. N. Hall and K. E. Stecke, "Design problems of flexible assembly systems," in Proc. 2nd ORSA/TIMS Conf. FMS: Oper. Res. Models and Applicat., K. E. Stecke and R. Suri, Eds., 1986, pp. 145-156.
10. J. Blazewicz, D. P. Bovet, J. Brzezinski, G. Gambosi, and M. Talamo, "Optimal centralized algorithms for store-and-forward deadlock avoidance," IEEE Trans. Comput., vol. 43, pp. 1333-1338, Nov. 1994.
11. V. S. Kouikoglou, "Optimal rate allocation in unreliable assembly/disassembly production networks with blocking," in Proc. IEEE Int. Conf. Robotics Automat., 1999, pp. 1126-1131.
12. M. A. Lawley and S. A. Reveliotis, "Deadlock avoidance for sequential resource allocation systems: Hard and easy cases," The Int. J. FMS, vol. 13, no. 4, pp. 385-404, 2001.
13. K. Ogata, State Space Analysis of Control Systems. Englewood Cliffs, NJ: Prentice-Hall, 1967.
14. C. Paik and D. Tcha, "Throughput equivalencies in fork/join queueing networks with finite buffers and general service times," Int. J. Prod. Res., vol. 33, no. 3, pp. 695-703, 1995.
15. E. Roszkowska, "Deadlock avoidance in concurrent compound pipeline processes," Archives Comput. Sci. Software Eng. (Arch. Inform. Teoret. Stosowanej), vol. 2, pp. 227-242, 1990.
16. _, "CAST tools for automatic FMS dynamics models synthesis," in Computer Aided Systems Theory. New York: Springer-Verlag, 1992, vol. 585, Lecture Notes on Computer Science, pp. 412-421.
17. E. Roszkowska and R. Wójcik, "Problems of process flow feasibility in FAS," in CIM in Process and Manufacturing Industries. Oxford, U.K.: Pergamon, 1993, pp. 115-120.
18. P. Valckenaers, H. V. Brussel, L. Bongaerts, and F. Bonneville, "Programming, scheduling, and control of flexible assembly systems," Comput. Ind., vol. V26, no. N3, pp. 209-218, 1995.
19. J. Wyns, "Reference architecture for holonic manufacturing systems-The key to support evolution and reconfiguration," Ph.D dissertation, K.U. Leuven, Leuven, Belgium, 1999.
20. M. Zhou, Z. Wang, and D. L. Guo, "Deadlock avoidance in a five-robot-five-assembly-line system: Petri net modeling and analysis," in Proc. IFAC Workshop Discrete Event Syst. Theory Applicat. Manuf. Social Phenomena, 1991, pp. 123-128.
21. Flexible Assembly Testbed. [Online], Available: http://www.mech.kuleuven.ac.be/pma/project/goa/testb1.html