Publication
Simulation of Cyber-Physical Intelligent Mechatronic Component Behavior Using Timed Automata Approach
| dc.contributor.author | Santos, Adriano A | |
| dc.contributor.author | Silva, A. Ferreira da | |
| dc.contributor.author | Pereira, Filipe | |
| dc.date.accessioned | 2023-01-30T09:14:06Z | |
| dc.date.embargo | 2035 | |
| dc.date.issued | 2022 | |
| dc.description.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. | pt_PT |
| dc.description.sponsorship | 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. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.citation | Santos, A.A., da Silva, A.F., Pereira, F. (2022). Simulation of Cyber-Physical Intelligent Mechatronic Component Behavior Using Timed Automata Approach. In: , 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 | pt_PT |
| dc.identifier.doi | 10.1007/978-3-031-09385-2_7 | pt_PT |
| dc.identifier.isbn | 978-3-031-09385-2 | |
| dc.identifier.uri | http://hdl.handle.net/10400.22/21973 | |
| dc.language.iso | eng | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.publisher | Springer | pt_PT |
| dc.relation | UID/EMS/0615/2019 | pt_PT |
| dc.relation | Associate Laboratory of Energy, Transports and Aeronautics | |
| dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/978-3-031-09385-2_7 | pt_PT |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | pt_PT |
| dc.subject | Controller modelling | pt_PT |
| dc.subject | Cyber-physical system | pt_PT |
| dc.subject | Intelligent mechatronic component | pt_PT |
| dc.subject | Simulation | pt_PT |
| dc.subject | Timed automat | pt_PT |
| dc.title | Simulation of Cyber-Physical Intelligent Mechatronic Component Behavior Using Timed Automata Approach | pt_PT |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| oaire.awardTitle | Associate Laboratory of Energy, Transports and Aeronautics | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F50022%2F2020/PT | |
| oaire.citation.endPage | 85 | pt_PT |
| oaire.citation.startPage | 72 | pt_PT |
| oaire.citation.title | Innovations in Mechatronics Engineering II | pt_PT |
| oaire.fundingStream | 6817 - DCRRNI ID | |
| person.familyName | Almeida Santos | |
| person.familyName | da Silva | |
| person.givenName | Adriano Manuel | |
| person.givenName | A. Ferreira | |
| person.identifier.ciencia-id | C418-BCD9-FCC9 | |
| person.identifier.orcid | 0000-0001-8991-6768 | |
| person.identifier.orcid | 0000-0003-2067-7601 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| rcaap.rights | closedAccess | pt_PT |
| rcaap.type | bookPart | pt_PT |
| relation.isAuthorOfPublication | d8123b52-52aa-487f-9a36-6cc77ac282d9 | |
| relation.isAuthorOfPublication | 069c8d30-01d5-41bd-9c45-695ecbf14e49 | |
| relation.isAuthorOfPublication.latestForDiscovery | d8123b52-52aa-487f-9a36-6cc77ac282d9 | |
| relation.isProjectOfPublication | 80741b9a-280d-4972-b352-8d1375fbfb3b | |
| relation.isProjectOfPublication.latestForDiscovery | 80741b9a-280d-4972-b352-8d1375fbfb3b |