Logic control law design for automated manufacturing systems

To respond rapidly to the highly volatile market, the reconfigurable manufacturing systems (RMS) have brought forward challenging issues. First of all there is a need to build a formal model of a manufacturing configuration. Second it has to be rather easy to derive the models associated to the manufacturing configuration changes (reconfiguration) from such an initial model. An off-line method of rapid design of an optimal logic control law (configuration) based on Petri net (PN) is presented in this paper. From a controlled system modeling point of view, the main characteristics of the level 1 of the CIM architecture are depicted. Subsequently, the formal tool used in the automated planning field is extended to provide a controlled system model. The concept of operation is structured in order to introduce the behavioral properties of the operations. A four-step method is then proposed to design a logic control law that satisfies several goals: reduction of the lead time, satisfaction of the work orders objectives, minimization of the time cycle. Finally, the proposed design method is illustrated on a manufacturing cell.

[1]  Paolo Traverso,et al.  Automated planning - theory and practice , 2004 .

[2]  Janan Zaytoon.  On the recent advances in Grafcet , 2002 .

[3]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[4]  Jang Gyu Lee,et al.  Digital rebalance loop design for a dynamically tuned gyroscope using H2 methodology , 2002 .

[5]  Antonio González,et al.  Intelligent planning of Grafcet charts , 2000 .

[6]  Jin S. Lee,et al.  Automatic generation of ladder diagram with control Petri Net , 2004, J. Intell. Manuf..

[7]  Christer Bäckström,et al.  Efficient planning for a miniature assembly line , 1999, Artif. Intell. Eng..

[8]  Damien Trentesaux,et al.  Distributed control of production systems , 2009, Eng. Appl. Artif. Intell..

[9]  Richard A. Wysk,et al.  Extended structured adaptive supervisory control model of shop floor controls for an e-Manufacturing system , 2003 .

[10]  Tae-Eog Lee,et al.  Automata-based supervisory control logic design for a multi-robot assembly cell , 2002, Int. J. Comput. Integr. Manuf..

[11]  Theodore J. Williams,et al.  A Reference Model for Computer Integrated Manufacturing from the Viewpoint of Industrial Automation , 1990 .

[12]  A. Valente,et al.  Development of multi-level adaptive control and scheduling solutions for shop-floor automation in reconfigurable manufacturing systems , 2011 .

[13]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[14]  Erik Sandewall,et al.  A Representation of Action Structures , 1986, AAAI.

[15]  Paul W. H. Chung,et al.  Planning plant operating procedures for chemical plant , 2001 .

[16]  Peter Linz,et al.  An Introduction to Formal Languages and Automata , 1997 .

[17]  Philippe Lacomme,et al.  Algorithmes de Graphes , 2003 .

[18]  Abdelhakim Khatab,et al.  Supervision and Monitoring of Production Systems , 2000 .

[19]  Jun Li,et al.  Rapid design and reconfiguration of Petri net models for reconfigurable manufacturing cells with improved net rewriting systems and activity diagrams , 2009, Comput. Ind. Eng..

[20]  René David,et al.  Discrete event dynamic systems , 1989 .

[21]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[22]  Jan Van Damme,et al.  Project scheduling under uncertainty survey and research potentials , 2002 .

[23]  Z Liu,et al.  Scheduling Theory and its Applications , 1997 .

[24]  Dawn M. Tilbury,et al.  Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation , 2006 .

[25]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[26]  Lawrence E. Holloway,et al.  Automated synthesis and composition of taskblocks for control of manufacturing systems , 2000, IEEE Trans. Syst. Man Cybern. Part B.