Polynomial time verification of decentralized diagnosability of discrete event systems.
Marcos V. MoreiraThiago C. JesusJoão Carlos BasilioPublished in: ACC (2010)
Keyphrases
- discrete event systems
- intelligent systems
- petri net
- complex systems
- model based diagnosis
- failure diagnosis
- discrete event
- telecommunication networks
- timed petri nets
- model checking
- special case
- distributed systems
- cooperative
- peer to peer
- computational complexity
- temporal constraints
- worst case
- multi agent
- approximation algorithms
- constraint programming