Diagnosability of Hybrid Systems

Autor(es)

Diene, Oumar ^[1] ; Moreira, Marcos V. ^[1] ; Silva, Eduardo A. ^[1] ; Alvarez, Victor R. ^[1] ; Nascimento, Claudionor F. ^[2]

Afiliação do(s) autor(es)

^[1] Univ Fed Rio de Janeiro, COPPE Elect Engn Program, BR-21945970 Rio De Janeiro - Brazil

^[2] Univ Fed Sao Carlos, CCET, BR-676 Sao Carlos, SP - Brazil

• Tipo de documento: Artigo Científico
• Fonte: IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY; v. 27, n. 1, p. 386-393, JAN 2019.
• Citações Web of Science: 1

Resumo

Modern industrial systems combine discrete and continuous behaviors and thus are hybrid systems (HSs). In this brief, we introduce a new definition of diagnosability of HSs called h-diagnosability, and we present a method to verify this property. The method is based on a verifier automaton that can be constructed in polynomial time, leading to a smaller computational complexity for the verification of the diagnosability of HS than methods using diagnoser automata. The main idea is to build a verifier of the underlying discrete-event system, taking into account the distinguishability of the system modes based on the continuous state models of the HS. (AU)

• Processo FAPESP: 14/14361-8 - Conversores CC/CA conectados a sistemas de distribuição desequilibrados: análise considerando componentes de tensão de sequências negativa e zero
• Beneficiário: Claudionor Francisco Do Nascimento
• Modalidade de apoio: Auxílio à Pesquisa - Regular