Distributing Sequential Control for Manufacturing Automation Systems

Recent trends in manufacturing require the use of reconfigurable equipment that facilitates rapid and cost-effective change of functionality through modular design, which supports fast integration. Intelligent devices (e.g., sensors, actuators) with integrated computation and communication capabilities enable high-level modularity, not only with the respect to hardware components but also in terms of control functionality; this can be achieved by distributing control to different network-connected devices. Thus, to enable fast and reliable system reconfigurations, in this brief, we introduce a method for distribution of control tasks and generation of control code for the devices in the control network. Our approach is based on the control interpreted Petri nets (CIPNs) formalism. We start from a CIPN capturing the centralized (overall) control system, and the mapping of input and output signals to local controllers (LCs) (i.e., smart devices) that have direct physical access to system sensors and actuators. From these, our method automatically designs distributed control tasks for LCs in the network, as well as generates control code for each LC. The applicability of the proposed method is experimentally verified on two real-world case studies.

[1]  Kagermann Henning Recommendations for implementing the strategic initiative INDUSTRIE 4.0 , 2013 .

[2]  Antoine Vianou,et al.  Formal Modeling of Grafcets With Time Petri Nets , 2015, IEEE Transactions on Control Systems Technology.

[3]  Miroslav Pajic,et al.  Cyber Physical Production Systems—An IEC 61499 Perspective , 2017 .

[4]  Pau-Lo Hsu,et al.  A systematic approach for the sequence controller design in manufacturing systems , 2005 .

[5]  Didier Lime,et al.  Romeo: A Tool for Analyzing Time Petri Nets , 2005, CAV.

[6]  David A. Huffman,et al.  The synthesis of sequential switching circuits , 1954 .

[7]  Yoram Koren,et al.  Reconfigurable manufacturing systems: Principles, design, and future trends , 2017, Frontiers of Mechanical Engineering.

[8]  Olfa Mosbahi,et al.  Reconfigurable Coordination of Distributed Discrete Event Control Systems , 2015, IEEE Transactions on Control Systems Technology.

[9]  Luís Gomes,et al.  Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs , 2018, IEEE Transactions on Control Systems Technology.

[10]  Vuk Lesi,et al.  Towards Plug-n-Play numerical control for Reconfigurable Manufacturing Systems , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

[11]  Alexander Fay,et al.  Transformation of GRAFCET to PLC code including hierarchical structures , 2017 .

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

[13]  MengChu Zhou,et al.  A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems With Assembly Operations , 2015, IEEE Transactions on Control Systems Technology.

[14]  Yang Liu,et al.  A Petri net-based distributed control of automated manufacturing systems with assembly operations , 2015, 2015 IEEE International Conference on Automation Science and Engineering (CASE).

[15]  Alexandre Philippot,et al.  A synthesis approach to distributed supervisory control design for manufacturing systems with Grafcet implementation , 2017, Int. J. Prod. Res..

[16]  Alain Bernard,et al.  Product Variety Management , 1998 .

[17]  Lothar Litz,et al.  Verification and validation of control algorithms by coupling of interpreted Petri nets , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[18]  Antonio Celesti,et al.  An Ontology-Based Resource Reconfiguration Method for Manufacturing Cyber-Physical Systems , 2018, IEEE/ASME Transactions on Mechatronics.

[19]  Cristian Mahulea,et al.  Distributed Model Predictive Control of timed continuous Petri nets , 2013, 52nd IEEE Conference on Decision and Control.

[20]  Duck Young Kim,et al.  An Extended Agent Communication Framework for Rapid Reconfiguration of Distributed Manufacturing Systems , 2019, IEEE Transactions on Industrial Informatics.

[21]  Zhibo Pang,et al.  Reconfigurable Smart Factory for Drug Packing in Healthcare Industry 4.0 , 2019, IEEE Transactions on Industrial Informatics.

[22]  Peter Butala,et al.  Distributed control with rationally bounded agents in cyber-physical production systems , 2018 .

[23]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[24]  Kevin I-Kai Wang,et al.  Dynamic Reconfiguration and Adaptation of Manufacturing Systems Using SOSJ Framework , 2018, IEEE Transactions on Industrial Informatics.

[25]  Oliver Niggemann,et al.  Automatic Parameter Estimation for Reusable Software Components of Modular and Reconfigurable Cyber-Physical Production Systems in the Domain of Discrete Manufacturing , 2018, IEEE Transactions on Industrial Informatics.

[26]  Marian Adamski,et al.  Model checking of Control Interpreted Petri Nets , 2011, Proceedings of the 18th International Conference Mixed Design of Integrated Circuits and Systems - MIXDES 2011.

[27]  Theodore M. Booth Demonstrating hazards in sequential relay circuits , 1963, SWCT.

[28]  Chiaming Yen,et al.  Web-based learning and instruction support system for pneumatics , 2003, Comput. Educ..