Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/9361
Type: Tese
Title: Codiagnosability of networked discrete event systems with timing structure
Author(s)/Inventor(s): Viana, Gustavo da Silva
Advisor: Basilio, João Carlos dos Santos
Abstract: Considera-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.
Abstract: We 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.
Keywords: Engenharia elétrica
Sistemas de eventos discretos
Sistemas em rede
Subject CNPq: CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
Program: Programa de Pós-Graduação em Engenharia Elétrica
Department : Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia
Publisher: Universidade Federal do Rio de Janeiro
Issue Date: Feb-2018
Publisher country: Brasil
Language: eng
Right access: Acesso Aberto
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.