Model-based monitoring of dynamic systems
Readings in model-based diagnosis
Optimal reliable crosstalk-driven interconnect optimization
ISPD '00 Proceedings of the 2000 international symposium on Physical design
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets
Discrete Event Dynamic Systems
Coordinated Decentralized Protocols for Failure Diagnosisof Discrete Event Systems
Discrete Event Dynamic Systems
Centralized Modular Diagnosis and the Phenomenon of Coupling
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
A decentralized model-based diagnostic tool for complex systems
ICTAI '01 Proceedings of the 13th IEEE International Conference on Tools with Artificial Intelligence
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Diagnosability of Discrete Event Systems with Modular Structure
Discrete Event Dynamic Systems
Adapting to intermittent faults in multicore systems
Proceedings of the 13th international conference on Architectural support for programming languages and operating systems
Discrete Event Dynamic Systems
Sequential window diagnoser for discrete-event systems under unreliable observations
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
Diagnosability of discrete event systems for temporary failures
Computers and Electrical Engineering
| Hi-index | 0.00 |
The diagnosis of “intermittent” faults in dynamic systems modeled as discrete event systems is considered. In many systems, faulty behavior often occurs intermittently, with fault events followed by corresponding “reset” events for these faults, followed by new occurrences of fault events, and so forth. Since these events are usually unobservable, it is necessary to develop diagnostic methodologies for intermittent faults. Prior methodologies for detection and isolation of permanent faults are no longer adequate in the context of intermittent faults, since they do not account explicitly for the dynamic behavior of these faults. This paper addresses this issue by: (i) proposing a modeling methodology for discrete event systems with intermittent faults; (ii) introducing new notions of diagnosability associated with fault and reset events; and (iii) developing necessary and sufficient conditions, in terms of the system model and the set of observable events, for these notions of diagnosability. The definitions of diagnosability are complementary and capture desired objectives regarding the detection and identification of faults, resets, and the current system status (namely, is the fault present or absent). The associated necessary and sufficient conditions are based upon the technique of “diagnosers” introduced in earlier work, albeit the structure of the diagnosers needs to be enhanced to capture the dynamic nature of faults in the system model. The diagnosability conditions are verifiable in polynomial time in the number of states of the diagnosers.