A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Diagnosis of large active systems
Artificial Intelligence
On the relationship between model-based debugging and program slicing
Artificial Intelligence
Diagnosis of discrete-event systems from uncertain temporal observations
Artificial Intelligence
Coordinated Decentralized Protocols for Failure Diagnosisof Discrete Event Systems
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
Model-based Diagnosis in the Real World: Lessons Learned and Challenges Remaining
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Diagnosability of Discrete Event Systems with Modular Structure
Discrete Event Dynamic Systems
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
Artificial Intelligence
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
A diagnostic environment for automaton networks
Software—Practice & Experience
Diagnosis of Discrete Event Systems Using Decentralized Architectures
Discrete Event Dynamic Systems
Incremental processing of temporal observations in Model-Based Reasoning
AI Communications - Model-Based Systems
Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Temporal decision trees: model-based diagnosis of dynamic systems on-board
Journal of Artificial Intelligence Research
Exploiting independence in a decentralised and incremental approach of diagnosis
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Incremental diagnosis of discrete-event systems
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Improved algorithms for deriving all minimal conflict sets in model-based diagnosis
ICIC'07 Proceedings of the intelligent computing 3rd international conference on Advanced intelligent computing theories and applications
A bridged diagnostic method for the monitoring of polymorphic discrete-event systems
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Reasoning on partially-ordered observations in online diagnosis of DESs
AI Communications
Hi-index | 0.00 |
Recently, model-based diagnosis of discrete event systems has attracted more and more attention. Incremental diagnosis is essential for on-line diagnosis and the diagnosis is usually performed on-line. However, the observations are often uncertain. To address this problem, a new concept of two restricted successive temporal windows is proposed. Thereafter, an approach is given to support on-line incremental model-based diagnosis of discrete event systems with uncertain observations. All the observation sequences emitted by the previous window can be produced if the second temporal window is long enough (bigger than the maximal delay of transmission). In this way, the global emitted observation sequences can be inferred as well. The proposed approach is sound, complete, timely and universal. In particular, it is well suited for on-line diagnosis of discrete event systems when the received observations are too dense to find, in time, so-called “sound windows” by traditional approaches.