A structured adaptive supervisory control methodology for modeling the control of a discrete event manufacturing system

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

Volumn 29, Issue 6, 1999, Pages 573-586

  Qiu, Robin G ^a,b   Joshi, Sanjay B ^a,c  

^a IEEE   (United States)

^b Kulicke and Soffa Industries Inc   (United States)

^c The Center for Nanotechnology Education and Utilization   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0011798295     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/3468.798061     Document Type: Article

References (25)

1. R. U. Ayres, "Technology forecast for CIM," Manuf. Rev., vol. 2, no. 1, pp. 43-52, 1989.
2. S. Balemi, G. J. Hoffmann, P. Gyugyi, H. Wong-Toi, and G. F. Franklin, "Supervisory control of a rapid thermal multiprocessor," IEEE Trans. Automat. Contr., vol. 38, pp. 1040-1059, July 1993.
3. F. Biemans and P. Blonk, "On the formal specification and verification of CIM architectures using LOTOS," Comput. Ind., vol. 7, pp. 491-504, 1986.
4. C. G. Cassandras, Discrete Event Systems: Modeling and Performance Analysis. Homewood, IL: Irwin, 1993.
5. J. K. Chaar, "A methodology for developing real-time control software for efficient and dependable manufacturing systems," Ph.D. dissertation, Univ. Michigan, Ann Arbor, 1990.
6. A. A. Desrochers and R. Y. Al-Jaar, Applications of Petri Nets in Manufacturing Systems. New York: IEEE Press, 1995.
7. 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.
8. R. W. Floyd and R. Beigel, The Languages of Machines: An Introduction to Computability and Formal Languages. New York: Computer Science, 1994.
9. A. Giua and F. DiCesare, "Petri net structured analysis for supervisory control," IEEE Trans. Robot. Automat., vol. 10, pp. 185-195, Apr. 1994.
10. A. Giua and F. DiCesare, "Decidability and closure properties of weak Petri net languages in supervisory control," IEEE Trans. Automat. Contr., vol. 40, pp. 906-910, May 1995.
11. Y. C. Ho, Discrete Event Dynamic Systems, Analyzing Complexity and Performance in the Modern World, Y.-C. Ho, Ed. New York: IEEE Press, 1992.
12. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison-Wesley, 1979.
13. E. Kasturia, F. DiCesare, and A. Desrochers, "Real time control of multilevel manufacturing systems using colored Petri nets," in Proc. IEEE 1988 Int. Conf. Robotics Automation, vol. 2, pp. 1114-1119.
14. A. W. Naylor and M. C. Maletz, "The manufacturing game: A formal approach to manufacturing software," IEEE Trans. Syst., Man, Cybern., vol. SMC-16, pp. 321-334, May/June 1986.
15. R. G. Qiu and S. B. Joshi, "Structured adaptive supervisory control of a flexible manufacturing system," in Factory Automation Intelligent Manufacturing '96, pp. 800-809, May 1996.
16. R. Qiu, "Modeling and control of a flexible manufacturing system using deterministic finite capacity automata," Ph.D. dissertation, Penn. State Univ., University Park, PA, 1996.
17. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Contr. Optimiz., Vol. 25, no. 1, pp. 206-230, Jan. 1987.
18. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, pp. 81-98, Jan. 1989.
19. P. J. Ramadge, "The complexity of some basic control problems for discrete event systems," Advanced Computing Concepts and Techniques in Control Engineering, M. J. Denham and A. J. Laub, Eds. Berlin, Germany: Springer-Verlag, 1988.
20. J. S. Smith, "A formal design and development methodology for shop floor control in computer integrated manufacturing," Ph.D. dissertation, Penn. State Univ., University Park, PA, 1992.
21. J. S. Smith, W. C. Hoberecht, and S. B. Joshi, "A shop floor control architecture for computer integrated manufacturing," IIE Trans., vol. 28, no. 10, pp. 783-794, 1996.
22. T. J. Tsitsiklis, "On the control of discrete-event dynamic systems," Math. Contr., Sig. Syst., no. 2, pp. 95-107, 1989.
23. F. Y. Wang and G. N. Dsaridis, "A coordination theory for intelligent machines," Automatica, vol. 26, pp. 833-844, Sept. 1990.
24. R. A. Williams, B. Benhabib, and K. C. Smith, "A hybrid supervisory control system for flexible manufacturing workcells," in Proc. IEEE Inte. Conf. Systems, Man, Cybernetics, 1994, vol. 3, pp. 2551-2556.
25. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.