{"id":{"repo_id":"brazil-uerj","oai_identifier":"oai:pantheon.ufrj.br:11422/6110"},"canonical_url":"https://search.dev.ndltd.org/etd/brazil-uerj/oai:pantheon.ufrj.br:11422/6110","repository":{"repo_id":"brazil-uerj","name":"Brazil UERJ","base_url":"https://pantheon.ufrj.br/oai/request"},"display":{"title":"Safety of feedback discrete event systems with unknown controllers","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.","abstract_html":"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.","abstract_has_math":false,"creators":["França, Tiago Cardoso"],"institution":"Universidade Federal do Rio de Janeiro","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Moreira, Marcos Vicente de Brito"],"committee_chairs":[],"committee_members":[],"year":2017,"date_issued":"2017-06","date_published":"2017-06","updated_at":"2026-07-24T01:16:18Z","subjects":["Segurança de equipamentos","Controle de processos","Sistemas discretos"],"languages":["eng"],"rights":["Acesso Aberto"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/11422/6110","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Moreira, Marcos Vicente de Brito"]},{"key":"dc:creator","label":"Author","values":["França, Tiago Cardoso"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2019-01-17T16:10:23Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2026-05-16T03:03:27Z"]},{"key":"dc:date.issued","label":"Date","values":["2017-06"]},{"key":"dc:publisher","label":"Institution","values":["Universidade Federal do Rio de Janeiro"]},{"key":"dc:publisher.department","label":"Dc Publisher Department","values":["Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia"]},{"key":"dc:type","label":"Dc Type","values":["Dissertação"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Segurança de equipamentos","Controle de processos","Sistemas discretos"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["Acesso Aberto"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/11422/6110"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:title","label":"Title","values":["Safety of feedback discrete event systems with unknown controllers"]}]}],"canonical_facts":{"dc:contributor.advisor":["Moreira, Marcos Vicente de Brito"],"dc:creator":["França, Tiago Cardoso"],"dc:date.accessioned":["2019-01-17T16:10:23Z"],"dc:date.available":["2026-05-16T03:03:27Z"],"dc:date.issued":["2017-06"],"dc:description.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."],"dc:identifier.uri":["http://hdl.handle.net/11422/6110"],"dc:language":["eng"],"dc:publisher":["Universidade Federal do Rio de Janeiro"],"dc:publisher.department":["Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia"],"dc:rights":["Acesso Aberto"],"dc:subject":["Segurança de equipamentos","Controle de processos","Sistemas discretos"],"dc:title":["Safety of feedback discrete event systems with unknown controllers"],"dc:type":["Dissertação"]},"updated_at":"2026-07-24T01:16:18Z"}