A modular control design method for a flexible manufacturing cell including error handling. (English) Zbl 1165.90530
Summary: This paper introduces a new modular control design method for a cell controller with integrated error handling. To make the complexity of the cell controller manageable, its control logic is separated into two parts: resource allocation control and operation control. To create the operation control not only quickly but correctly, modular operation blocks integrated with error handling are developed. An algorithm automatically generates the operation control. The operation control created by the proposed method is proved to have desired control behaviors. The method is applied to an example system.
MSC:
| 90B60 | Marketing, advertising |
References:
| [1] | Ang M, Harrison R, Lee J, Lee L, Lee S, Tilbury D (2007) A comparison study of automatic logic control generation tools for industrial manufacturing control systems. In Proceedings of the Conference on Agile, Reconfigurable and Virtual Manufacturing Systems (CARV), pp 844–859, Toronto, Canada |
| [2] | Berard B et al (2001) Systems and software verification: model-checking techniques and tools. Springer-Verlag, New York |
| [3] | Castillo I, Smith JS (2002) Formal modeling methodologies for control of manufacturing cells: survey and comparison. J Manuf Syst 21(1):40–57 · doi:10.1016/S0278-6125(02)90011-7 |
| [4] | Chan FTS, Chan HK (2004) A comprehensive survey and future trend of simulation study on FMS scheduling. J Intell Manuf 15:87–102 · doi:10.1023/B:JIMS.0000010077.27141.be |
| [5] | Chung S, Jeng M (2004) Fabulous MESs and C/Cs. IEEE Robot Autom Mag, 8–18 |
| [6] | Desrochers AA, Al-Jaar RY (1995) Applications of Petri Nets in manufacturing systems: modeling, control, and performance analysis. IEEE Press · Zbl 0861.90062 |
| [7] | Endsley EW, Almeida EE, Tilbury DM (2006) Modular finite state machines: development and application to reconfigurable manufacturing cell controller generation. Control Eng Pract 14(10):1127–1142 · doi:10.1016/j.conengprac.2006.02.001 |
| [8] | Fanti M, Maione B, Mascolo S, Turchiano B (1997) Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans Robot Automat 13(3):347–363 · doi:10.1109/70.585898 |
| [9] | Fowler M, Scott K (2000) UML distilled. Addison-Wesley |
| [10] | Hosack B, Mahmoodi F, Mosier CT (2003) A comparison of deadlock avoidance policies in flexible manufacturing systems. Int J Prod Res 41(13):2991–3006 · doi:10.1080/0020754031000087355 |
| [11] | Jeng MD, Dicesare F (1995) Synthesis using resource control nets for modeling shared-resource systems. IEEE Trans Robot Autom 11(3):317–327 · doi:10.1109/70.388774 |
| [12] | Lawley M, Reveliotis S (2001) Deadlock avoidance for sequential resource allocation systems: hard and easy cases. Int J Flex Manuf Syst 13:385–404 · doi:10.1023/A:1012203214611 |
| [13] | Lee S, Tilbury DM (2003) An application of supervisory control methods for a serial/parallel multi-part flow line: modeling and deadlock analysis. In Proceedings of IEEE conference on systems, man, and cybernetics |
| [14] | Lewis RW (1995) Programming industrial control system using IEC1131-3. IEE Publication |
| [15] | Lewis FL, Gurel A, Bogdan S, Doganalp A, Pastravanu O (1998) Analysis of deadlock and circular waits using matrix model for flexible manufacturing systems. Automatica 34(9):1083–1100 · Zbl 0966.90028 · doi:10.1016/S0005-1098(98)00048-X |
| [16] | Lucas MR, Tilbury DM (2003) A study of current logic design practices in the automotive manufacturing industry. Int J Hum Comput Stud 59(5):725–753 · doi:10.1016/S1071-5819(03)00115-0 |
| [17] | Moyne J, Korsakas J, Tilbury DM (2004) Reconfigurable factory testbed (RFT): a distributed testbed for reconfigurable manufacturing systems. In Proceedings of the Japan-U.S.A. symposium on flexible automation. American Society of Mechanical Engineers (ASME) |
| [18] | Murata T (1989) Petri Nets: properties, analysis, and applications. Proc IEEE 77:541–580 |
| [19] | Park J, Reveliotis SA (2001) Deadlock avoidance in sequential resource allocation systems with multiple resource acquisition and flexible routings. IEEE Trans Autom Control 46(10):1572–1583 · Zbl 1045.93034 · doi:10.1109/9.956052 |
| [20] | Park E, Tilbury DM, Khargonekar PP (2001) A modeling and analysis methodology for modular logic controller of machining systems using Petri Net formalism. IEEE Trans Syst Man Cybernet Part C 31(2):168–188 · doi:10.1109/5326.941841 |
| [21] | Richardsson J (2002) A survey of tools and methods for design of automated production plants. In Proceedings of the 33rd international symposium on robotics |
| [22] | Richardsson J, Danielsson K, Fabian M (2004) Design of control programs for efficient handling of errors in flexible manufacturing cells. In Proceedings of the 2004 IEEE international conference on robotics and automation, pp 2273–2278 |
| [23] | Yoon HJ, Lee DY (2004) Deadlock-free scheduling of photolithography equipment in semiconductor fabrication. IEEE Trans Semicond Manuf 17(1):42–54 · doi:10.1109/TSM.2003.822730 |
| [24] | Zhou MC, Dicesare F (1989) Adaptive design of Petri Net controller for error recovery in automated manufacturing systems. IEEE Trans Syst Man Cybernet 19(5):963–973 · doi:10.1109/21.44011 |
| [25] | Zhou MC, Dicesare F, Desrochers AA (1992) A hybrid methodology for synthesis of Petri Net models for manufacturing systems. IEEE Trans Robot Autom 8(3):350–361 · doi:10.1109/70.143353 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
