Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Robust codiagnosability of discrete event systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
Decentralized failure diagnosis of discrete event systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Robust diagnosis of discrete-event systems against permanent loss of observations
Automatica (Journal of IFAC)
Hi-index | 22.15 |
In this paper, we study robust failure diagnosis of discrete event systems. Given a set of possible models, each of which has its own nonfailure specification, we consider the existence of a single diagnoser such that, for all possible models, it detects any occurrence of a failure within a uniformly bounded number of steps. We call such a diagnoser a robust diagnoser. We introduce a notion of robust diagnosability, and prove that it serves as a necessary and sufficient condition for the existence of a robust diagnoser. We then present an algorithm for verifying the robust diagnosability condition.