Reachability-based diagnosability for hybrid systems

• Autor(a) principal: Vieira, Jéssica dos Santos
• Data de Publicação: 2019
• Tipo de documento: Dissertação
• Idioma: eng
• Título da fonte: Repositório Institucional da UFRJ
• Texto Completo: http://hdl.handle.net/11422/14032
• topic: CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA; Diagnosis; Hybrid systems; Reachability

Neste trabalho apresentam-se os principais conceitos relacionados aos sistemas híbridos, que são sistemas dinâmicos que combinam comportamentos discreto e contínuo. Esses sistemas podem ser modelados por autômatos híbridos ou sistemas de transição. Autômatos híbridos permitem mais riqueza ao modelo, entretanto nem sempre é possível prever o seu comportamento. Dependendo do tipo de análise do sistema, como a verificação de certas propriedades, é preferível um maior nível de abstração sendo, assim, modelado por sistema de transição, os quais apresentam ferramentas mais estruturadas para verificação de propriedades. Este trabalho também apresenta uma nova definição de diagnosticabilidade que combina a diagnosticabilidade de sistemas a eventos discretos (SEDs) com a análise de alcançabilidade para comparação dos comportamentos contínuos. Além disso, apresenta-se um estudo de caso da análise da diagnosticabilidade de falhas de sistemas modelados por autômatos híbridos. Nesse exemplo demonstra-se a vantagem de se realizar a análise da alcançabilidade dos estados associados à dinâmica a tempo contínuo do modelo híbrido. Com essa abordagem, é possível diagnosticar falhas que não seriam possíveis usando técnicas puramente de SEDs.