Supervisory control of multiworkcell manufacturing systems with shared resources

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 30, Issue 5, 2000, Pages 668-683

  Ramirez Serrano, Alejandro ^b   Benhabib, Beno ^a,b  

^a IEEE   (Canada)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE EVENT SYSTEMS; MULTIWORKCELL MANUFACTURING SYSTEMS; SHARED RESOURCES;

ALGORITHMS; CELLULAR MANUFACTURING; COMPUTATIONAL LINGUISTICS; COMPUTER SYSTEM RECOVERY; CONTROL SYSTEM ANALYSIS; DISCRETE TIME CONTROL SYSTEMS; FINITE AUTOMATA; FLEXIBLE MANUFACTURING SYSTEMS; MATHEMATICAL MODELS; SCADA SYSTEMS; SET THEORY;

CONTROL SYSTEM SYNTHESIS;

EID: 0034295820     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.875444     Document Type: Article

References (25)

1. F. L. Lewis, O. C. Pastravanu, and H.-H. Hung, "Controller design and conflict resolution for discrete event manufacturing systems," in IEEE Int. Conf. Decision and Control, San Antonio, TX, Dec. 1993, pp. 3288-3293.
2. M.-C. Zhou, F. DiCesare, and A. Desrochers, "A hybrid methodology for the synthesis of Petri net models for manufacturing systems," IEEE Trans. Robot. Automat., vol. 8, pp. 350-361, June 1992.
3. M. D. Jeng and F. DiCesare, "Synthesis using resource control nets for modeling shared-resource systems," IEEE Trans. Robot. Automat., vol. 11, pp. 317-327, June 1995.
4. N. Wu, "Avoiding deadlocks in automated manufacturing systems with shared material handling system," in IEEE Conf. Robot. Automat., Albuquerque, NM, Apr. 1997, pp. 2427-2432.
5. D. M. Dilts, N. P. Boyd, and H. H. Whorms, "The evolution of control architectures for automated manufacturing systems," J. Manufact. Syst., vol. 10, no. 1, pp. 79-93, 1991.
6. W. M. Wonham and P. J. Ramadge, "Modular supervisory control of discrete-event systems," J. Math. Contr., Signals, Syst., vol. 1, pp. 13-30, 1988.
7. M. J. Shaw, "Dynamic scheduling in cellular manufacturing systems: A framework for networked decision making," J. Manufact. Syst., vol. 7, no. 2, pp. 83-94, 1988.
8. N. Duan, "Extended Moore machines network model for discrete event control of flexible manufacturing systems," Ph.D. dissertation, Dept. Ind. Manufact. Syst., Pennsylvania State Univ., University Park, 1993.
9. N. Duan, S. R. T. Kumara, and D. J. Madeiros, "EMM-network model for FMS modeling, simulation and control," in 2nd Ann. Conf. AI, Simulation and Planning in High Autonomy Systems, Cocoa Beach, FL, Apr. 1991, pp. 253-262.
10. P. J. G. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event systems," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, Jan. 1987.
11. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison-Wesley, 1979.
12. R. A. Johnson, "Registered-output FSM's synchronize outputs to state transitions," Softw. Syst., vol. 43, no. 12, pp. 173-178, June 1998.
13. J. Caroll and D. Long, Theory of Finite Automata: with an Introduction to Formal Languages. Englewood Cliffs, NJ: Prentice-Hall, 1989.
14. A. Ramirez-Serrano, C. Sriskandarajah, and B. Benhabib, "Control of flexible-manufacturing workcells using extended Moore automata," in IEEE Int. Conf. Robot. Autom. (ICRA'99), Detroit, MI, May 1999, pp. 120-125.
15. E. Chen and S. Lafortune, "Dealing with blocking in supervisory control of discrete event systems," in IEEE Conf. Decision and Control, Tampa, FL, Dec. 1989, pp. 117-122.
16. S. A. Reveliotis and P. F. Ferreira, "Deadlock avoidance policies for automated manufacturing cells," IEEE Trans. Robot. Automat., vol. 12, pp. 846-857, Dec. 1996.
17. Y.-T. Leung and G.-J. Sheen, "Resolving deadlocks in flexible manufacturing cells," J. Manufact. Syst., vol. 12, no. 4, pp. 291-304, 1993.
18. J. O. Moody and P. J. Antsaklis, "Deadlock avoidance in Petri nets with uncontrollable transitions," in Amer. Control Conf., Philadelphia, PA, June 1998, pp. 1257-1258.
19. H.-H. Huang, F. L. Lewis, and D. A. Tacconi, "Deadlock analysis using a new matrix-based controller for reentrant flow line design," in Proc. Industrial Electronics Conf. (CIECON'96), vol. 1, Los Alamitos, CA, 1996, pp. 463-468.
20. K. Barkaoui and I. B. Abdallah, "Deadlock avoidance in FMS based on structural theory of Petri nets," in IEEE Symp. Emerging Technologies and Factory Automation, vol. 2, Piscataway, NJ, 1995, pp. 499-510.
21. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 173-184, Apr. 1995.
22. B. A. Brandin, W. M. Wonham, and B. Benhabib, "Manufacturing cell supervisory control - A timed discrete event system approach," in IEEE Conf. Robot. Automat., Nice, France, 1992, pp. 931-936.
23. F. Lin and W. M. Wonham, "On observability of discrete event systems," J. Inform. Sci., vol. 44, no. 3, pp. 174-198, 1988.
24. _, "Decentralized control and coordination of discrete-event systems with partial observation," IEEE Trans. Automat. Contr., vol. 35, pp. 1330-1337, Dec. 1990.
25. A. Ramirez-Serrano, S. C. Zhu, and B. Benhabib, "Moore automata for flexible routing and flow control in manufacturing workcells," in IEEE Int. Symp. Computational Intelligence in Robot. and Automation (CIRA'99), Monterey, CA, Nov. 1999, pp. 119-124.