Analysis and Control of Dynamic Reconfiguration Processes of Manufacturing Systems

Dynamic reconfiguration techniques can greatly improve the flexibility and reliability of manufacturing systems. However, different from static reconfigurable systems, system behavior during dynamic reconfiguration processes is quite complex due to possible concurrence of system structure changes and events inside unaltered components. This increases the difficulty in designing and developing dynamic reconfigurable systems. The current paper deals with the analysis and control of dynamic reconfiguration process of manufacturing systems from the perspective of discrete event systems. To this end, the authors improve the reconfigurable timed net condition/event systems formalism by assigning reconfiguration functions with extra permeating time, action ranges, and concurrent decision functions. As a consequence, nondeterministic behavior of a dynamic reconfigurable system during dynamic reconfigurations can be specified, while the system correctness, coherence, and safety during reconfigurations can be guaranteed. A reconfigurable manufacturing plant is used as a running example to illustrate the contribution of this paper.

[1]  Pramod P. Khargonekar,et al.  Formal verification for analysis and design of logic controllers for reconfigurable machining systems , 2002, IEEE Trans. Robotics Autom..

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

[3]  Arjan J. Mooij,et al.  Reducing Adapter Synthesis to Controller Synthesis , 2012, IEEE Transactions on Services Computing.

[4]  Jeff Magee,et al.  Self-Managed Systems: an Architectural Challenge , 2007, Future of Software Engineering (FOSE '07).

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

[6]  Hans-Michael Hanisch,et al.  Verifying functional and non-functional properties of manufacturing control systems , 2011, 2011 3rd International Workshop on Dependable Control of Discrete Systems.

[7]  Imen Khemaissia,et al.  New Reconfigurable Middleware for Feasible Adaptive RT-Linux , 2014, PECCS.

[8]  Georg Frey,et al.  A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[9]  Kamel Barkaoui,et al.  Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[10]  H.-M. Hanisch,et al.  Modeling of PLC behavior by means of timed net condition/event systems , 1997, 1997 IEEE 6th International Conference on Emerging Technologies and Factory Automation Proceedings, EFTA '97.

[11]  Michel Diaz,et al.  Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models , 1982, Comput. Networks.

[12]  Alessandro Giua,et al.  Verification of State-Based Opacity Using Petri Nets , 2017, IEEE Transactions on Automatic Control.

[13]  Murat Uzam,et al.  A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems , 2016, J. Intell. Manuf..

[14]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[15]  Zhiwu Li,et al.  Decentralized Diagnosis by Petri Nets and Integer Linear Programming , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[16]  Georg Frey,et al.  A re-engineering approach for PLC programs using finite automata and UML , 2004, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004..

[17]  Xi Wang,et al.  Dynamic Multiple-Period Reconfiguration of Real-Time Scheduling Based on Timed DES Supervisory Control , 2016, IEEE Transactions on Industrial Informatics.

[18]  Hans-Michael Hanisch,et al.  Closed-loop system modeling, validation, and verification , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[19]  Klaus Werner Schmidt.  Reconfigurability of behavioural specifications for manufacturing systems , 2017, Int. J. Control.

[20]  Liang Qi,et al.  Composition of Logical Petri Nets and Compatibility Analysis , 2017, IEEE Access.

[21]  Abel G. Silva-Filho,et al.  A timed Petri net approach for pre-runtime scheduling in partial and dynamic reconfigurable systems , 2005, 19th IEEE International Parallel and Distributed Processing Symposium.

[22]  Farhad Arbab,et al.  Supervisory Controller Synthesis for Safe Software Adaptation , 2014, WODES.

[23]  Zhiwu Li,et al.  Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions , 2017, IEEE Access.

[24]  Marisa Llorens,et al.  Structural and dynamic changes in concurrent systems: reconfigurable Petri nets , 2004, IEEE Transactions on Computers.

[25]  Alessandro Giua,et al.  On the Equivalence of Observation Structures for Petri Net Generators , 2016, IEEE Transactions on Automatic Control.

[26]  Scott Hauck.  The Future of Reconfigurable Systems , 1998 .

[27]  Thomas Parisini,et al.  Fault diagnosis and controller re-configuration: an hybrid approach , 1998, Proceedings of the 1998 IEEE International Symposium on Intelligent Control (ISIC) held jointly with IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA) Intell.

[28]  Abdulrahman Al-Ahmari,et al.  Deadlock recovery for flexible manufacturing systems modeled with Petri nets , 2017, Inf. Sci..

[29]  Franz-Josef Rammig,et al.  Modeling of Dynamically Modifiable Embedded Real-Time Systems , 2003, 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.

[30]  MengChu Zhou,et al.  Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[31]  Kamel Barkaoui,et al.  A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems , 2014, ADECS @ Petri Nets.

[32]  Klaus Werner Schmidt,et al.  State Attraction Under Language Specification for the Reconfiguration of Discrete Event Systems , 2015, IEEE Transactions on Automatic Control.

[33]  Nadia Nedjah,et al.  Modern development methods and tools for embedded reconfigurable systems: A survey , 2010, Integr..

[34]  Ioan Dumitrache,et al.  Intelligent agent-based control systems in manufacturing , 2000, Proceedings of the 2000 IEEE International Symposium on Intelligent Control. Held jointly with the 8th IEEE Mediterranean Conference on Control and Automation (Cat. No.00CH37147).

[35]  Kamel Barkaoui,et al.  On the enforcement of a class of nonlinear constraints on Petri nets , 2015, Autom..

[36]  Josep M. Guerrero,et al.  Multi-Agent System-Based Event-Triggered Hybrid Control Scheme for Energy Internet , 2017, IEEE Access.

[37]  Olfa Mosbahi,et al.  Feasible Dynamic Reconfigurations of Petri Nets , 2013 .

[38]  Saeed Jalili,et al.  Formal analysis of policy-based self-adaptive systems , 2010, SAC '10.

[39]  Marco Listanti,et al.  Trade-Off Between Power and Bandwidth Consumption in a Reconfigurable Xhaul Network Architecture , 2016, IEEE Access.

[40]  Zhiwu Li,et al.  Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation , 2011, IEEE Transactions on Computers.

[41]  MengChu Zhou,et al.  Intelligent token Petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes , 2011 .

[42]  Saeed Jalili,et al.  Formal modeling of evolving self-adaptive systems , 2012, Sci. Comput. Program..

[43]  David Garlan,et al.  Rainbow: architecture-based self-adaptation with reusable infrastructure , 2004 .

[44]  Olfa Mosbahi,et al.  PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems , 2014, ADECS @ Petri Nets.

[45]  Daniel G. Bobrow,et al.  Model-Based Computing for Design and Control of Reconfigurable Systems , 2004, AI Mag..

[46]  Steven Guan,et al.  Modeling adaptable multimedia and self-modifying protocol execution , 2004, Future Gener. Comput. Syst..

[47]  H.-M. Hanisch,et al.  Net condition/event systems with multiple condition outputs , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[48]  Friedhelm Stappert,et al.  Petri Net Based Design of Reconfigurable Embedded Real-Time Systems , 2002 .

[49]  P. Leitao,et al.  Service-oriented control architecture for reconfigurable production systems , 2008, 2008 6th IEEE International Conference on Industrial Informatics.

[50]  Asok Ray,et al.  State-space supervisory control of reconfigurable discrete event systems , 1996 .

[51]  Olfa Mosbahi,et al.  R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[52]  MengChu Zhou,et al.  Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks , 2015, IEEE Transactions on Automation Science and Engineering.