{"id":{"repo_id":"brazil-uerj","oai_identifier":"oai:pantheon.ufrj.br:11422/6094"},"canonical_url":"https://search.dev.ndltd.org/etd/brazil-uerj/oai:pantheon.ufrj.br:11422/6094","repository":{"repo_id":"brazil-uerj","name":"Brazil UERJ","base_url":"https://pantheon.ufrj.br/oai/request"},"display":{"title":"Verification of generalized robust diagnosability of discrete event systems","abstract":"This work addresses the problem of generalized robust diagnosability (GRD) of discrete event systems (DESs) described by a class of automata, where each automaton in the class generates a distinct language. The definition of GRD and the algorithm for its verification previously proposed in literature were updated, resulting in an algorithm with smaller computational complexity than the previous one. Based on this algorithm, a new necessary and sufficient condition for generalized robust diagnosability was presented. Four different approaches on diagnosability of DESs were analyzed: the problem of diagnosability of discrete event systems subject to permanent sensor failures (i); the problem of robust diagnosis of discrete event systems against permanent (ii) and intermittent (iii) loss of observations; and the problem of verification of robust diagnosability for partially observed discrete event systems (iv). Transformation mechanisms for each analyzed problem were proposed with the purpose of demonstrating that all approaches (i) - (iv) are particular cases of the generalized robust diagnosability definition proposed in this work.","abstract_html":"This work addresses the problem of generalized robust diagnosability (GRD) of discrete event systems (DESs) described by a class of automata, where each automaton in the class generates a distinct language. The definition of GRD and the algorithm for its verification previously proposed in literature were updated, resulting in an algorithm with smaller computational complexity than the previous one. Based on this algorithm, a new necessary and sufficient condition for generalized robust diagnosability was presented. Four different approaches on diagnosability of DESs were analyzed: the problem of diagnosability of discrete event systems subject to permanent sensor failures (i); the problem of robust diagnosis of discrete event systems against permanent (ii) and intermittent (iii) loss of observations; and the problem of verification of robust diagnosability for partially observed discrete event systems (iv). Transformation mechanisms for each analyzed problem were proposed with the purpose of demonstrating that all approaches (i) - (iv) are particular cases of the generalized robust diagnosability definition proposed in this work.","abstract_has_math":false,"creators":["Coutinho, Lahis El Ajouze Azeredo"],"institution":"Universidade Federal do Rio de Janeiro","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Carvalho, Lilian Kawakami"],"committee_chairs":[],"committee_members":[],"year":2017,"date_issued":"2017-06","date_published":"2017-06","updated_at":"2026-07-24T01:16:18Z","subjects":["Sistemas discretos","Diagnóstico","Algoritmos"],"languages":["eng"],"rights":["Acesso Aberto"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/11422/6094","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Carvalho, Lilian Kawakami"]},{"key":"dc:creator","label":"Author","values":["Coutinho, Lahis El Ajouze Azeredo"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2019-01-15T14:12:25Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2026-05-16T03:05:29Z"]},{"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":["Sistemas discretos","Diagnóstico","Algoritmos"]}]},{"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/6094"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["This work addresses the problem of generalized robust diagnosability (GRD) of discrete event systems (DESs) described by a class of automata, where each automaton in the class generates a distinct language. The definition of GRD and the algorithm for its verification previously proposed in literature were updated, resulting in an algorithm with smaller computational complexity than the previous one. Based on this algorithm, a new necessary and sufficient condition for generalized robust diagnosability was presented. Four different approaches on diagnosability of DESs were analyzed: the problem of diagnosability of discrete event systems subject to permanent sensor failures (i); the problem of robust diagnosis of discrete event systems against permanent (ii) and intermittent (iii) loss of observations; and the problem of verification of robust diagnosability for partially observed discrete event systems (iv). Transformation mechanisms for each analyzed problem were proposed with the purpose of demonstrating that all approaches (i) - (iv) are particular cases of the generalized robust diagnosability definition proposed in this work."]},{"key":"dc:title","label":"Title","values":["Verification of generalized robust diagnosability of discrete event systems"]}]}],"canonical_facts":{"dc:contributor.advisor":["Carvalho, Lilian Kawakami"],"dc:creator":["Coutinho, Lahis El Ajouze Azeredo"],"dc:date.accessioned":["2019-01-15T14:12:25Z"],"dc:date.available":["2026-05-16T03:05:29Z"],"dc:date.issued":["2017-06"],"dc:description.abstract":["This work addresses the problem of generalized robust diagnosability (GRD) of discrete event systems (DESs) described by a class of automata, where each automaton in the class generates a distinct language. The definition of GRD and the algorithm for its verification previously proposed in literature were updated, resulting in an algorithm with smaller computational complexity than the previous one. Based on this algorithm, a new necessary and sufficient condition for generalized robust diagnosability was presented. Four different approaches on diagnosability of DESs were analyzed: the problem of diagnosability of discrete event systems subject to permanent sensor failures (i); the problem of robust diagnosis of discrete event systems against permanent (ii) and intermittent (iii) loss of observations; and the problem of verification of robust diagnosability for partially observed discrete event systems (iv). Transformation mechanisms for each analyzed problem were proposed with the purpose of demonstrating that all approaches (i) - (iv) are particular cases of the generalized robust diagnosability definition proposed in this work."],"dc:identifier.uri":["http://hdl.handle.net/11422/6094"],"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":["Sistemas discretos","Diagnóstico","Algoritmos"],"dc:title":["Verification of generalized robust diagnosability of discrete event systems"],"dc:type":["Dissertação"]},"updated_at":"2026-07-24T01:16:18Z"}