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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Simulation of Cyber-Physical Intelligent Mechatronic Component Behavior Using Timed Automata Approach


    Weitere Titelangaben:

    Lect.Notes Mechanical Engineering


    Beteiligte:
    Machado, José (Herausgeber:in) / Soares, Filomena (Herausgeber:in) / Trojanowska, Justyna (Herausgeber:in) / Yildirim, Sahin (Herausgeber:in) / Vojtěšek, Jiří (Herausgeber:in) / Rea, Pierluigi (Herausgeber:in) / Gramescu, Bogdan (Herausgeber:in) / Hrybiuk, Olena O. (Herausgeber:in) / Santos, Adriano A. (Autor:in) / da Silva, António Ferreira (Autor:in)

    Kongress:

    International Conference Innovation in Engineering ; 2022 ; Minho, Portugal June 28, 2022 - June 30, 2022



    Erscheinungsdatum :

    2022-06-21


    Format / Umfang :

    14 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Multi-Robot Motion Planning: A Timed Automata Approach

    Quottrup, Michael Melholt / Bak, Thomas / Izadi-Zamanabadi, Roozbeh | BASE | 2004

    Freier Zugriff

    Towards intelligent mechatronic systems

    Isermann, R. | Tema Archiv | 1993


    An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods

    Eduardo Valente / Camelia Avram / José Machado et al. | DOAJ | 2018

    Freier Zugriff

    Intelligent cyber-physical systems for autonomous transportation

    Garg, Sahil ;Aujla, Gagangeet Singh ;Kaur, Kuljeet | TIBKAT | 2022


    Runtime Verification of Railway Interlocking Software with Parametric Timed Automata

    Chai, Ming / Wang, Haifeng / Zhang, Jian et al. | IEEE | 2018