Abstract
We consider robust decentralized diagnosis of discrete event systems, where the goal is to detect the occurrence of unobservable fault events using a set of local diagnosers that are themselves subject to failures. We introduce a formal notion of robust decentralized diagnosability, called robust codiagnosability, and study its properties. Two different tests of robust codiagnosability are presented; one uses diagnoser automata and the other uses verifier automata. We also revisit the problem of centralized diagnosability and study the problem of diagnosability under partial observation, where the set of observable events is reduced; in this regard, we introduce the notions of partial diagnosers and indeterminate hidden cycles, which are subsequently used in the study of robust codiagnosability.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
