Abstract
This article presents a new approach for the simulation of Cyber-Physical Intelligent Mechatronics Components using process evolution based on the timed approach. The purpose of this article is to address the issue of implementing the Intelligent Mechatronics Components control from the bench point of view and its simulation considering a virtual system composed of a single programmable logic controller and a touchscreen. For this, we intend to develop a systematic approach that allows modeling physical cybernetic systems based on timed automata. The proposed methodology makes it possible to define, in a systematic way, the formalisms and tools to model the controller and the respective plant. These global models can be used to simulate and validate systems based on development tools like UPPAAL software, so the proposed approach intends to systematically define their development. To present and explain the proposed methodology, a Modular Production System was used to distribute objects as a physical element. A virtual platform based on the Simatic TIA Portal was developed to monitor and validate the methodology.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Adriano, A.: Santos, António Ferreira da Silva: simulation and control of a cyber-physical system under IEC 61499 standard. Procedia Manuf. 55, 72–79 (2021). https://doi.org/10.1016/j.promfg.2021.10.011
Canadas, N., Machado, J., Soares, F., Barros, C., Varela, L.: Simulation of cyber physical systems behaviour using timed plant models. Mechatronics 54, 175–185 (2018). https://doi.org/10.1016/j.mechatronics.2017.10.009
Kunz, G., Machado, J., Perondi, E., Vyatkin, V.: A formal methodology for accomplishing IEC 61850 real-time communication requirements. IEEE Trans. Ind. Electr. 64(8), 6582–6590 (2017). https://doi.org/10.1109/TIE.2017.2682042
Lampropoulos, G., Siakas, K., Anastasiadis, T.: Internet of things in the context of industry 4.0: an overview. Int. J. Entrepr. Knowl. 7(1), pp. 4–19 (2019). https://doi.org/10.37335/ijek.v7i1.84
Putnik, G.D., Ferreira, L., Lopes, N., Putnik, Z.: What is a cyber-physical system: definitions and models spectrum. FME Trans. 47(4), 663–674 (2019). https://doi.org/10.5937/fmet1904663P
Castro, H., et al.: Cyber-physical systems using open design: an approach towards an open science lab for manufacturing. Procedia Comput. Sci. 196, 381–388 (2022). https://doi.org/10.1016/j.procs.2021.12.027
Samala, T., Manupati, V.K., Machado, J., Khandelwal, S., Antosz, K.: A systematic simulation-based multi-criteria decision-making approach for the evaluation of semi-fully flexible machine system process parameters. Electronics 11(2), 233 (2022). https://doi.org/10.3390/electronics11020233
Ebel, F., Pany, M.: FESTO Distributing Station Manual. Denkendorf, April 2006
Vyatkin, V.: Intelligent mechatronic components: control system engineering using an open distributed architecture. In: Proceedings of the EFTA 2003-IEEE Conference on Emerging Technologies and Factory Automation. (Cat. No. 03TH8696), vol. 2, pp. 277–284 (2003). https://doi.org/10.1109/ETFA.2003.1248711
Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994). https://doi.org/10.1016/0304-3975(94)90010-8
Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal 4.0. https://www.it.uu.se/research/group/darts/papers/texts/new-tutorial.pdf. Accessed 2 Jan 2022
Campos, J.C., Machado, J.: Pattern-based analysis of automated production systems. IFAC Proc. Vol. (IFAC-PapersOnline) 42(4), 972–977 (2009). https://doi.org/10.3182/20090603-3-RU-2001.0425
Uzam, M.: A general technique for the PLC-based implementation of RW supervisors with time delay functions. Int. J. Adv. Manuf. Technol. 62, 687–704 (2012). https://doi.org/10.1007/s00170-011-3817-1
International Standard IEC 61131-3, Programmable Controllers – part 3: Programming languages, IEC (2013)
SIMATIC, S7-1200 Programmable controller – System Manual, V4.4 11/2019, A5E02486680-AM (2019). https://support.industry.siemens.com/cs/attachments/109772940/s71200_system_manual_en-US_en-US.pdf?download=true. Accessed 19 Jan 2022
Acknowledgements
We acknowledge the financial support by FCT – Portuguese Foundation for the Development of Science and Technology, through CIDEM, under the Project UID/EMS/0615/2019, and the INEGI and LAETA, under project UIDB/50022/2020.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Santos, A.A., da Silva, A.F., Pereira, F. (2022). Simulation of Cyber-Physical Intelligent Mechatronic Component Behavior Using Timed Automata Approach. In: Machado, J., et al. Innovations in Mechatronics Engineering II. icieng 2022. Lecture Notes in Mechanical Engineering. Springer, Cham. https://doi.org/10.1007/978-3-031-09385-2_7
Download citation
DOI: https://doi.org/10.1007/978-3-031-09385-2_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-09384-5
Online ISBN: 978-3-031-09385-2
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)