Diagnosability of Hybrid Systems

Author(s)

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

Affiliation

^[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

• Document type: Journal article
• Source: IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY; v. 27, n. 1, p. 386-393, JAN 2019.
• Web of Science Citations: 1

Abstract

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)

• FAPESP's process: 14/14361-8 - Dc/ac converters connected to unbalanced distribution systems: analysis considering Negative- and Zero-Sequence voltage components
• Grantee: Claudionor Francisco Do Nascimento
• Support Opportunities: Regular Research Grants