Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/6004
Type: Tese
Title: Supervisory control of networked discrete event systems with timing structure
Author(s)/Inventor(s): Alves, Marcos Vinícius Silva
Advisor: Basilio, João Carlos dos Santos
Abstract: 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.
Abstract: 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.
Keywords: Engenharia elétrica
Sistemas de eventos discretos
Rede de comunicação
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: Nov-2017
Publisher country: Brasil
Language: por
Right access: Acesso Aberto
Appears in Collections:Engenharia Elétrica

Files in This Item:
File Description SizeFormat 
866569.pdf570,46 kBAdobe PDFView/Open


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