Automata-based modeling and control synthesis for manufacturing workcells with part-routing flexibility

IEEE Transactions on Robotics and Automation

Volumn 16, Issue 6, 2000, Pages 807-823

  Ramirez Serrano, Alejandro ^b   Sriskandarajah, Chellia ^a,c   Benhabib, Beno ^a,d  

^a IEEE

^b ABB CORPORATE RESEARCH   (Sweden)

^c UNIVERSITY OF TEXAS AT DALLAS   (United States)

^d UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; DISCRETE TIME CONTROL SYSTEMS; FLEXIBLE MANUFACTURING SYSTEMS; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; OPTIMIZATION;

EXTENDED MOORE AUTOMATA (EMA) SYSTEMS;

CELLULAR MANUFACTURING;

EID: 0034474683     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.897791     Document Type: Article

References (54)

1. D.D. Yao, "Flexible parts routing in manufacturing systems," IIE Transactions, vol. 22, no. 1, pp. 48-55, 1990.
2. M. Sobh, J. C. Owen, K. P. Valavanis, and D. Gracanin, "A subject-index bibliography of discrete event dynamic systems," IEEE Robot. Automat. Mag., vol. 1, pp. 14-20, June 1994.
3. X. Cao and Y.-C. Ho, "Models of discrete event dynamic systems," IEEE Contr.I Syst. Mag., vol. 10, no. 4, pp. 69-76, June 1990.
4. M. Sobh and B. Benhabib, "Discrete event and hybrid systems in robotics and automation: An overview," IEEE Robot. Automat. Mag., vol. 4, pp. 16-19, June 1997.
5. J. S. Ostroff, "Deciding properties of timed transition models," IEEE Trans. Parall. Distrib. Syst., vol. 1, no. 2, pp. 170-183, 1990.
6. F. Lin, "Analysis and synthesis of discrete event systems using temporal logic," Contr. Theory Adv. Technol., vol. 9, no. 1, pp. 341-350, Mar. 1993.
7. J. S. Ostroff, "Synthesis of controllers for real-time discrete event systems," in Proc. 28th Conf. Decision and Control, Tampa, FL, Dec. 1989, pp. 138-144.
8. C. A. R. Hoare, Communicating Sequential Processes. Englewood Cliffs, NJ: Prentice-Hall, 1985.
9. C. G. Cassandras, Discrete Event Systems: Modeling and Performance Analysis. Homewood, IL: Irwin, 1993.
10. K. Venkatesh and M. C. Zhou, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
11. M. C. Zhou, F. DiCesare, and D. Rudolph, "Design and implementation of a Petri net supervisor for a flexible manufacturing system," Automatica, vol. 28, no. 6, pp. 1199-1208, 1992.
12. M. C. Zhou, F. DiCesare, and A. A. Desrochers, "A hybrid methodology for synthesis of Petri net models for manufacturing systems," IEEE Trans. Robot. Automat., vol. 8, pp. 350-361, June 1992.
13. J. Mu Der and F. DiCesare, "A review of synthesis techniques for Petri nets with applications to automated manufacturing systems," IEEE Trans. Syst., Man, Cybern., vol. 23, pp. 301-312, Jan./Feb. 1993.
14. K. A. D'Souza and S. K. Khator, "A survey of Petri net applications in modeling controls for automated manufacturing systems," Comput. Ind., vol. 24, no. 1, pp. 5-16, 1994.
15. F. Lin, "Analysis and synthesis of discrete event systems using temporal logic," Contr. Theory Adv. Technol., vol. 9, no. 1, pp. 341-350, Mar. 1993.
16. J. S. Ostroff, "Deciding properties of timed transition models," IEEE Trans. Parall. Distrib. Syst., vol. 1, no. 2, pp. 170-183, 1990.
17. A. M. Daltrini and S. R. T. Kumara, "FMS modeling using timed extended Moore machine network," in Japan-USA Symp. Flexible Automation, Boston, MA, 1996, pp. 1539-1546.
18. E. Kasturia, F. DiCesare, and A. Desrochers, "Real time control of multilevel manufacturing systems using colored Petri nets," in Proc. Int. Conf. Robotics and Automation, vol. 2, Philadelphia, PA, 1988, pp. 1114-1119.
19. K. P. Valavanis, "On the hierarchical modeling analysis and simulation of flexible manufacturing systems with extended Petri nets," IEEE Trans. Syst., Man, Cybern., vol. 20, pp. 94-110, Jan./Feb. 1990.
20. G. Hoffmann, S. Balemi, and U. Brunner, "Design of a discrete event controller for a model railway," in Proc. IFAC Symp. Design Methods of Control Systems, Zurich, Switzerland, 1991, pp. 451-455.
21. H. E. Garcia, A. Ray, and R. M. Edwards, "A reconfigurable hybrid system and its application to power plant control," IEEE Trans. Contr. Syst. Technol., vol. 3, pp. 157-170, June 1995.
22. S. L. Ricker, N. Sarkar, and K. Rudie, "A discrete-event systems approach to modeling dextrous manipulation," Robotica, vol. 14, no. 5, pp. 515-522, 1996.
23. S. C. Lauzon, J. K. Mills, and B. Benhabib," An implementation methodology for the supervisory controller for flexible manufacturing workcells," SME J. Manufac. Syst., vol. 16, no. 2, pp. 91-101, 1997.
24. B. A. Brandin, W. M. Wonham, and B. Benhabib, "Discrete event system supervisory control applied to the management of manufacturing workcells," in Computer-Aided Production Engineering, V. C. Venkatesh and J. A. McGeough, Eds New York: Elsevier, 1991, pp. 527-536.
25. _, "Manufacturing cell supervisory control - A model timed discrete-event system approach," in Proc. IEEE Int. Conf. Robotics and Automation, Atlanta, GA, 1993, pp. 846-851.
26. Y. Dotan and D. Ben-Arieh," Modeling flexible manufacturing systems: The concurrent logic programming approach," IEEE Trans. Robot. Automat., vol. 7, pp. 135-148, Feb. 1991.
27. Y. Dong-Soon and T. A. Barta, "A Petri net-based simulation tool for the design and analysis of flexible manufacturing systems," J. Manufac. Syst., vol. 13, no. 4, pp. 251-261, 1994.
28. S. Ramaswamy, K. P. Valavanis, and S. Barber, "Petri net extensions for development of MIMO net models of automated manufacturing systems," J. Manufac. Syst., vol. 16, no. 3, pp. 175-191, 1997.
29. M.-C. Zhou and K. Venkatesh, Modeling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach. New York: World Scientific, 1999.
30. A. A. Desrochers and R. Y. Al-Jaar, Applications of Petri Nets in Manufacturing Systems. New York: IEEE Press, 1995.
31. R. G. Qui and S. B. Joshi, "A structured adaptive supervisory control methodology for modeling the control of a discrete event manufacturing system," IEEE Trans. Syst., Man, Cybern. A, vol. 29, no. 6, Nov. 1999, to be published.
32. P. J. G. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event systems," SIAM J. Contr. Optim., vol. 25, no. 1, pp. 206-230, Jan. 1987.
33. M. Byrne and P. Chutima, "Real-time routing decisions in FMS's with full routing flexibility and failure-prone machines," in Proc. 11th National Conf. Manufacturing Research., D. Stockton and C. Wainwright, Eds., Sep. 1995, pp. 346-350.
34. A. M. Daltrini and S. R. T. Kumara, "FMS modeling using timed extended Moore machine network," in Japan-USA Symp. Flexible Automation, Boston, MA, July 1996, pp. 1539-1546.
35. N. Duan, S. R. T. Kumara, and D. J. Madeiros, "EMM-network model for FMS modeling, simulation and control," in Proc. 2nd Annu. Conf. Al, Simulation and Planning in High Autonomy Systems, Cocoa Beach, FL, Apr. 1991, pp. 253-262.
36. S. A. Reveliotis, "Accommodating FMS operational contingencies through routing flexibility," IEEE Trans. Robot. Automation, vol. 15, pp. 3-19, Feb. 1999.
37. M. Lawley, "Flexible routing and deadlock avoidance in automated manufacturing systems," in Proc. IEEE Int. Conf. Robotics and Automation, Leuven, Belgium, May 1998, pp. 591-596.
38. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison-Wesley, 1979.
39. R. A. Johnson, "Registered-output FSM's synchronize outputs to state transitions," Software Syst., vol. 43, no. 12, pp. 173-178, June 1998.
40. J. Caroll and D. Long, Theory of Finite Automata: With an Introduction to Formal Languages. Englewood Cliffs, NJ: Prentice-Hall, 1989.
41. N. Duan, "Extended Moore machines network model for discrete event control of flexible manufacturing systems," Ph.D. dissertation, Dept. Ind. Manufac. Syst., Pennsylvania State Univ., PA, 1993.
42. J. S. Smith, W. C. Hoberecht, and S. B. Joshi, "A shop floor control architecture for computer integrated manufacturing," IIE Transactions, vol. 28, no. 10, pp. 783-794, 1996.
43. S. E. Ramaswamy and S. B. Joshi, "Deadlock-free schedules for automated manufacturing systems," IEEE Trans. Robot. Automat., vol. 12, pp. 391-400, June 1996.
44. M. Antoniotti and B. Mishra, "Automatic synthesis for supervisory controllers," in Proc. 4th Int. Conf. Computer Integrated Manufacturing and Automation, Oct. 1994, pp. 151-156.
45. S. Takai, A. Takae, and S. Kodama, "The extremal languages in supervisory control of discrete event systems with service specifications," in Proc. Int. Conf. Decision and Control, Kobe, Japan, Dec. 1996, pp. 2231-2236.
46. J. M. Eyzel and J. E. R. Cury, "Exploiting the symmetry in the synthesis of supervisors for discrete event systems," in Proc. American Control Conf., Philadelphia, PA, June 1998, pp. 244-248.
47. J. Clark and D. A. Holton, A First Look at Graph Theory. New York: World Scientific, 1991.
48. S. Ierovante, "An approach to supervisory design for a class of controlled Petri nets," in Proc. IEEE Conf. Systems, Man, and Cybernetics, Oct. 1995, pp. 1867-1872.
49. L. M. Camarinha-Matos and A. Steiger-Garção, ̃Robotics cell programming: A knowledge-based approach," in Proc. Robotics and Artificial Intelligence Conf., Toulouse, France, June 1986, pp. 533-551.
50. B. Benhabib, C. Y. Chen, and W. R. Johnson, "An integrated manufacturing workcell management system," ASME J. Manufac. Rev., vol. 2, no. 4, pp. 266-276, 1989.
51. R. A. Williams, B. Benhabib, and K. C. Smith, "A DES-theory-based hybrid supervisory control system for manufacturing systems," SME J. Manufac. Syst., vol. 15, no. 2, pp. 71-83, 1996.
52. M. A. Shayman and R. Kumar, "Supervisory control of nondeterministic systems with driven evens via prioritized synchronization and trajectory models," SIAM Journal of Control and Optimization, vol. 33, no. 2, pp. 469-497, March 1995.
53. D. M. Dilts, N. P. Boyd, and H. H. Hhorms, "The evolution of control architectures for automated manufacturing systems," Journal of Manufacturing Systems, vol. 10, no. 1, pp. 79-83, 1991.
54. M. Fabian and B. Lennartson, "Applying supervisory control theory to discrete event systems modeled by object oriented principles," in INRIA/IEEE International Symposium on Emerging Technologies and Factory Automation, vol. 2, 1995, pp. 93-104.