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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Additional title:

    Lect.Notes Mechanical Engineering



    Conference:

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



    Publication date :

    2022-06-21


    Size :

    14 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Multi-Robot Motion Planning: A Timed Automata Approach

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

    Free access

    Methods for Modeling Urban Road Traffic Using Timed Automata

    Avram, Camelia / Machado, Jose / Astilean, Adina | TIBKAT | 2020


    Towards intelligent mechatronic systems

    Isermann, R. | Tema Archive | 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

    Free access

    Approach to analyzing AADL end-to-end flow latency based on timed automata

    Lian, Xiaoli / Zhang, Li | British Library Online Contents | 2015