A computational control implementation environment for automated manufacturing systems

References

• Adbi , MR and Labib , AW . 2003 . A design strategy for reconfigurable manufacturing systems (RMSs) using analytical hierarchical process (AHP): a case study . International Journal of Production Research , 41 ( 10 ) : 2273 – 2299 .
   Web of Science ®Google Scholar
• Babic , B . 1999 . Axiomatic design of flexible manufacturing systems . International Journal of Production Research , 37 ( 5 ) : 1159 – 1173 .
   Web of Science ®Google Scholar
• Balemi , S . 1993 . Supervisory control of a rapid thermal multiprocessor . IEEE Transactions on Automatic Control , 38 ( 7 ) : 1040 – 1059 .
   Web of Science ®Google Scholar
• Bi , ZM . 2007 . Reconfigurable manufacturing systems: the state of the art . International Journal of Production Research , 46 ( 4 ) : 967 – 992 .
   Web of Science ®Google Scholar
• Brandin , BA . 1996 . The real-time supervisory control of an experimental manufacturing cell . IEEE Transactions on Robotics and Automation , 12 ( 1 ) : 1 – 14 .
   Google Scholar
• Bullock , D . 2004 . Hardware-in-the-loop simulation . Transportation Research, Part C , 12 ( 1 ) : 73 – 89 .
   Web of Science ®Google Scholar
• Charbonnier , F , Alla , H and David , R . 1999 . The supervised control of discrete-event dynamic systems . IEEE Transactions on Control Systems Technology , 7 ( 2 ) : 175 – 187 .
   Web of Science ®Google Scholar
• Côté , D . St-Denis, R., and Kerjean, S., 2005. Generative programming for programmable logic controllers. IEEE International Conference on Emerging Technologies and Factory Automation, 19–22 September, Catania, Italy. Piscataway, NJ: IEEE Press, 741–748
   Google Scholar
• Dietrich , P . 2002 . Implementation considerations in supervisory control: synthesis and control of discrete event systems , 185 – 201 . Amsterdam : Kluwer Academic Publishers .
   Google Scholar
• Diogo , RA . 2008. An implementation environment for automated manufacturing systems. IFAC World Congress, 6–11 July, Seoul, Korea
   Google Scholar
• Elipse Software, 2007. Elipse E3: tutorial. Available from: http://www.elipse.com.br/get/E3\v3.1\Build270\Documentation\e3tutorial_us.pdf [Accessed 30 September 2008]
   Google Scholar
• Estevez , E , Marcos , M and Orive , D . 2007 . Automatic generation of PLC automation projects from component-based models . International Journal of Advanced Manufacturing Technology , 35 ( 5–6 ) : 527 – 540 .
   Web of Science ®Google Scholar
• Fabian , M and Hellgren , A . 1998 . PLC-based implementation of supervisory control for discrete event systems . Proceedings of the 37th IEEE Conference on Decision and Control, Tampa, FL. Piscataway, NJ: IEEE Press , 3 : 3305 – 3310 .
   Google Scholar
• Gasper , M and Matko , D . 2002 . Discrete event control theory applied to PLC programming . Automatica , 43 ( 1–2 ) : 21 – 28 .
   Google Scholar
• Gouyon , D , Petin , JF and Gouin , A . 2004 . Pragmatic approach for modular control synthesis and implementation . International Journal of Production Research , 42 ( 14 ) : 2839 – 2858 .
   Web of Science ®Google Scholar
• Hibino , H , Inukai , T and Fukuda , Y . 2006 . Efficient manufacturing system implementation based on combination between real and virtual factory . International Journal of Production Research , 44 ( 18 ) : 3897 – 3915 .
   Web of Science ®Google Scholar
• Hoda , AE . 2006 . Flexible and reconfigurable manufacturing systems paradigms . International Journal of Flexible Manufacturing Systems , 17 ( 4 ) : 261 – 276 .
   Google Scholar
• Holst , L . Randell, L., and Bolmsjö, G., 2000. Integrated development of manufacturing systems using simulation – proposing the fundamentals for a joint research project. CIRP International Seminar on Manufacturing Systems: The Manufacturing Systems in its Human Context – A Tool to Extend the Global Welfare, 5–7 June, Stockholm, Sweden
   Google Scholar
• Jerón , T . 2004 . Ensuring the conformance of reactive discrete-event systems by means of supervisory control . International Journal of Production Research , 42 ( 14 ) : 2809 – 2826 .
   Web of Science ®Google Scholar
• Kocijan , J and Karba , R . 1997 . A chemical process application of multivariable control hardware and algorithm testing by means of simulation . Simulation and Practice Theory , 5 ( 2 ) : 153 – 165 .
   Google Scholar
• Koo , LJ . 2010. Simulation framework for the verification of PLC programs in automobile industries. International Journal of Production Research, 49 (16), 4925–4943
   Google Scholar
• Lee , JS and Hsu , PL . 2005 . A systematic approach for the sequence controller design in manufacturing systems . International Journal of Advanced Manufacturing Technology , 25 ( 7 ) : 754 – 760 .
   Web of Science ®Google Scholar
• Li , L and Jiang , Z . 2007 . A hybrid supervisory control approach for virtual production systems . International Journal of Advanced Manufacturing Technology , 32 ( 9 ) : 1033 – 1044 .
   Web of Science ®Google Scholar
• Liu , J and Darabi , H . 2002 . Ladder logic implementation of Ramadge-Wonham supervisory controller , Zaragoza, Spain : Kluwer Academic Publishers .
   Google Scholar
• Loures , EFR and Busetti , MA . 1999. VIEnCoD - Proposal of an Environment CACSD integrated to an ERP system as a tool in the Support to the Control System Development Cycle Based on VXIbus / LabWindows and MATLAB Platform. Proceedings of the 7th IEEE International Conference on Emerging Technologies and Factory Automation, 761–766
   Google Scholar
• Min , B . 2002 . Integration of real-time control simulation to a virtual manufacturing environment . Journal of Advanced Manufacturing Systems , 1 : 67 – 87 .
   Google Scholar
• Minhas , RS . 2002. Complexity reduction in discrete event systems. PhD thesis, University of Toronto, Canada
   Google Scholar
• Misselhorn , WE , Theron , NJ and Els , PS . 2006 . Investigation of hardware-in-the-loop for use in suspension development . Vehicle System Dynamics , 44 ( 1 ) : 65 – 81 .
   Web of Science ®Google Scholar
• Moore , PR . 2003 . Virtual engineering: an integrated approach to agile manufacturing machinery design and control . Mechatronics , 13 ( 10 ) : 1105 – 1121 .
   Web of Science ®Google Scholar
• Park , H-T . 2010 . Plant model generation for PLC simulation . International Journal of Production Research , 48 ( 5 ) : 1517 – 1529 .
   Web of Science ®Google Scholar
• Plummer , AR . 2006 . Model-in-the-loop testing . Proceedings of IMechE, Part I: Journal of Systems and Control Engineering , 220 ( 3 ) : 183 – 199 .
   Web of Science ®Google Scholar
• Queiroz , MH and Cury , JER . 2000 . Modular supervisory control of large scale discrete-event systems. IFAC 5th International Workshop on Discrete Event Systems: Analysis and Control , 103 – 110 . Amsterdam. Dordrecht : Kluwer Academic Publishers .
   Google Scholar
• Queiroz , MH and Cury , JER . 2002 . Synthesis and implementation of local modular supervisory control for a manufacturing cell. IFAC 6th International Workshop in Discrete Event Systems , 377 – 382 . Zaragoza, Spain. Dordrecht : Kluwer Academic Publishers .
   Google Scholar
• Ramadge , PJ and Wonham , WM . 1989 . The control of discrete event systems . Proceedings of IEEE, Special Issue on Discrete Event Dynamic Systems , 77 ( 1 ) : 81 – 98 .
   Web of Science ®Google Scholar
• Rao , Y . 2006 . Agile manufacturing system control based on cell re-configuration . International Journal of Production Research , 44 ( 10 ) : 1881 – 1905 .
   Web of Science ®Google Scholar
• Rockwell Software, 2008a. Inc. MicroLogix™ 1200 and MicroLogix 1500 Programmable Controllers. Instruction Set Reference Manual. Available from: <http://literature.rockwellautomation.com/idc/groups/literature/documents/rm/1762-rm001_-en-p.pdf> [Accessed 12 September 2008]
   Google Scholar
• Rockwell Software, 2008b. Inc. MicroLogix™ Ethernet Interface. User Manual. Available from: http://literature.rockwellautomation.com/idc/groups/literature/documents/um/761-um006_-en-p.pdf> [Accessed 12 September 2008]
   Google Scholar
• Silva, D.B., Vieira, A.D., Loures, E.F.R., Busetti, M.A., and Santos, E.A.P., 2010. Dealing with routing in manufacturing systems: a supervisory control theory application. International Journal of Production Research, 49 (16), 4979–4998.
   Google Scholar
• Sorniotti , A , Morgando , A and Velardocchia , M . 2006 . Active roll control: system design and hardware-in-the-loop test bench . Vehicle System Dynamics , 44 ( 1 ) : 489 – 505 .
   Web of Science ®Google Scholar
• Stoeppler , G , Menzel , T and Douglas , S . 2005 . Hardware-in-the-loop simulation of machine tools and manufacturing systems . IEE Computing and Control Engineering Journal , 16 ( 1 ) : 10 – 15 .
   Web of Science ®Google Scholar
• Su , R and Wonham , WM . 2004 . Supervisor reduction for discrete-event systems . Discrete Event Dynamic Systems , 14 ( 1 ) : 31 – 53 .
   Web of Science ®Google Scholar
• Uzam , M and Wonham , WM . 2006 . A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets . International Journal of Advanced Manufacturing Technology , 28 ( 7 ) : 747 – 760 .
   Web of Science ®Google Scholar
• Vieira , AD . Cury, J.E.R., and Queiroz, M.H., 2006. A model for PLC implementation of supervisory control of discrete event systems. Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation, 20–22 September, Prague, Czech Republic. Piscataway, NJ: IEEE Press, 225–232
   Google Scholar
• Wadhawa , S , Rao , KS and Chan , TS . 2005 . Flexibility-enabled lead-time reduction in flexible systems . International Journal of Production Research , 43 ( 15 ) : 3131 – 3162 .
   Web of Science ®Google Scholar
• Zhang , J . 2002 . Investigation of the reconfigurable control system for an agile manufacturing cell . International Journal of Production Research , 40 ( 15 ) : 3709 – 3723 .
   Web of Science ®Google Scholar