Logo do repositório
 
Publicação

Event-Based Modeling of Input Signal Behaviors for Discrete-Event Controllers

2024-06-19Artigo científico Acesso aberto
Ver registo simples
dc.contributor.authorGomes, Luís
dc.contributor.authorNatário, Diogo
dc.contributor.authorCosta, Anikó
dc.contributor.authorBarros, João Paulo
dc.contributor.authorCampos-Rebelo, Rogério
dc.contributor.institutionUNINOVA-Instituto de Desenvolvimento de Novas Tecnologias
dc.contributor.institutionCTS - Centro de Tecnologia e Sistemas
dc.contributor.institutionDEE - Departamento de Engenharia Electrotécnica e de Computadores
dc.contributor.pblMDPI - Multidisciplinary Digital Publishing Institute
dc.date.accessioned2024-08-01T22:21:21Z
dc.date.available2024-08-01T22:21:21Z
dc.date.issued2024-06-19
dc.descriptionFunding Information: This work was funded by the Portuguese Agency Fundação para a Ciência e a Tecnologia (FCT) program, in the framework of project Center of Technology and Systems (CTS) UIDB/00066/2020 / UIDP/00066/2020. Publisher Copyright: © 2024 by the authors.
dc.description.abstractControllers for discrete-event systems are commonly designed using state-based formalisms, like state diagrams and Petri nets. These formalisms are strongly supported by the concept of events, which, from an automation system perspective, can be associated with a simple change in the value of a signal or more complex behavioral evolutions of the signals. In this paper, the characterization of several types of events is proposed, associated with different types of signals, such as Boolean and multivalued signals. The major goal of this characterization is to improve the compactness of the model, benefiting the editing and visual interpretation of the graphical model but keeping precise execution semantics, which in turn allows for the use of computational tools covering the different stages of system development. The behavioral model of the controller is produced using a non-autonomous class of Petri nets, the IOPT nets, and the associated IOPT-Tools, which supports the specification, simulation, property verification, and automatic code generation ready to be deployed into implementation platforms. All the types of proposed events have a behavioral sub-model executed concurrently with the main model of the controller. An application example is provided to illustrate some of the advantages of the adoption of the proposed approach, encapsulating the behavioral dependencies on the evolution of input signals into events.en
dc.description.versionpublishersversion
dc.description.versionpublished
dc.format.extent14
dc.format.extent945203
dc.identifier.doi10.3390/app14125289
dc.identifier.issn2076-3417
dc.identifier.otherPURE: 95620644
dc.identifier.otherPURE UUID: 5f76ebc7-4219-4c62-ab6c-eccbc64df633
dc.identifier.otherScopus: 85197285371
dc.identifier.otherWOS: 001254562400001
dc.identifier.urihttp://hdl.handle.net/10362/170250
dc.identifier.urlhttps://www.scopus.com/pages/publications/85197285371
dc.language.isoeng
dc.peerreviewedyes
dc.relationinfo:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F00066%2F2020/PT
dc.relationCentre of Technology and Systems
dc.relationCentre of Technology and Systems
dc.subjectautomation systems
dc.subjectdiscrete-event systems
dc.subjectPetri nets
dc.subjectGeneral Engineering
dc.subjectComputer Science Applications
dc.subjectInstrumentation
dc.titleEvent-Based Modeling of Input Signal Behaviors for Discrete-Event Controllersen
dc.typejournal article
degois.publication.issue12
degois.publication.titleApplied Sciences (Switzerland)
degois.publication.volume14
dspace.entity.typePublication
oaire.awardNumberUIDB/00066/2020
oaire.awardNumberUIDP/00066/2020
oaire.awardTitleCentre of Technology and Systems
oaire.awardTitleCentre of Technology and Systems
oaire.awardURIinfo:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F00066%2F2020/PT
oaire.awardURIinfo:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDP%2F00066%2F2020/PT
oaire.fundingStream6817 - DCRRNI ID
oaire.fundingStream6817 - DCRRNI ID
project.funder.identifierhttp://doi.org/10.13039/501100001871
project.funder.identifierhttp://doi.org/10.13039/501100001871
project.funder.nameFundação para a Ciência e a Tecnologia
project.funder.nameFundação para a Ciência e a Tecnologia
rcaap.rightsopenAccess
relation.isProjectOfPublication779ae807-14a4-4e58-87e2-6dd81eb7a030
relation.isProjectOfPublication1d2038a0-e83e-4e7d-b885-ec08a407735c
relation.isProjectOfPublication.latestForDiscovery779ae807-14a4-4e58-87e2-6dd81eb7a030

Ficheiros

Principais
A mostrar 1 - 1 de 1
Miniatura
Nome:
Event-Based_Modeling_of_Input_Signal_Behaviors_for_Discrete-Event_Controllers.pdf
Tamanho:
923.05 KB
Formato:
Adobe Portable Document Format
Ver/Abrir

Coleções

Home collection (FCT)