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 verificatio... |
Year | DOI | Venue |
---|---|---|
2019 | 10.1109/TCST.2017.2757456 | IEEE Transactions on Control Systems Technology |
Keywords | Field | DocType |
Automata,Fault diagnosis,Complexity theory,Computational modeling,Computational efficiency,Discrete-event systems,Q measurement | Industrial systems,Automaton,Theoretical computer science,Control engineering,State model,Time complexity,Hybrid system,Mathematics,Computational complexity theory | Journal |
Volume | Issue | ISSN |
27 | 1 | 1063-6536 |
Citations | PageRank | References |
1 | 0.35 | 6 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Oumar Diene | 1 | 21 | 5.06 |
Marcos V. Moreira | 2 | 125 | 13.03 |
Eduardo A. B. da Silva | 3 | 238 | 46.50 |
Victor R. Alvarez | 4 | 1 | 0.69 |
Claudionor F. Nascimento | 5 | 4 | 1.12 |