Distributed and asynchronous discrete event systems diagnosis.
Albert BenvenisteStefan HaarEric FabreClaude JardPublished in: CDC (2003)
Keyphrases
- discrete event systems
- model based diagnosis
- petri net
- failure diagnosis
- complex systems
- telecommunication networks
- discrete event
- timed petri nets
- distributed systems
- temporal constraints
- cooperative
- multi agent
- distributed constraint satisfaction
- distributed constraint satisfaction problems
- dynamic systems
- constraint programming
- fault diagnosis
- database
- temporal reasoning
- heuristic search
- mobile agents