Safety of feedback discrete event systems with unknown controllers

Detalhes bibliográficos
Autor(a) principal: França, Tiago Cardoso
Data de Publicação: 2017
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Institucional da UFRJ
Texto Completo: http://hdl.handle.net/11422/6110
Resumo: 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.
id UFRJ_95dd99a919387a40427d65b99d121377
oai_identifier_str oai:pantheon.ufrj.br:11422/6110
network_acronym_str UFRJ
network_name_str Repositório Institucional da UFRJ
repository_id_str
spelling Safety of feedback discrete event systems with unknown controllersSegurança de sistemas a eventos discretos realimentados com controladores desconhecidosSegurança de equipamentosControle de processosSistemas discretosCNPQ::ENGENHARIAS::ENGENHARIA ELETRICA::ELETRONICA INDUSTRIAL, SISTEMAS E CONTROLES ELETRONICOS::CONTROLE DE PROCESSOS ELETRONICOS, RETROALIMENTACAOPresent 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.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).Universidade Federal do Rio de JaneiroBrasilInstituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de EngenhariaPrograma de Pós-Graduação em Engenharia ElétricaUFRJMoreira, Marcos Vicente de Britohttp://lattes.cnpq.br/0324161907920765Cunha, Antônio Eduardo Carrilho daCarvalho, Lilian KawakamiFrança, Tiago Cardoso2019-01-17T16:10:23Z2023-12-21T03:02:41Z2017-06info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://hdl.handle.net/11422/6110enginfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRJinstname:Universidade Federal do Rio de Janeiro (UFRJ)instacron:UFRJ2023-12-21T03:02:41Zoai:pantheon.ufrj.br:11422/6110Repositório InstitucionalPUBhttp://www.pantheon.ufrj.br/oai/requestpantheon@sibi.ufrj.bropendoar:2023-12-21T03:02:41Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ)false
dc.title.none.fl_str_mv Safety of feedback discrete event systems with unknown controllers
Segurança de sistemas a eventos discretos realimentados com controladores desconhecidos
title Safety of feedback discrete event systems with unknown controllers
spellingShingle Safety of feedback discrete event systems with unknown controllers
França, Tiago Cardoso
Segurança de equipamentos
Controle de processos
Sistemas discretos
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA::ELETRONICA INDUSTRIAL, SISTEMAS E CONTROLES ELETRONICOS::CONTROLE DE PROCESSOS ELETRONICOS, RETROALIMENTACAO
title_short Safety of feedback discrete event systems with unknown controllers
title_full Safety of feedback discrete event systems with unknown controllers
title_fullStr Safety of feedback discrete event systems with unknown controllers
title_full_unstemmed Safety of feedback discrete event systems with unknown controllers
title_sort Safety of feedback discrete event systems with unknown controllers
author França, Tiago Cardoso
author_facet França, Tiago Cardoso
author_role author
dc.contributor.none.fl_str_mv Moreira, Marcos Vicente de Brito
http://lattes.cnpq.br/0324161907920765
Cunha, Antônio Eduardo Carrilho da
Carvalho, Lilian Kawakami
dc.contributor.author.fl_str_mv França, Tiago Cardoso
dc.subject.por.fl_str_mv Segurança de equipamentos
Controle de processos
Sistemas discretos
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA::ELETRONICA INDUSTRIAL, SISTEMAS E CONTROLES ELETRONICOS::CONTROLE DE PROCESSOS ELETRONICOS, RETROALIMENTACAO
topic Segurança de equipamentos
Controle de processos
Sistemas discretos
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA::ELETRONICA INDUSTRIAL, SISTEMAS E CONTROLES ELETRONICOS::CONTROLE DE PROCESSOS ELETRONICOS, RETROALIMENTACAO
description 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.
publishDate 2017
dc.date.none.fl_str_mv 2017-06
2019-01-17T16:10:23Z
2023-12-21T03:02:41Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/11422/6110
url http://hdl.handle.net/11422/6110
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal do Rio de Janeiro
Brasil
Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia
Programa de Pós-Graduação em Engenharia Elétrica
UFRJ
publisher.none.fl_str_mv Universidade Federal do Rio de Janeiro
Brasil
Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia
Programa de Pós-Graduação em Engenharia Elétrica
UFRJ
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRJ
instname:Universidade Federal do Rio de Janeiro (UFRJ)
instacron:UFRJ
instname_str Universidade Federal do Rio de Janeiro (UFRJ)
instacron_str UFRJ
institution UFRJ
reponame_str Repositório Institucional da UFRJ
collection Repositório Institucional da UFRJ
repository.name.fl_str_mv Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ)
repository.mail.fl_str_mv pantheon@sibi.ufrj.br
_version_ 1815455980624805888

Registros relacionados