{"id":{"repo_id":"brazil-uerj","oai_identifier":"oai:pantheon.ufrj.br:11422/6078"},"canonical_url":"https://search.dev.ndltd.org/etd/brazil-uerj/oai:pantheon.ufrj.br:11422/6078","repository":{"repo_id":"brazil-uerj","name":"Brazil UERJ","base_url":"https://pantheon.ufrj.br/oai/request"},"display":{"title":"Synchronous failure diagnosis of discrete-event systems","abstract":"In general, systems are formed by the composition of several modules, local components or subsystems, and may exhibit a large number of states. The growth of the global system model with the number of system components leads to high computational costs for failure diagnosis techniques based on the global model. In this work, a new approach for the failure diagnosis of discrete event systems is introduced. The method is based on the computation of a Petri net diagnoser, called synchronized Petri net diagnoser (SPND), that is constructed from the nonfailure behavior of the modules of the system. We also introduce the de nition of synchronous diagnosability of the language of a system with respect to the languages of its modules, and present an algorithm to verify this property. We also propose a decentralized synchronized Petri net diagnosis scheme for discrete-event systems modeled as automata. In order to do so, we de ne the notion of synchronous codiagnosability and propose an algorithm to verify this property. The synchronized diagnosis can be re ned using the global nonfailure model of the system, leading to the notion of conditional synchronous diagnosability. An algorithm for the veri cation of conditional synchronous diagnosability based on the veri cation of synchronous diagnosability is proposed. We also discuss the relation among conditional synchronous diagnosability, synchronous codiagnosability, synchronous diagnosability and diagnosability of discrete-event systems. Algorithms for the computation of the maximum delay bound for all diagnosis schemes presented in this work are proposed. An example and a practical implementation of the diagnosis methods are presented and used throughout this work in order to illustrate and validate the methods.","abstract_html":"In general, systems are formed by the composition of several modules, local components or subsystems, and may exhibit a large number of states. The growth of the global system model with the number of system components leads to high computational costs for failure diagnosis techniques based on the global model. In this work, a new approach for the failure diagnosis of discrete event systems is introduced. The method is based on the computation of a Petri net diagnoser, called synchronized Petri net diagnoser (SPND), that is constructed from the nonfailure behavior of the modules of the system. We also introduce the de nition of synchronous diagnosability of the language of a system with respect to the languages of its modules, and present an algorithm to verify this property. We also propose a decentralized synchronized Petri net diagnosis scheme for discrete-event systems modeled as automata. In order to do so, we de ne the notion of synchronous codiagnosability and propose an algorithm to verify this property. The synchronized diagnosis can be re ned using the global nonfailure model of the system, leading to the notion of conditional synchronous diagnosability. An algorithm for the veri cation of conditional synchronous diagnosability based on the veri cation of synchronous diagnosability is proposed. We also discuss the relation among conditional synchronous diagnosability, synchronous codiagnosability, synchronous diagnosability and diagnosability of discrete-event systems. Algorithms for the computation of the maximum delay bound for all diagnosis schemes presented in this work are proposed. An example and a practical implementation of the diagnosis methods are presented and used throughout this work in order to illustrate and validate the methods.","abstract_has_math":false,"creators":["Cabral, Felipe Gomes de Oliveira"],"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-10","date_published":"2017-10","updated_at":"2026-07-24T01:16:18Z","subjects":["Redes de Petri","Sistemas de controle","Sistemas de apoio à decisão"],"languages":["eng"],"rights":["Acesso Aberto"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/11422/6078","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":["Cabral, Felipe Gomes de Oliveira"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2019-01-10T14:58:09Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2026-05-16T03:05:25Z"]},{"key":"dc:date.issued","label":"Date","values":["2017-10"]},{"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":["Tese"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Redes de Petri","Sistemas de controle","Sistemas de apoio à decisão"]}]},{"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/6078"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["In general, systems are formed by the composition of several modules, local components or subsystems, and may exhibit a large number of states. The growth of the global system model with the number of system components leads to high computational costs for failure diagnosis techniques based on the global model. In this work, a new approach for the failure diagnosis of discrete event systems is introduced. The method is based on the computation of a Petri net diagnoser, called synchronized Petri net diagnoser (SPND), that is constructed from the nonfailure behavior of the modules of the system. We also introduce the de nition of synchronous diagnosability of the language of a system with respect to the languages of its modules, and present an algorithm to verify this property. We also propose a decentralized synchronized Petri net diagnosis scheme for discrete-event systems modeled as automata. In order to do so, we de ne the notion of synchronous codiagnosability and propose an algorithm to verify this property. The synchronized diagnosis can be re ned using the global nonfailure model of the system, leading to the notion of conditional synchronous diagnosability. An algorithm for the veri cation of conditional synchronous diagnosability based on the veri cation of synchronous diagnosability is proposed. We also discuss the relation among conditional synchronous diagnosability, synchronous codiagnosability, synchronous diagnosability and diagnosability of discrete-event systems. Algorithms for the computation of the maximum delay bound for all diagnosis schemes presented in this work are proposed. An example and a practical implementation of the diagnosis methods are presented and used throughout this work in order to illustrate and validate the methods."]},{"key":"dc:title","label":"Title","values":["Synchronous failure diagnosis of discrete-event systems"]}]}],"canonical_facts":{"dc:contributor.advisor":["Moreira, Marcos Vicente de Brito"],"dc:creator":["Cabral, Felipe Gomes de Oliveira"],"dc:date.accessioned":["2019-01-10T14:58:09Z"],"dc:date.available":["2026-05-16T03:05:25Z"],"dc:date.issued":["2017-10"],"dc:description.abstract":["In general, systems are formed by the composition of several modules, local components or subsystems, and may exhibit a large number of states. The growth of the global system model with the number of system components leads to high computational costs for failure diagnosis techniques based on the global model. In this work, a new approach for the failure diagnosis of discrete event systems is introduced. The method is based on the computation of a Petri net diagnoser, called synchronized Petri net diagnoser (SPND), that is constructed from the nonfailure behavior of the modules of the system. We also introduce the de nition of synchronous diagnosability of the language of a system with respect to the languages of its modules, and present an algorithm to verify this property. We also propose a decentralized synchronized Petri net diagnosis scheme for discrete-event systems modeled as automata. In order to do so, we de ne the notion of synchronous codiagnosability and propose an algorithm to verify this property. The synchronized diagnosis can be re ned using the global nonfailure model of the system, leading to the notion of conditional synchronous diagnosability. An algorithm for the veri cation of conditional synchronous diagnosability based on the veri cation of synchronous diagnosability is proposed. We also discuss the relation among conditional synchronous diagnosability, synchronous codiagnosability, synchronous diagnosability and diagnosability of discrete-event systems. Algorithms for the computation of the maximum delay bound for all diagnosis schemes presented in this work are proposed. An example and a practical implementation of the diagnosis methods are presented and used throughout this work in order to illustrate and validate the methods."],"dc:identifier.uri":["http://hdl.handle.net/11422/6078"],"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":["Redes de Petri","Sistemas de controle","Sistemas de apoio à decisão"],"dc:title":["Synchronous failure diagnosis of discrete-event systems"],"dc:type":["Tese"]},"updated_at":"2026-07-24T01:16:18Z"}