Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/9361
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorBasilio, João Carlos dos Santos-
dc.contributor.authorViana, Gustavo da Silva-
dc.date.accessioned2019-09-05T15:45:33Z-
dc.date.available2019-09-07T03:00:22Z-
dc.date.issued2018-02-
dc.identifier.urihttp://hdl.handle.net/11422/9361-
dc.description.abstractWe address, in this work, the problem of codiagnosability of networked discrete event systems with timing structure (NDESWTS) subject to delays and loss of observations of events between the measurement sites (MS) and local diagnosers (LD). To this end, we first introduce a new timed model that represents the dynamic behavior of the plant based on the, a priori, knowledge of the minimal firing time for each transition of the plant and on the maximal delays in the communication channels that connect MS and LD. We then convert this timed model into an equivalent untimed one, and add possible intermittent packet loss in the communication network. Based on this untimed model, we present necessary and sufficient conditions for NDESWTS codiagnosability and propose two tests for its verification: one that deploys diagnosers and another one that uses verifiers. Another topic addressed in this work is the computation of τ -codiagnosability (maximal time to diagnose a failure occurrence) and K-codiagnosability (maximal number of event occurrences necessary to diagnose a failure). To this end, we propose two tests: (i) one test based on a diagnoser-like that does not require usual assumptions on language liveness and nonexistence of unobservable cycles and (ii) another one based on the extended verifier that shows not only the ambiguous paths but also those paths that lead to language diagnosis.en
dc.languageengpt_BR
dc.publisherUniversidade Federal do Rio de Janeiropt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectEngenharia elétricapt_BR
dc.subjectSistemas de eventos discretospt_BR
dc.subjectSistemas em redept_BR
dc.titleCodiagnosability of networked discrete event systems with timing structurept_BR
dc.typeTesept_BR
dc.contributor.authorLatteshttp://lattes.cnpq.br/3524339178077443pt_BR
dc.contributor.referee1Carvalho, Lilian Kawakami-
dc.contributor.referee2Cunha, Antônio Eduardo Carrilho da-
dc.contributor.referee3Maia, Carlos Andrey-
dc.contributor.referee4Silva, José Reinaldo-
dc.description.resumoConsidera-se, neste trabalho, o problema da codiagnosticabilidade de sistemas discretos de eventos em rede com estrutura de temporização (NDESWTS) sujeitos a atrasos e perdas de observações de eventos entre os locais de medição e diagnosticadores locais e, para esse propósito, apresenta-se um novo modelo com temporização que representa o comportamento dinâmico da planta com base no conhecimento prévio do tempo mínimo de disparo para cada transição e dos atrasos máximos nos canais de comunicação que conectam LM e DL. Em seguida, converte-se o modelo temporizado em um não temporizado e adiciona-se possíveis perdas intermitentes de pacotes na rede de comunicação. Com base nesse modelo não temporizado, condições necessárias e suficientes para a codiagnosabilidade de NDESWTS são apresentadas e dois testes para sua verificação são propostos: um utilizando diagnosticadores e outro que utiliza verificadores. Um outro tópico de pesquisa abordado neste trabalho é o cálculo da τ -codiagnosticabilidade (tempo máximo para diagnosticar uma ocorrência de falha) e K-codiagnosticabilidade (número máximo de eventos para diagnosticar uma ocorrência de falha) também usando diagnosticadores e verificadores.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentInstituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenhariapt_BR
dc.publisher.programPrograma de Pós-Graduação em Engenharia Elétricapt_BR
dc.publisher.initialsUFRJpt_BR
dc.subject.cnpqCNPQ::ENGENHARIAS::ENGENHARIA ELETRICApt_BR
dc.embargo.termsabertopt_BR
Appears in Collections:Engenharia Elétrica

Files in This Item:
File Description SizeFormat 
882132.pdf1.02 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.