Diagnosability of Hybrid Systems.
In: IEEE Transactions on Control Systems Technology, Jg. 27 (2019), Heft 1, S. 386-393
Online
academicJournal
Zugriff:
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. [ABSTRACT FROM AUTHOR]
Copyright of IEEE Transactions on Control Systems Technology is the property of IEEE and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Titel: |
Diagnosability of Hybrid Systems.
|
---|---|
Autor/in / Beteiligte Person: | Diene, Oumar ; Moreira, Marcos V. ; Silva, Eduardo A. ; Alvarez, Victor R. ; Nascimento, Claudionor F. |
Link: | |
Zeitschrift: | IEEE Transactions on Control Systems Technology, Jg. 27 (2019), Heft 1, S. 386-393 |
Veröffentlichung: | 2019 |
Medientyp: | academicJournal |
ISSN: | 1063-6536 (print) |
DOI: | 10.1109/TCST.2017.2757456 |
Schlagwort: |
|
Sonstiges: |
|