Fault isolation in discrete event systems by observational abstraction.
Dan LawessonUlf NilssonInger KleinPublished in: CDC (2003)
Keyphrases
- discrete event systems
- fault isolation
- model based diagnosis
- physical systems
- fault localization
- complex systems
- diagnostic tests
- petri net
- fault detection
- fault tolerant
- telecommunication networks
- error detection
- discrete event
- fault diagnosis
- data abstraction
- code generation
- high level
- dynamic systems
- error recovery
- qualitative models
- constraint programming
- case study
- model checking
- data model
- expert systems
- failure detection
- multi agent systems
- simulation model