Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/6110
Type: Dissertação
Title: Safety of feedback discrete event systems with unknown controllers
Other Titles: Segurança de sistemas a eventos discretos realimentados com controladores desconhecidos
Author(s)/Inventor(s): França, Tiago Cardoso
Advisor: Moreira, Marcos Vicente de Brito
Abstract: Apresenta um dispositivo de segurança que lida com ataques cibernéticos e implementação incorreta de controladores em sistemas a eventos discretos. Um ataque cibernético modifica o comportamento do sistema, e pode levá-lo a estados inseguros, isto é, estados que podem causar danos aos componentes do sistema ou aos seus operadores. Além disso, uma implementação ou um projeto de controlador incorreto também pode levar o sistema para estados inseguros. Neste trabalho, considera-se que as modificações são realizadas na lógica de controle implementada, o que altera o comportamento do sistema e faz com que o controlador torne-se desconhecido. Tal dispositivo de segurança é desenvolvido para prevenir que a planta controlada modificada atinja estados inseguros. Entretanto, em alguns casos, o dispositivo de segurança pode bloquear comportamentos seguros do sistema. Portanto, é apresentado um algoritmo de verificação do nível de segurança da interação entre o dispositivo e a planta. Os resultados apresentados neste trabalho são ilustrados em uma planta mecatrônica do Laboratório de Controle e Automação da Universidade Federal do Rio de Janeiro (UFRJ).
Abstract: Present a safety device that deals with the problem of cyberattacks and incorrect implementation of controllers on discrete event systems. A cyber-attack modifies the behavior of the system, and may lead it to unsafe states, i.e., states that may cause damage to the system components or its operator. In addition, an incorrect implementation or design of controllers may also lead the system to unsafe states. In this work, we assume those changes in the implemented logic of the controller, which modify the behavior of the system, and thus we assume the controller to be unknown. The safety device is designed to prevent the modified controlled plant from reaching unsafe states. However, in some cases, the device may block safe behaviors of the system. For this reason, we present an algorithm to verify the safety level of the interaction between the device and the plant. The results shown in this work are illustrated by a case study in a mechatronic plant in the Control and Automation Laboratory at the Federal University of Rio de Janeiro.
Keywords: Segurança de equipamentos
Controle de processos
Sistemas discretos
Subject CNPq: CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA::ELETRONICA INDUSTRIAL, SISTEMAS E CONTROLES ELETRONICOS::CONTROLE DE PROCESSOS ELETRONICOS, RETROALIMENTACAO
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: Jun-2017
Publisher country: Brasil
Language: eng
Right access: Acesso Aberto
Appears in Collections:Engenharia Elétrica

Files in This Item:
File Description SizeFormat 
865841.pdf870,54 kBAdobe PDFView/Open


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