Enhancing Process Control in Industry 4.0 Scenarios using Cyber-Physical Systems

One of the most interesting applications of Industry 4.0 paradigm is enhanced process control. Traditionally, process control solutions based on Cyber-Physical Systems (CPS) consider a top-down view where processes are represented as executable high-level descriptions. However, most times industrial processes follow a bottom-up model where processes are executed by low-level devices which are hard-programmed with the process to be executed. Thus, high-level components only may supervise the process execution as devices cannot modify dynamically their behavior. Therefore, in this paper we propose a vertical CPS-based solution (including a reference and a functional architecture) adequate to perform enhanced process control in Industry 4.0 scenarios with a bottom-up view. The proposed solution employs an event-driven service-based architecture where control is performed by means of finite state machines. Furthermore, an experimental validation is provided proving that in more than 97% of cases the proposed solution allows a stable and effective control

[1]  Edward A. Lee.  Cyber-physical Systems -are Computing Foundations Adequate? Position Paper for Nsf Workshop on Cyber-physical Systems: Research Motivation, Techniques and Roadmap , 1998 .

[2]  Bernard P. Zeigler,et al.  From UML State Charts to DEVS State Machines using XML , 2007 .

[3]  Jay Lee,et al.  A Cyber-Physical Systems architecture for Industry 4.0-based manufacturing systems , 2015 .

[4]  Paulo Tabuada,et al.  Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks , 2012, IEEE Transactions on Automatic Control.

[5]  Ramón Alcarria,et al.  Resolving coordination challenges in distributed mobile service executions , 2014, Int. J. Web Grid Serv..

[6]  W. M. P. V. D. Aalsta,et al.  YAWL : yet another workflow language , 2015 .

[7]  Soo Dong Kim,et al.  A Service-Based Approach to Designing Cyber Physical Systems , 2010, 2010 IEEE/ACIS 9th International Conference on Computer and Information Science.

[8]  K. V. D. Klauw.  ALLIANCE FOR INTERNET OF THINGS INNOVATION , 2015 .

[9]  Lihong Qiao,et al.  Manufacturing process modelling using process specification language , 2011 .

[10]  Robert Harrison,et al.  Industrial Cloud-Based Cyber-Physical Systems: The IMC-AESOP Approach , 2014 .

[11]  Franco Zambonelli,et al.  Looking ahead in pervasive computing: Challenges and opportunities in the era of cyber-physical convergence , 2012, Pervasive Mob. Comput..

[12]  Wayne H. Wolf,et al.  Cyber-physical Systems , 2009, Computer.

[13]  Chin-Feng Lai,et al.  OSGi-based services architecture for Cyber-Physical Home Control Systems , 2011, Comput. Commun..

[14]  Steve Goddard,et al.  Cyber-physical systems in industrial process control , 2008, SIGBED.

[15]  Bruce A. Francis,et al.  Feedback Control Theory , 1992 .

[16]  Ronen Feldman,et al.  The Data Mining and Knowledge Discovery Handbook , 2005 .

[17]  Bohn Stafleu van Loghum,et al.  Online … , 2002, LOG IN.

[18]  Ramón Alcarria,et al.  Building Smart Adaptable Cyber-Physical Systems: Definitions, Classification and Elements , 2015, UCAmI.

[19]  Ajai Jain,et al.  The Handbook of Pattern Recognition and Computer Vision , 1993 .

[20]  Yingjun Zhang,et al.  OPC Unified Architecture for Industrial Demand Response , 2012 .

[21]  Siddharth Sridhar,et al.  Cyber–Physical System Security for the Electric Power Grid , 2012, Proceedings of the IEEE.

[22]  M. Zurmuehlen,et al.  Developing web services choreography standards?the case of REST vs. SOAP , 2004 .

[23]  Edmund M. Clarke,et al.  SML-a high level language for the design and verification of finite state machines , 1985 .

[24]  Feng Xia,et al.  From machine-to-machine communications towards cyber-physical systems , 2013, Comput. Sci. Inf. Syst..

[25]  Xingshe Zhou,et al.  Cyber-Physical Systems Modeling Based on Extended Hybrid Automata , 2013, 2013 International Conference on Computational and Information Sciences.

[26]  Doug Fisher,et al.  SCADA: Supervisory Control and Data Acquisition , 2015 .

[27]  Johan Lilius,et al.  Formalising UML State Machines for Model Checking , 1999, UML.

[28]  Diego Sánchez de Rivera,et al.  Physical Processes Control in Industry 4.0-Based Systems: A Focus on Cyber-Physical Systems , 2016, UCAmI.

[29]  Jiafu Wan,et al.  Implementing Smart Factory of Industrie 4.0: An Outlook , 2016, Int. J. Distributed Sens. Networks.

[30]  C. H. Chen,et al.  Handbook of Pattern Recognition and Computer Vision , 1993 .

[31]  Syed Mahfuzul Aziz,et al.  Review of Cyber-Physical System in Healthcare , 2014, Int. J. Distributed Sens. Networks.

[32]  Jeffrey V. Nickerson,et al.  Developing web services choreography standards - the case of REST vs. SOAP , 2005, Decis. Support Syst..

[33]  Emden R. Gansner,et al.  Drawing graphs with dot , 2006 .

[34]  Bertram Ludäscher,et al.  Kepler: an extensible system for design and execution of scientific workflows , 2004 .

[35]  Alasdair Gilchrist.  Industry 4.0 , 2016, Apress.

[36]  Ramón Alcarria,et al.  TF4SM: A Framework for Developing Traceability Solutions in Small Manufacturing Companies , 2015, Sensors.

[37]  Ying Tan,et al.  A prototype architecture for cyber-physical systems , 2008, SIGBED.