Reliable Co-Prognosability of Decentralized Stochastic Discrete-Event Systems and a Polynomial-Time Verification.
Hui LiaoFuchun LiuRui ZhaoPublished in: IEEE Trans. Cybern. (2022)
Keyphrases
- discrete event systems
- timed petri nets
- petri net
- discrete event
- failure diagnosis
- telecommunication networks
- complex systems
- model based diagnosis
- cooperative
- special case
- peer to peer
- dynamic systems
- temporal constraints
- simulation model
- model checking
- multi agent
- distributed systems
- worst case
- temporal reasoning
- signature verification
- dynamic programming
- video sequences