Please use this identifier to cite or link to this item: http://hdl.handle.net/1843/35025
Full metadata record
DC FieldValueLanguage
dc.contributor.advisor1Patrícia Nascimento Penapt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/5778873769416387pt_BR
dc.contributor.referee1José Eduardo Ribeiro Curypt_BR
dc.contributor.referee2João Carlos das Santos Basíliopt_BR
dc.contributor.referee3Bruno Vilhena Adornopt_BR
dc.contributor.referee4Ricardo Hiroshi Caldeira Takahashipt_BR
dc.contributor.referee5Vinícius Mariano Gonçalvespt_BR
dc.creatorLucas Vinícius Ribeiro Alvespt_BR
dc.creator.Latteshttp://lattes.cnpq.br/0151884196328543pt_BR
dc.date.accessioned2021-02-19T17:19:39Z-
dc.date.available2021-02-19T17:19:39Z-
dc.date.issued2020-12-17-
dc.identifier.urihttp://hdl.handle.net/1843/35025-
dc.description.abstractManufacturing systems are increasingly subject to external attacks and failures, whether by defects in sensors and actuators or by communication problems. In this context, the security of these systems is an increasingly studied problem, including in the field of Discrete Event Systems (DES) using Supervisory Control Theory (SCT). In this work we propose to deal with security problems in DES using the Synchronizing Automata Theory, which allows us to use a synchronizing word to synchronize the supervisors and plants in case the state that the supervisor estimates the plant does not correspond to the physical state of the plant. The results of this work allow us to model systems and to extend the SCT to deal with models based in synchronizing automata, using the monolithic synthesis or applying local modular control, and to deal with complimentary techniques such as the supervisor reduction and supervisor localization. In addition, we propose a way to model systems that are not originally synchronizing as synchronizing automata inserting recovery events.pt_BR
dc.description.resumoSistemas de manufatura estão cada vez mais sujeitos a ataques externos e falhas, seja por defeitos em sensores e atuadores ou seja por problemas de comunicação. Nesse contexto, a segurança desses sistemas é um problema cada vez mais estudado, inclusive na área de Sistemas a Eventos Discretos (SEDs) utilizando a Teoria de Controle Supervisório (TCS). Neste trabalho propomos tratar problemas de segurança em SEDs utilizando a Teoria de Autômatos Sincronizáveis, que nos permite utilizar uma palavra de sincronização para sincronizar os supervisores e plantas no caso onde, devido a uma falha, o estado que o supervisor estima que a planta se encontra não corresponde ao estado físico da planta. Os resultados desse trabalho permitem modelar sistemas e estender a TCS para lidar com modelos baseados em autômatos sincronizáveis, tanto pela síntese monolítica quando aplicando controle modular local, tratando também de técnicas complementares, como a redução e localização de supervisores. Além disso, propõe-se uma maneira de modelar sistemas que não são originalmente sincronizáveis como autômatos sincronizáveis pela adição de eventos de recuperação.pt_BR
dc.languageporpt_BR
dc.publisherUniversidade Federal de Minas Geraispt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentENG - DEPARTAMENTO DE ENGENHARIA ELÉTRICApt_BR
dc.publisher.programPrograma de Pós-Graduação em Engenharia Elétricapt_BR
dc.publisher.initialsUFMGpt_BR
dc.rightsAcesso Abertopt_BR
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/pt/*
dc.subjectSistemas a eventos discretospt_BR
dc.subjectTeoria de controle supervisóriopt_BR
dc.subjectAutômatos sincronizáveispt_BR
dc.subject.otherEngenharia elétricapt_BR
dc.subject.otherTeoria do controlept_BR
dc.subject.otherSistemas de tempo discretopt_BR
dc.titleAplicação de autômatos sincronizáveis na segurança de sistemas a eventos discretospt_BR
dc.title.alternativeApplication of synchronizing automata in the security of discrete event systemspt_BR
dc.typeTesept_BR
dc.identifier.orcid0000-0001-5227-0473pt_BR
Appears in Collections:Teses de Doutorado

Files in This Item:
File Description SizeFormat 
Tese_Final.pdfTese1.84 MBAdobe PDFView/Open


This item is licensed under a Creative Commons License Creative Commons