Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Teixeira, Marcelo | - |
Autor(es): dc.contributor | https://orcid.org/0000-0002-1008-7838 | - |
Autor(es): dc.contributor | http://lattes.cnpq.br/8925349327322997 | - |
Autor(es): dc.contributor | Leal, André Bittencourt | - |
Autor(es): dc.contributor | https://orcid.org/0000-0002-1349-5650 | - |
Autor(es): dc.contributor | http://lattes.cnpq.br/6566308500078042 | - |
Autor(es): dc.contributor | Torrico, Cesar Rafael Claure | - |
Autor(es): dc.contributor | http://lattes.cnpq.br/2592799393618205 | - |
Autor(es): dc.contributor | Rosa, Marcelo | - |
Autor(es): dc.contributor | http://lattes.cnpq.br/4719481074638631 | - |
Autor(es): dc.contributor | Teixeira, Marcelo | - |
Autor(es): dc.contributor | http://lattes.cnpq.br/8925349327322997 | - |
Autor(es): dc.creator | Valentini, João Henrique | - |
Data de aceite: dc.date.accessioned | 2025-08-29T12:04:32Z | - |
Data de disponibilização: dc.date.available | 2025-08-29T12:04:32Z | - |
Data de envio: dc.date.issued | 2024-07-19 | - |
Data de envio: dc.date.issued | 2024-07-19 | - |
Data de envio: dc.date.issued | 2024-02-23 | - |
Fonte completa do material: dc.identifier | http://repositorio.utfpr.edu.br/jspui/handle/1/34095 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/1088525 | - |
Descrição: dc.description | A distinguishing sensor (DS) is a formal artefact which works virtually like a sensor. Its purpose is to provide details about certain events in a Discrete Event System (DES) according to their context of occurrence, which allows the coding of cognitive aspects of a DES. Sometimes, however, certain event distinctions may depend on other distinctions, provided by other DSs, in a context dependency chain that makes the design of the sensor itself complex. This paper presents the theoretical foundation for multiple interdependent DSs to be designed by Finite State Machines (FSM) and integrated within the same DES modelling scope. As this approach may result in very large models, we also show how to synthesise supervisors using the Local Modular Control (LMC) framework combined with abstraction-based synthesis and related extensions to accommodate interdependent DSs. After synthesis, large DS models usually overload also the implementation phase, since they have to be integrated with the controller. Therefore, this work also proposes a Internet of Things (IoT)-based implementation strategy that treats DSs as loose-coupled software artefacts that can be separated from the controller implementation. In this way, the unfolded composition of controllers and DSs is never actually needed, and the conceptual DSs act like physical sensors, informing the controller only and whenever required. A further contribution of this work is developing and testing a tool that converts FSMs controllers and DSs into implementable code C or Python, with support for both monolithic and modular synthesis. The approach is illustrated using a real dispatch control of a poultry company. | - |
Descrição: dc.description | Conselho Nacional do Desenvolvimento Científico e Tecnológico (CNPq) | - |
Descrição: dc.description | Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) | - |
Descrição: dc.description | Um sensor distinguidor (DS) é um artefato formal que funciona virtualmente como um sensor. Seu objetivo é fornecer detalhes sobre certos eventos em um Sistema a Eventos Discretos (DES) de acordo com seu contexto de ocorrência, o que permite a codificação de aspectos cognitivos de um DES. Às vezes, porém, certas distinções de eventos podem depender de outras distinções, fornecidas por outros DSs, em uma cadeia de dependência de contexto que torna o design do sensor em si complexo. Este artigo apresenta os fundamentos teóricos para múltiplos DSs interdependentes serem projetados por Máquinas de Estado Finito (FSM) e integrados dentro do mesmo escopo de modelagem de DES. Como essa abordagem pode resultar em modelos muito grandes, também mostramos como sintetizar supervisores usando o framework de Controle Modular Local (LMC) combinado com síntese baseada em abstração e extensões relacionadas para acomodar DSs interdependentes. Após a síntese, modelos grandes de DS geralmente sobrecarregam também a fase de implementação, uma vez que precisam ser integrados ao controlador. Portanto, este trabalho também propõe uma estratégia de implementação baseada em Internet das Coisas (IoT) que trata os DSs como artefatos de software acoplados que podem ser separados da implementação do controlador. Dessa forma, a composição unificada de controladores e DSs nunca é realmente necessária, os DSs conceituais atuam como sensores físicos, informando o controlador apenas e sempre que necessário. Uma contribuição adicional deste trabalho é o desenvolvimento e teste de uma ferramenta que converte controladores e DSs de FSMs em código implementável em C ou Python, com suporte para síntese monolítica e modular. A abordagem é ilustrada usando um controle real de despacho de uma empresa avícola. | - |
Formato: dc.format | application/pdf | - |
Idioma: dc.language | pt_BR | - |
Publicador: dc.publisher | Universidade Tecnológica Federal do Paraná | - |
Publicador: dc.publisher | Pato Branco | - |
Publicador: dc.publisher | Brasil | - |
Publicador: dc.publisher | Programa de Pós-Graduação em Engenharia Elétrica | - |
Publicador: dc.publisher | UTFPR | - |
Direitos: dc.rights | openAccess | - |
Direitos: dc.rights | https://creativecommons.org/licenses/by-sa/4.0/ | - |
Palavras-chave: dc.subject | Sistemas de tempo discreto | - |
Palavras-chave: dc.subject | Automação | - |
Palavras-chave: dc.subject | Detectores | - |
Palavras-chave: dc.subject | Discrete-time systems | - |
Palavras-chave: dc.subject | Automation | - |
Palavras-chave: dc.subject | Detectors | - |
Palavras-chave: dc.subject | CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA | - |
Palavras-chave: dc.subject | Engenharia/Tecnologia/Gestão | - |
Título: dc.title | Interdependent distinguishing sensors and their applications on discrete event systems control | - |
Título: dc.title | ISensores distinguidores interdependentes e suas aplicações em sistemas de controle a eventos discretos | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositorio Institucional da UTFPR - RIUT |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: