Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems.
Shigemasa TakaiRatnesh KumarPublished in: ETFA (2015)
Keyphrases
- discrete event systems
- model based diagnosis
- petri net
- failure diagnosis
- telecommunication networks
- complex systems
- timed petri nets
- discrete event
- model checking
- multi agent
- temporal constraints
- peer to peer
- distributed systems
- bayesian networks
- belief networks
- cooperative
- dynamic systems
- probabilistic inference
- response time
- multi agent systems