Pantheon Institutional repository
Collect, preserve and disseminate digital academic production in all areas of knowledge.
Comprise the assets of the repository, in addition to theses and dissertations at UFRJ, scientific articles, electronic books, book chapters and papers presented at events for teachers, researchers, administrative staff and students of master's and doctoral degrees.
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 |
| Production unit: | 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 | Size | Format | |
|---|---|---|---|---|
| 865841.pdf | 870.54 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.