AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets
Discrete Event Dynamic Systems
Model-Based Reasoning: Troubleshooting
Model-Based Reasoning: Troubleshooting
Automated synthesis and composition of taskblocks for control ofmanufacturing systems
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
An Equivalent CTL Formulation for Condition Sequences
Discrete Event Dynamic Systems
State observability and condition observability for a class of interacting discrete event systems
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete-Event Models
Discrete Event Dynamic Systems
State observability and condition observability for a class of interacting discrete event systems
Mathematics and Computers in Simulation
| Hi-index | 0.00 |
A condition system is a collection of Petri nets that interact with each other and the external environment through condition signals. Some of these condition signals may be unobservable. In this paper, a system fault is defined in terms of observed behavior versus expected behavior, where the expected behavior is defined through condition system models. A diagnosis of this fault localizes the subsystem that is the source of the discrepancy between output and expected observations. We show that the structure of the interacting subsystems define a diagnostic causal model that captures the causal structure of subsystem dependencies. The diagnostic causal model can then be used to determine a set of subsystems that might be the source of a fault.