Reachability-based diagnosability for hybrid systems

• Ano de defesa: 2019
• Autor(a) principal: Vieira, Jéssica dos Santos
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: eng
• Instituição de defesa: 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
• Palavras-chave em Português: Diagnosis; Hybrid systems; Reachability; CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
• Link de acesso: http://hdl.handle.net/11422/14032

In this work, we present the main concepts related to hybrid systems, that are dynamic systems that combine discrete and continuous behaviors. These systems can be modeled by hybrid automata or transition systems. Hybrid automata allow more wealth to the model, however, it is not always possible to predict its behavior. Depending on the type of analysis of the system, such as the verification of certain properties, a higher level of abstraction is preferred and, thus, modeled by a transition system, which presents more structured tools for checking properties. This work also presents a new definition of diagnosability combining the discrete event systems (DES) diagnosability with reachability analysis to compare continuous behaviors. Furthermore, we present a case study of fault diagnosability analysis of systems modeled by hybrid automata. This example demonstrates the advantage of performing the state reachability analysis associated with the continuous-time dynamics of the hybrid model. With this approach, it is possible to diagnose failures that would not be possible by using purely DES techniques.