Combining Qualitative Model-Based Diagnosis and Observation within Fault-Tolerant Systems.
Frank SchillerJochen SchröderPublished in: AI Commun. (1999)
Keyphrases
- fault tolerant
- model based diagnosis
- distributed systems
- fault tolerance
- discrete event systems
- physical systems
- safety critical
- digital circuits
- load balancing
- qualitative models
- high assurance
- diagnostic systems
- qualitative and quantitative
- model based reasoning
- complex systems
- diagnostic reasoning
- state machine
- dynamic systems
- artificial intelligence
- special case
- hardware designs
- expert systems
- petri net
- fault localization
- computer systems
- interconnection networks
- diagnostic process