Component and agent-based FMS modeling and controller synthesis

IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

Volumn 33, Issue 2, 2003, Pages 193-206

  Han, Wenbiao ^a   Jafari, Mohsen A ^b  

^a Ulticom Inc   (United States)

^b RUTGERS UNIVERSITY   (United States)

Author keywords

Artificial intelligence; Controller synthesis; FMS; Object oriented design; Petri net (PN); Software engineering

Indexed keywords

ARTIFICIAL INTELLIGENCE; CONTROL SYSTEM SYNTHESIS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; PETRI NETS; SOFTWARE AGENTS; SOFTWARE ENGINEERING;

AUTOMATE SOFTWARE DESIGN; CONTROL SOFTWARE DESIGN CYCLE; STATIC STRUCTURE;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0043173986     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCC.2003.813147     Document Type: Article

References (20)

1. S. B. Joshi, E. G. Mettlal, and R. A. Wysk, "CIGEN - A computer aided software engineering tool for development of FMS control software," IIE Trans., vol. 24, no. 3, pp. 84-97, July 1992.
2. 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, 1986.
3. J. K. Chaar and R. A. Volz, "A specification language for planning and fault recovery in manufacturing system," Int. J. Flex. Manuf. Syst., vol. 5, pp. 209-253, 1993.
4. J. S. Smith and S. B. Joshi, "Reusable software concepts applied to the development of FMS control software," Int. J. Comp. Integr. Manuf., vol. 5, no. 3, pp. 182-196, 1992.
5. B. K. Choi, K. H. Han, and T. Y. Park, "Object-oriented graphical modeling of FMSs," Int. J. Flex. Manuf. Syst., vol. 8, pp. 159-182, 1996.
6. K. Venkatesh and M. Zhou, "Object-oriented design of FMS control software based on object modeling technique diagrams and Petri nets," J. Manuf. Syst., vol. 17, no. 2, pp. 118-136, 1998.
7. Y. K. Lee and S. J. Park, "OPNets: An object-oriented high-level Petri net model for real-time system modeling," J. Syst. Soft., vol. 20, pp. 69-86, 1993.
8. L. Wang, "Object-oriented Petri nets for modeling and analysis of automated manufacturing systems," Comp. Integr. Manuf. Syst., vol. 25, no. 2, pp. 111-125, 1996.
9. R. S. Pressman, Software Engineering - A Practitioner's Approach, 4th ed. New York: McGraw-Hill, 1997.
10. I. Graham, Requirements Engineering and Rapid Development: An Object-Oriented Approach. Reading, MA: Addison-Wesley, 1998.
11. J. Rumbaugh et al., Object-Oriented Modeling and Design. Englewood Cliffs, NJ: Prentice-Hall, 1991.
12. M. Fowler and K. Scott, UML Distilled: Applying the Standard Object Modeling Language. Reading, MA: Addison-Wesley, 1997.
13. D. Harel et al., "STATEMATE: A working environment for the development of complex reactive systems," IEEE Trans. Softw. Eng., vol. 16, no. 4, pp. 403-414, 1990.
14. T. Murata, N. Komoda, K. Matsumoto, and K. Haruna, "A Petri net-based controller for flexible and maintainable sequence control and its application in factory automation," IEEE Trans. Ind. Electron., vol. IE-33, no. 1, pp. 1-8, 1986.
15. M. Zhou and F. Dicesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.
16. M. A. Jafari and T. O. Boucher, "A rule-based system for generating a ladder logic control program from high-level system model," J. Intell. Manuf., no. 5, pp. 103-120, 1994.
17. R. J. Machado, J. M. Fernandes, and A. J. Proenca, "Specification of industrial digital controllers with object-oriented Petri nets," in Proc. Int. Symp. Industrial Electronics, ISIE'97, 1997, pp. 78-82.
18. L. Ferrarini, "An incremental approach to logic controller design with Petri nets," IEEE Trans. Syst., Man, Cybern., vol. 22, pp. 461-473, 1992.
19. D. S. Weld, "Recent advances in AI planning," AI Mag., 1999.
20. W. Han and M. A. Jafari, "Controller synthesis via mapping task sequence to Petri nets in multiagent collaboration applications," in Proc. IEEE Int. Conf. Robotics Automation, Taipei, Taiwan, R.O.C., 2003.