Diagnosis of asynchronous discrete event systems: datalog to the rescue!
Serge AbiteboulZoë AbramsStefan HaarTova MiloPublished in: PODS (2005)
Keyphrases
- discrete event systems
- model based diagnosis
- petri net
- failure diagnosis
- complex systems
- discrete event
- telecommunication networks
- expressive power
- timed petri nets
- deductive databases
- query answering
- dynamic systems
- logic programming
- temporal constraints
- datalog programs
- query language
- databases
- integrity constraints
- search space