Controlling Supervised Industry 4.0 Processes through Logic Rules and Tensor Deformation Functions

Industry 4.0 solutions are composed of autonomous engineered systems where heterogeneous agents act in a choreographed manner to create complex workflows. Agents work at low-level in a flexible and independent manner, and their actions and behaviour may be sparsely manipulated. Besides, agents such as humans tend to show a very dynamic behaviour and processes may be executed in a very anarchic, but correct way. Thus, innovative, and more flexible control techniques are required. In this work, supervisory control techniques are employed to guarantee a correct execution of distributed and choreographed processes in Industry 4.0 scenarios. At prosumer level, processes are represented using soft models where logic rules and deformation indicators are used to analyse the correctness of executions. These logic rules are verified using specific engines at business level. These engines are fed with deformation metrics obtained through tensor deformation functions at production level. To apply deformation functions, processes are represented as discrete flexible solids in a phase space, under external forces representing the variations in every task’s inputs. The proposed solution presents two main novelties and original contributions. On the one hand, the innovative use of soft models and deformation indicators allows the implementation of this control solution not only in traditional industrial scenarios where rigid procedures are followed, but also in other future engineered applications. On the other hand, the original integration of logic rules and events makes possible to control any kind of device, including those which do not have an explicit control plane or interface. Finally, to evaluate the performance of the proposed solution, an experimental validation using a real pervasive computing infrastructure is carried out.

[1]  R. C. Hill,et al.  Formal synthesis of supervisory control software for multiple robot systems , 2013, ACC.

[2]  Qiang Zhang,et al.  Combining MPC and integer operators for capacity adjustment in job-shop systems with RMTs , 2018, Int. J. Prod. Res..

[3]  Borja Bordel,et al.  Self-configuration in humanized Cyber-Physical Systems , 2016, Journal of Ambient Intelligence and Humanized Computing.

[4]  Luis I. Minchala,et al.  Open Source SCADA System for Advanced Monitoring of Industrial Processes , 2017, 2017 International Conference on Information Systems and Computer Science (INCISCOS).

[5]  Suresh P. Sethi,et al.  Optimal Ordering Policies for Inventory Problems with Dynamic Information Delays , 2009 .

[6]  Borja Bordel,et al.  Process execution in humanized Cyber-physical systems: Soft processes , 2017, 2017 12th Iberian Conference on Information Systems and Technologies (CISTI).

[7]  Smart Factory Reference Model for Training on Industry 4.0 , 2019 .

[8]  Alexandre Dolgui,et al.  A dynamic model and an algorithm for short-term supply chain scheduling in the smart factory industry 4.0 , 2016 .

[9]  Guido Wirtz,et al.  BPMN 2.0: The state of support and implementation , 2018, Future Gener. Comput. Syst..

[10]  Haider Abbas,et al.  Cloud-Assisted IoT-Based SCADA Systems Security: A Review of the State of the Art and Future Challenges , 2016, IEEE Access.

[11]  Maria Ebling,et al.  Pervasive Computing Revisited , 2017, IEEE Pervasive Comput..

[12]  S. Lafortune Supervisory Control Of Discrete Event Systems , 2011 .

[13]  Bengt Lennartson,et al.  An Event-Driven Manufacturing Information System Architecture , 2015 .

[14]  Sohrab Asgarpoor,et al.  Hybrid system modeling and supervisory control of a microgrid , 2016, 2016 North American Power Symposium (NAPS).

[15]  Borja Bordel,et al.  A Two-Phase Algorithm for Recognizing Human Activities in the Context of Industry 4.0 and Human-Driven Processes , 2019, WorldCIST.

[16]  Yang Lu,et al.  Industry 4.0: A survey on technologies, applications and open research issues , 2017, J. Ind. Inf. Integr..

[17]  Guang-Hong Yang,et al.  Event-triggered fuzzy control for nonlinear networked control systems , 2017, Fuzzy Sets Syst..

[18]  Alexandre Dolgui,et al.  Schedule robustness analysis with the help of attainable sets in continuous flow problem under capacity disruptions , 2016 .

[19]  S. Katz,et al.  STUDIES OF ILLNESS IN THE AGED. THE INDEX OF ADL: A STANDARDIZED MEASURE OF BIOLOGICAL AND PSYCHOSOCIAL FUNCTION. , 1963, JAMA.

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

[21]  Javier Del Ser,et al.  Data fusion and machine learning for industrial prognosis: Trends and perspectives towards Industry 4.0 , 2019, Inf. Fusion.

[22]  S. Sethi,et al.  Scheduling in Production, Supply Chain and Industry 4.0 Systems by Optimal Control: Fundamentals, State-of-the-Art, and Applications , 2019, SSRN Electronic Journal.

[23]  Vincenzo Loia,et al.  Editorial to first issue , 2010, J. Ambient Intell. Humaniz. Comput..

[24]  Jan C. Aurich,et al.  Analysis of Control Architectures in the Context of Industry 4.0 , 2017 .

[25]  Borja Bordel,et al.  Fast self-configuration in service-oriented Smart Environments for real-time applications , 2018, J. Ambient Intell. Smart Environ..

[26]  Weiguo Fan,et al.  Information management strategies and supply chain performance under demand disruptions , 2016 .

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

[28]  Mariano Frutos,et al.  Industry 4.0: Smart Scheduling , 2018, Int. J. Prod. Res..

[29]  Loïg Jezequel,et al.  Distributed optimal planning: an approach by weighted automata calculus , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[30]  Emiliano Sisinni,et al.  Latency evaluation for MQTT and WebSocket Protocols: an Industry 4.0 perspective , 2018, 2018 IEEE Symposium on Computers and Communications (ISCC).

[31]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

[32]  Borja Bordel,et al.  Process execution in Cyber-Physical Systems using cloud and Cyber-Physical Internet services , 2018, The Journal of Supercomputing.

[33]  Terje Aven,et al.  How some types of risk assessments can support resilience analysis and management , 2017, Reliab. Eng. Syst. Saf..

[34]  Bernd Scholz-Reiter,et al.  Stability analysis of autonomously controlled production networks , 2011 .

[35]  Boris V. Sokolov,et al.  Optimal Control Algorithms and Their Analysis for Short-Term Scheduling in Manufacturing Systems , 2018, Algorithms.

[36]  Borja Bordel,et al.  Cyber-physical systems: Extending pervasive sensing from control theory to the Internet of Things , 2017, Pervasive Mob. Comput..

[37]  Isaías González Pérez,et al.  Integration of Sensor and Actuator Networks and the SCADA System to Promote the Migration of the Legacy Flexible Manufacturing System towards the Industry 4.0 Concept , 2018, J. Sens. Actuator Networks.

[38]  Gustavo S. Viana,et al.  Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments , 2018, IEEE Transactions on Industrial Informatics.

[39]  Mohammad Abdullah Al Faruque,et al.  Security trends and advances in manufacturing systems in the era of industry 4.0 , 2017, 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[40]  Coroiu Nicolae,et al.  SCADA: Supervisory Control and Data Acquisition , 2015 .

[41]  S. Disney,et al.  On the equivalence of control theoretic, differential, and difference equation approaches to modeling supply chains , 2006 .

[42]  Cristian Mahulea,et al.  Multi-robot path planning for syntactically co-safe LTL specifications , 2016, 2016 13th International Workshop on Discrete Event Systems (WODES).

[43]  Alexandre Dolgui,et al.  The impact of digital technology and Industry 4.0 on the ripple effect and supply chain risk analytics , 2018, Int. J. Prod. Res..

[44]  Xi Wang,et al.  Synthesis of Supervisory Control With Partial Observation on Normal State-Tree Structures , 2019, IEEE Transactions on Automation Science and Engineering.

[45]  S. Katz Studies of illness in the aged , 1963 .

[46]  Alexander Verl,et al.  Communication extension for cloud-based machine control of simulated robot processes , 2016, 2016 IEEE International Conference on Industrial Technology (ICIT).

[47]  Borja Bordel,et al.  A Hardware-Supported Algorithm for Self-Managed and Choreographed Task Execution in Sensor Networks , 2018, Sensors.

[48]  Jakob Branger,et al.  From automated home to sustainable, healthy and manufacturing home: a new story enabled by the Internet-of-Things and Industry 4.0 , 2015 .

[49]  Mohamed M. Naim,et al.  Investigating sustained oscillations in nonlinear production and inventory control models , 2017, Eur. J. Oper. Res..

[50]  Borja Bordel,et al.  Assessment of human motivation through analysis of physiological and emotional signals in Industry 4.0 scenarios , 2017 .

[51]  Karen Rudie,et al.  Supervisory Control of Discrete-Event Systems: A Brief History – 1980-2015 , 2017 .

[52]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[53]  Ramon Vilanova,et al.  Inventory control for the supply chain: An adaptive control approach based on the identification of the lead-time , 2012 .

[54]  Borja Bordel,et al.  A Predictor-Corrector Algorithm Based on Laurent Series for Biological Signals in the Internet of Medical Things , 2020, IEEE Access.

[55]  Enzo Morosini Frazzon,et al.  Data-driven production control for complex and dynamic manufacturing systems , 2018 .

[56]  Jay Lee,et al.  Cyber-physical Systems Architecture for Self-Aware Machines in Industry 4.0 Environment , 2015 .

[57]  Stéphane Lafortune,et al.  Formal synthesis of supervisory control software for multiple robot systems , 2013, 2013 American Control Conference.

[58]  Borja Bordel,et al.  Supervising Industrial Distributed Processes Through Soft Models, Deformation Metrics and Temporal Logic Rules , 2020, WorldCIST.

[59]  Bengt Lennartson,et al.  An event-driven manufacturing information system architecture for Industry 4.0 , 2017, Int. J. Prod. Res..

[60]  S. Khan,et al.  Modeling Supervisory Control of Autonomous Mobile Robots using Graph Theory, Automata and Z Notation , 2012 .

[61]  Elzbieta Roszkowska Supervisory control for multiple mobile robots in 2D space , 2002, Proceedings of the Third International Workshop on Robot Motion and Control, 2002. RoMoCo '02..

[62]  Mohamed Mohamed Naim,et al.  Dynamic analysis and design of a semiconductor supply chain: a control engineering approach , 2018, Int. J. Prod. Res..

[63]  Amir Aminifar,et al.  Analysis, Design, and Optimization of Embedded Control Systems , 2016 .

[64]  Hung T. Nguyen,et al.  A First Course in Fuzzy Logic , 1996 .

[65]  Marjan Golob,et al.  Web-based control and process automation education and industry 4.0 , 2018 .

[66]  Martin Leucker,et al.  Runtime Verification for Linear-Time Temporal Logic , 2016, SETSS.

[67]  Alexandre Dolgui,et al.  Scheduling in production, supply chain and Industry 4.0 systems by optimal control: fundamentals, state-of-the-art and applications , 2019, Int. J. Prod. Res..

[68]  Chandra Lalwani,et al.  Controllable, observable and stable state space representations of a generalized order-up-to policy , 2006 .

[69]  João Carlos Basilio,et al.  Bridging the Gap Between Design and Implementation of Discrete-Event Controllers , 2014, IEEE Transactions on Automation Science and Engineering.

[70]  Vinay M. Igure,et al.  Security issues in SCADA networks , 2006, Comput. Secur..

[71]  Ramón Alcarria,et al.  Enhancing Process Control in Industry 4.0 Scenarios using Cyber-Physical Systems , 2016, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

[72]  Juergen Jasperneite,et al.  The Future of Industrial Communication: Automation Networks in the Era of the Internet of Things and Industry 4.0 , 2017, IEEE Industrial Electronics Magazine.