Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems.
Marcos Vicente MoreiraThiago C. JesusJoão Carlos BasilioPublished in: IEEE Trans. Autom. Control. (2011)
Keyphrases
- discrete event systems
- petri net
- complex systems
- model based diagnosis
- failure diagnosis
- telecommunication networks
- discrete event
- special case
- timed petri nets
- cooperative
- model checking
- temporal constraints
- multi agent
- peer to peer
- distributed systems
- worst case
- computational complexity
- approximation algorithms
- dynamical systems
- search space
- neural network
- databases