Diagnosis of discrete-event systems from uncertain temporal observations

Artificial Intelligence

Volumn 137, Issue 1-2, 2002, Pages 91-163

  Lamperti, Gianfranco ^a   Zanella, Marina ^a  

^a UNIVERSITY OF BRESCIA   (Italy)

Author keywords

Communicating automata; Complex observations; Diagnosis; Discrete event systems; Observation graphs; Power transmission networks; Temporal observations; Uncertain observations

Indexed keywords

ARTIFICIAL INTELLIGENCE; AUTOMATA THEORY; CONSTRAINT THEORY; POWER TRANSMISSION; PROBLEM SOLVING;

DISCRETE-EVENT SYSTEMS;

UNCERTAIN SYSTEMS;

EID: 0036567391     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(02)00123-6     Document Type: Article

References (37)

1. Diagnosis of active systems
2. Diagnosis of large active systems
3. Diagnosis of a class of distributed discrete-event systems
4. A spectrum of definitions for temporal model-based diagnosis
5. Modeling and diagnosis of timed discrete event systems - A factory automation example
6. A relational model for large shared data banks
7. Diagnosis and diagnosability analysis using process algebras
8. Diagnosis and diagnosability using PEPA
9. Event-based diagnosis for evolutive systems
10. Diagnosing multiple faults
11. Coordinated decentralized protocols for failure diagnosis of discrete-event systems
12. A diagnostic protocol for discrete-event systems with decentralized information
13. Qualitative modelling of a power stage for diagnosis
14. Diagnosing temporal misbehavior
15. The PEPA workbench: A tool to support a process algebra based approach to performance modelling
16. Sidia: Extending prediction based diagnosis to dynamic models
17. Modeling digital circuits for troubleshooting
18. Diagnosing circuits with state: An inherently underconstrained problem
19. Automatic generation of chronicles and its application to alarm processing in power distribution systems
20. Integrating model-based monitoring and diagnosis of complex dynamic systems
21. Event-based reasoning for short circuit diagnosis in power transmission networks
22. Diagnosis of discrete-event systems integrating synchronous and asynchronous behavior
23. Generation of diagnostic knowledge by discrete-event model compilation
24. Uncertain temporal observations in diagnosis
25. Discrete-event modelling and diagnosis of quantised dynamical systems
26. Diagnosis of quantised systems
27. Diagnosis of quantized systems based on timed discrete-event model
28. Explanatory diagnosis: Conjecturing actions to explain observations
29. Explanatory diagnosis: Conjecturing actions to explain observations
30. Decentralized diagnoser approach: Application to telecommunication networks
31. A theory of diagnosis from first principles
32. Supervision of telecommunication network: A diagnoser approach
33. Diagnosability of discrete-event systems
34. Failure diagnosis using discrete-event models
35. Fundamentals of model-based diagnosis of dynamic systems