Theoretical Computer Science
Robust model-based fault diagnosis for dynamic systems
Robust model-based fault diagnosis for dynamic systems
State Observation and Diagnosis of Discrete-Event SystemsDescribed by Stochastic Automata
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
On an Optimization Problem in Sensor Selection
Discrete Event Dynamic Systems
Diagnosis of Asynchronous Discrete Event Systems: A Net Unfolding Approach
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Centralized Modular Diagnosis and the Phenomenon of Coupling
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Implicit fault-tolerant control: application to induction motors
Automatica (Journal of IFAC)
Fault diagnosis in discrete time hybrid systems - A case study
Information Sciences: an International Journal
Diagnosability of fuzzy discrete-event systems: a fuzzy approach
IEEE Transactions on Fuzzy Systems
A procedure ontology for advanced diagnosis of process systems
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Diagnosability verification for hybrid automata
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Brief paper: Abstraction-based verification of codiagnosability for discrete event systems
Automatica (Journal of IFAC)
Opacity of discrete event systems and its applications
Automatica (Journal of IFAC)
Active fault tolerant control of discrete event systems using online diagnostics
Automatica (Journal of IFAC)
A new algorithm for testing diagnosability of fuzzy discrete event systems
Information Sciences: an International Journal
On K-diagnosability of Petri nets via integer linear programming
Automatica (Journal of IFAC)
Fault Modeling in Discrete Event Systems Using Petri Nets
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
A game-theoretic approach to fault diagnosis and identification of hybrid systems
Theoretical Computer Science
Bridging control and artificial intelligence theories for diagnosis: A survey
Engineering Applications of Artificial Intelligence
Hi-index | 22.15 |
The problem of achieving fault-tolerant supervision of discrete-event systems is considered from the viewpoint of safe and timely diagnosis of unobservable faults. To this end, the new property of safe diagnosability is introduced and studied. Standard definitions of diagnosability of discrete-event systems deal with the problem of detecting the occurrence of unobservable fault events using model-based inferencing from observed sequences of events. In safe diagnosability, it is required in addition that fault detection occur prior to the execution of a given set of forbidden strings in the failed mode of operation of the system. For instance, this constraint could be required to prevent local faults from developing into failures that could cause safety hazards. If the system is safe diagnosable, reconfiguration actions could be forced upon the detection of faults prior to the execution of unsafe behaviour, thus achieving the objective of fault-tolerant supervision. Necessary and sufficient conditions for safe diagnosability are derived. In addition, the problem of explicitly considering safe diagnosability in controller design, termed ''active safe diagnosis problem'', is formulated and solved. A brief discussion of safe diagnosability for timed models of discrete-event systems is also provided.