Controlling Supervised Industry 4.0 Processes through Logic Rules and Tensor Deformation Functions
Volume 32, Issue 2 (2021), pp. 217–245
Pub. online: 12 January 2021
Type: Research Article
Open Access
Open Access
Received
1 July 2020
1 July 2020
Accepted
1 December 2020
1 December 2020
Published
12 January 2021
12 January 2021
Abstract
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.
References
Aminifar, A. (2016). Analysis, Design, and Optimization of Embedded Control Systems, Vol. 1746. Linköping University Electronic Press, Linköping, Sweden. https://doi.org/10.3384/diss.diva-124319.
Aven, T. (2017). How some types of risk assessments can support resilience analysis and management. Reliability Engineering and System Safety, 167, 536–543. https://doi.org/10.1016/j.ress.2017.07.005.
Bagheri, B., Yang, S., Kao, H.A., Lee, J. (2015). Cyber-physical systems architecture for self-aware machines in Industry 4.0 environment. In: IFAC-PapersOnLine, Vol. 28. Elsevier, Berlin, pp. 1622–1627. https://doi.org/10.1016/j.ifacol.2015.06.318.
Bensoussan, A., Çakanyildirim, M., Sethi, S.P. (2009). Optimal ordering policies for inventory problems with dynamic information delays. Production and Operations Management, 16(2), 241–256. https://doi.org/10.1111/j.1937-5956.2007.tb00178.x.
Bordel, B., Alcarria, R. (2017). Assessment of human motivation through analysis of physiological and emotional signals in Industry 4.0 scenarios. Journal of Ambient Intelligence and Humanized Computing, 1, 1–21. https://doi.org/10.1007/s12652-017-0664-4.
Bordel, B., Alcarria, R., Jara, A. (2017a). Process execution in humanized cyber-physical systems: Soft processes. In: Iberian Conference on Information Systems and Technologies, CISTI. IEEE Computer Society, Washington DC, USA. https://doi.org/10.23919/CISTI.2017.7975901.
Bordel, B., Alcarria, R., Robles, T., Martín, D. (2017b). Cyber-physical systems: extending pervasive sensing from control theory to the internet of things. Pervasive and Mobile Computing, 40, 156–184. https://doi.org/10.1016/j.pmcj.2017.06.011.
Bordel, B., Alcarria, R., Martín, D., Robles, T., de Rivera, D.S. (2017c). Self-configuration in humanized cyber-physical systems. Journal of Ambient Intelligence and Humanized Computing, 8(4), 485–496. https://doi.org/10.1007/s12652-016-0410-3.
Bordel, B., Miguel, C., Alcarria, R., Robles, T. (2018a). A hardware-supported algorithm for self-managed and choreographed task execution in sensor networks. Sensors, 18(3), 812. https://doi.org/10.3390/s18030812.
Bordel, B., Alcarria, R., Sanchez De Rivera, D., Martín, D., Robles, T. (2018b). Fast self-configuration in service-oriented smart environments for real-time applications. Journal of Ambient Intelligence and Smart Environments, 10(2), 143–167. https://doi.org/10.3233/AIS-180479.
Bordel, B., Alcarria, R., de Rivera, D.S., Robles, T. (2018c). Process execution in cyber-physical systems using cloud and cyber-physical internet services. Journal of Supercomputing, 74(8), 4127–4169. https://doi.org/10.1007/s11227-018-2416-4.
Bordel, B., Alcarria, R., Sánchez-de-Rivera, D. (2019). A two-phase algorithm for recognizing human activities in the context of industry 4.0 and human-driven processes. In: Advances in Intelligent Systems and Computing, Vol. 931. Springer-Verlag, Berlin, pp. 175–185. https://doi.org/10.1007/978-3-030-16184-2_18.
Bordel, B., Alcarria, R., Robles, T. (2020a). Supervising industrial distributed processes through soft models, deformation metrics and temporal logic rules. In: Advances in Intelligent Systems and Computing, Vol. 1160 AISC. Springer, Berlin, pp. 125–136. https://doi.org/10.1007/978-3-030-45691-7_12.
Bordel, B., Alcarria, R., Robles, T., You, I. (2020b). A predictor-corrector algorithm based on laurent series for biological signals in the internet of medical things. IEEE Access, 8, 109360–109371. https://doi.org/10.1109/ACCESS.2020.3001275.
Branger, J., Pang, Z. (2015). From automated home to sustainable, healthy and manufacturing home: a new story enabled by the Internet-of-Things and Industry 4.0. Journal of Management Analytics, 2(4). https://doi.org/10.1080/23270012.2015.1115379.
Calderón Godoy, A., González Pérez, I. (2018). 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. Journal of Sensor and Actuator Networks, 7(2), 23. https://doi.org/10.3390/jsan7020023.
Chhetri, S.R., Rashid, N., Faezi, S., Faruque, M.A.A. (2017). Security trends and advances in manufacturing systems in the era of Inxdustry 4.0. In: IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD, Vol. 2017-November. Institute of Electrical and Electronics Engineers Inc., New Jersey, USA, pp. 1039–1046. https://doi.org/10.1109/ICCAD.2017.8203896.
Diez-Olivan, A., Del Ser, J., Galar, D., Sierra, B. (2019). Data fusion and machine learning for industrial prognosis: trends and perspectives towards Industry 4.0. Information Fusion, 50, 92–111. https://doi.org/10.1016/j.inffus.2018.10.005.
Disney, S.M., Towill, D.R., Warburton, R.D.H. (2006). On the equivalence of control theoretic, differential, and difference equation approaches to modeling supply chains. International Journal of Production Economics, 101(1 spec. iss.), 194–208. https://doi.org/10.1016/j.ijpe.2005.05.002.
Dolgui, A., Ivanov, D., Sethi, S.P., Sokolov, B. (2019). Scheduling in production, supply chain and Industry 4.0 systems by optimal control: fundamentals, state-of-the-art and applications. International Journal of Production Research, 57(2), 411–432. https://doi.org/10.1080/00207543.2018.1442948.
Ebling, M.R., Want, R. (2017). Pervasive Computing Revisited. Institute of Electrical and Electronics Engineers Inc. https://doi.org/10.1109/MPRV.2017.2940959.
Fabre, E., Jezequel, L. (2009). Distributed optimal planning: an approach by weighted automata calculus. In: Proceedings of the IEEE Conference on Decision and Control. IEEE, New Jersey, USA, pp. 211–216. https://doi.org/10.1109/CDC.2009.5400084.
Foruzan, E., Asgarpoor, S., Bradley, J.M. (2016). Hybrid system modeling and supervisory control of a microgrid. In: NAPS 2016 – 48th North American Power Symposium, Proceedings. Institute of Electrical and Electronics Engineers Inc., New Jersey, USA. https://doi.org/10.1109/NAPS.2016.7747840.
Frazzon, E.M., Kück, M., Freitag, M. (2018). Data-driven production control for complex and dynamic manufacturing systems. CIRP Annals, 67(1), 515–518. https://doi.org/10.1016/j.cirp.2018.04.033.
Garcia, C.A., Ibeas, A., Herrera, J., Vilanova, R. (2012). Inventory control for the supply chain: an adaptive control approach based on the identification of the lead-time. Omega, 40(3), 314–327. https://doi.org/10.1016/j.omega.2011.07.003.
Geiger, M., Harrer, S., Lenhard, J., Wirtz, G. (2018). BPMN 2.0: the state of support and implementation. Future Generation Computer Systems, 80, 250–262. https://doi.org/10.1016/j.future.2017.01.006.
Gonzalez, A.G.C., Alves, M.V.S., Viana, G.S., Carvalho, L.K., Basilio, J.C. (2018). Supervisory control-based navigation architecture: a new framework for autonomous robots in Industry 4.0 environments. IEEE Transactions on Industrial Informatics, 14(4), 1732–1743. https://doi.org/10.1109/TII.2017.2788079.
Goryca, J., Hill, R.C. (2013). Formal synthesis of supervisory control software for multiple robot systems. In: Proceedings of the American Control Conference. Institute of Electrical and Electronics Engineers Inc., New Jersey, USA, pp. 125–131. https://doi.org/10.1109/acc.2013.6579825.
Gu, C., Wang, X., Li, Z. (2019). Synthesis of supervisory control with partial observation on normal state-tree structures. IEEE Transactions on Automation Science and Engineering, 16(2), 984–997. https://doi.org/10.1109/TASE.2018.2880178.
Hill, R.C., Lafortune, S. (2017). Scaling the formal synthesis of supervisory control software for multiple robot systems. In: Proceedings of the American Control Conference. Institute of Electrical and Electronics Engineers Inc., New Jersey, USA, pp. 3840–3847. https://doi.org/10.23919/ACC.2017.7963543.
Igure, V.M., Laughter, S.A., Williams, R.D. (2006). Security issues in SCADA networks. Computers and Security, 25(7), 498–506. https://doi.org/10.1016/j.cose.2006.03.001.
Ivanov, D., Dolgui, A., Sokolov, B., Werner, F., Ivanova, M. (2016a). A dynamic model and an algorithm for short-term supply chain scheduling in the smart factory Industry 4.0. International Journal of Production Research, 54(2), 386–402. https://doi.org/10.1080/00207543.2014.999958.
Ivanov, D., Dolgui, A., Sokolov, B., Werner, F. (2016b). Schedule robustness analysis with the help of attainable sets in continuous flow problem under capacity disruptions. International Journal of Production Research, 54(11), 3397–3413. https://doi.org/10.1080/00207543.2015.1129467.
Ivanov, D., Dolgui, A., Sokolov, B. (2019). The impact of digital technology and Industry 4.0 on the ripple effect and supply chain risk analytics. International Journal of Production Research, 57(3), 829–846. https://doi.org/10.1080/00207543.2018.1488086.
Katz, S., Ford, A.B., Moskowitz, R.W., Jackson, B.A., Jaffe, M.W. (1963). Studies of illness in the aged: the index of ADL: a standardized measure of biological and psychosocial function. JAMA: The Journal of the American Medical Association, 185(12), 914–919. https://doi.org/10.1001/jama.1963.03060120024016.
Kloetzer, M., Mahulea, C. (2016). Multi-robot path planning for syntactically co-safe LTL specifications. In: 2016 13th International Workshop on Discrete Event Systems, WODES 2016. Institute of Electrical and Electronics Engineers Inc., New Jersey, USA, pp. 452–458. https://doi.org/10.1109/WODES.2016.7497887.
Kretschmer, F., Friedl, S., Lechler, A., Verl, A. (2016). Communication extension for cloud-based machine control of simulated robot processes. In: Proceedings of the IEEE International Conference on Industrial Technology, Vol. 2016-May. Institute of Electrical and Electronics Engineers Inc., New Jersey, USA, pp. 54–58. https://doi.org/10.1109/ICIT.2016.7474725.
Lalwani, C.S., Disney, S.M., Towill, D.R. (2006). Controllable, observable and stable state space representations of a generalized order-up-to policy. International Journal of Production Economics, 101(1 spec. iss.), 172–184. https://doi.org/10.1016/j.ijpe.2005.05.014.
Leucker, M. (2017). Runtime verification for linear-time temporal logic. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10215. Springer-Verlag, Berlin, pp. 151–194. https://doi.org/10.1007/978-3-319-56841-6_5.
Lin, J., Spiegler, V.L.M., Naim, M.M. (2018). Dynamic analysis and design of a semiconductor supply chain: a control engineering approach. International Journal of Production Research, 56(13), 4585–4611. https://doi.org/10.1080/00207543.2017.1396507.
Lu, Y. (2017). Industry 4.0: A survey on technologies, applications and open research issues. Journal of Industrial Information Integration, 6, 1–10. https://doi.org/10.1016/j.jii.2017.04.005.
Meissner, H., Ilsen, R., Aurich, J.C. (2017). Analysis of control architectures in the context of Industry 4.0. Procedia CIRP, 62, pp. 165–169. https://doi.org/10.1016/j.procir.2016.06.113.
Merchan, D.F., Peralta, J.A., Vazquez-Rodas, A., Minchala, L.I., Astudillo-Salinas, D. (2018). Open source SCADA system for advanced monitoring of industrial processes. In: Proceedings – 2017 International Conference on Information Systems and Computer Science, INCISCOS 2017, Vol. 2017-November. Institute of Electrical and Electronics Engineers Inc., New Jersey, USA, pp. 160–165. https://doi.org/10.1109/INCISCOS.2017.9.
Moreira, M.V., Basilio, J.C. (2014). Bridging the gap between design and implementation of discrete-event controllers. IEEE Transactions on Automation Science and Engineering, 11(1), 48–65. https://doi.org/10.1109/TASE.2013.2281733.
Pan, Y., Yang, G.H. (2017). Event-triggered fuzzy control for nonlinear networked control systems. Fuzzy Sets and Systems, 329, 91–107. https://doi.org/10.1016/j.fss.2017.05.010.
Rossit, D.A., Tohmé, F., Frutos, M. (2019). Industry 4.0: smart scheduling. International Journal of Production Research, 57(12), 3802–3813. https://doi.org/10.1080/00207543.2018.1504248.
Roszkowska, E. (2002). Supervisory control for multiple mobile robots in 2D space. In: Proceedings of the 3rd International Workshop on Robot Motion and Control, RoMoCo 2002. Institute of Electrical and Electronics Engineers Inc., New Jersey, USA, pp. 187–192. https://doi.org/10.1109/ROMOCO.2002.1177106.
Sajid, A., Abbas, H., Saleem, K. (2016). Cloud-assisted IoT-based SCADA systems security: a review of the state of the art and future challenges. IEEE Access, 4, 1375–1384. https://doi.org/10.1109/ACCESS.2016.2549047
Sampath, M., Sinnamohideen, K., Lafortune, S., Teneketzis, D. (1995). Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control, 40(9), 1555–1575. https://doi.org/10.1109/9.412626.
Sánchez, B.B., Alcarria, R., Sańchez-De-Rivera, D., Sańchez-Picot, Á. (2016). Enhancing process control in Industry 4.0 scenarios using Cyber-Physical systems. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 7(4), 41–64. https://doi.org/10.22667/JOWUA.2016.12.31.041.
Scholz-Reiter, B., Dashkovskiy, S., Görges, M., Naujok, L. (2011). Stability analysis of autonomously controlled production networks. International Journal of Production Research, 49(16), 4857–4877. https://doi.org/10.1080/00207543.2010.505215.
Silva, D.R.C., Oliveira, G.M.B., Silva, I., Ferrari, P., Sisinni, E. (2018). Latency evaluation for MQTT and WebSocket protocols: an Industry 4.0 perspective. In: Proceedings – IEEE Symposium on Computers and Communications, Vol. 2018-June. Institute of Electrical and Electronics Engineers Inc., New Jersey, USA, pp. 1233–1238. https://doi.org/10.1109/ISCC.2018.8538692.
Sokolov, B., Dolgui, A., Ivanov, D. (2018). Optimal control algorithms and their analysis for short-term scheduling in manufacturing systems. Algorithms, 11(5), 57. https://doi.org/10.3390/a11050057.
Spiegler, V.L.M., Naim, M.M. (2017). Investigating sustained oscillations in nonlinear production and inventory control models. European Journal of Operational Research, 261(2), 572–583. https://doi.org/10.1016/j.ejor.2017.02.010.
Theorin, A., Bengtsson, K., Provost, J., Lieder, M., Johnsson, C., Lundholm, T., Lennartson, B. (2017). An event-driven manufacturing information system architecture for Industry 4.0. International Journal of Production Research, 55(5), 1297–1311. https://doi.org/10.1080/00207543.2016.1201604.
Van Der Aalst, W.M.P., Ter Hofstede, A.H.M. (2005). YAWL: Yet another workflow language. Information Systems, 30(4), 245–275. https://doi.org/10.1016/j.is.2004.02.002.
Wollschlaeger, M., Sauter, T., Jasperneite, J. (2017). The future of industrial communication: automation networks in the era of the internet of things and Industry 4.0. IEEE Industrial Electronics Magazine, 11(1), 17–27. https://doi.org/10.1109/MIE.2017.2649104.
Wonham, W.M., Cai, K. (2019). Supervisory Control of Discrete-Event Systems. Communications and Control Engineering. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-319-77452-7.
Wonham, W.M., Cai, K., Rudie, K. (2018). Supervisory control of discrete-event systems: a brief history. Annual Reviews in Control, 45, 250–256. https://doi.org/10.1016/j.arcontrol.2018.03.002.
Yang, T., Fan, W. (2016). Information management strategies and supply chain performance under demand disruptions. International Journal of Production Research, 54, 8–27. https://doi.org/10.1080/00207543.2014.991456.
Zhang, Q., Liu, P., Pannek, J. (2019). Combining MPC and integer operators for capacity adjustment in job-shop systems with RMTs. International Journal of Production Research, 57(8), 2498–2513. https://doi.org/10.1080/00207543.2018.1521022.
Biographies
Bordel Borja
B. Bordel received the BS degree in telecommunication engineering, in 2012, and the MS in telecommunication engineering, in 2014, both from Technical University of Madrid. He obtained his PhD, in 2018, and he is currently an assistant professor in the Computer Science School. His research interests include cyber-physical systems, wireless sensor networks, radio access technologies, communication protocols and complex systems.
Alcarria Ramón
R. Alcarria received his MS and PhD degrees in telecommunication engineering from the Technical University of Madrid, in 2008 and 2013, respectively. Currently, he is an associate professor at the Department of Geospatial Engineering of the Technical University of Madrid. He has been involved in several European and National R&D projects related to Future Internet, Internet of Things and service composition. His research interests are service architectures, sensor networks, human-computer interaction and prosumer environments.
Robles Tomás
T. Robles received a MS and PhD degrees in telecommunication engineering from Technical University of Madrid, in 1987 and 1991, respectively. He is a full professor of telematics engineering at the E.T.S.I. Telecommunication of the Technical University of Madrid. His research interest is focused on advanced applications and services for wireless networks, also on blockchain-based infrastructures.
