Use este identificador para citar ou linkar para este item: http://hdl.handle.net/11422/6004
Tipo: Tese
Título: Supervisory control of networked discrete event systems with timing structure
Autor(es)/Inventor(es): Alves, Marcos Vinícius Silva
Orientador: Basilio, João Carlos dos Santos
Resumo: Neste trabalho, considera-se o problema de controle supervisório de Sistemas a Eventos Discretos em rede com Estrutura Temporizada (SEDRET) sujeitos a atrasos limitados e perdas intermitentes de observação. Supõe-se que a comunicação entre a planta e o supervisor seja feita utilizando-se uma rede formada por vários canais de comunicação de modo que atrasos de comunicação podem causar mudanças na ordem das observações. Será proposto um modelo não temporizado equivalente para SEDRET que caracteriza todas as consequências de atrasos e perdas de observação. Com esse objetivo, supõe-se o conhecimento prévio dos tempos mínimos de ativação das transições da planta e dos atrasos máximos na comunicação e consideram-se, também, possíveis perdas de pacote. Um problema de controle supervisório em rede é formulado com base no modelo proposto e, em seguida, é apresentada uma condição necessária e suficiente para a existência de um supervisor em rede. Um método para projetar esses supervisores utilizando a propriedade da observabilidade relativa para aumentar a permissividade da linguagem obtida será apresentado. Adicionalmente, outro tópico de pesquisa abordado nesse trabalho é o conceito de observabilidade relativa. Neste contexto, algoritmos para a verificação da observabilidade relativa e para o cálculo de sublinguagens relativamente observáveis são propostos. Esses algoritmos são mais eficientes do que aqueles existentes na literatura.
Resumo: In this work, we study the supervisory control problem of Networked Discrete Event Systems with Timing Structure (NDESWTS), that is subject to bounded communication delays and intermittent loss of observations. We assume that the communication between the plant and the supervisor is carried out through a network that can have several channels, so that, communication delays may change the order of the observations. We will propose an untimed equivalent model for NDESWTS that represents all possible implications of delays and loss of observations. For this matter, we assume a priori knowledge of the minimal transition activation time and the maximal communication delays, and also take into account possible packet losses. Based on this model, we formulate a networked supervisory control problem and present a necessary and sufficient condition for the existence of a networked supervisor. We also present a systematic way to design networked supervisors, where we use the property of relative observability in order to increase the achieved language permissiveness. In addition, another research topic addressed in this work is the concept of relative observability. In this concern, we propose new algorithms for the verification of relative observability and computation of relatively observable sublanguages, shown to be more efficient than the previous ones proposed in the literature.
Palavras-chave: Engenharia elétrica
Sistemas de eventos discretos
Rede de comunicação
Assunto CNPq: CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
Programa: Programa de Pós-Graduação em Engenharia Elétrica
Unidade produtora: Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia
Editora: Universidade Federal do Rio de Janeiro
Data de publicação: Nov-2017
País de publicação: Brasil
Idioma da publicação: por
Tipo de acesso: Acesso Aberto
Aparece nas coleções:Engenharia Elétrica

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
866569.pdf570.46 kBAdobe PDFVisualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.