Verification of safe diagnosability of stochastic discrete-event systems.
Fuchun LiuPengbiao YangRui ZhaoZbigniew DziongPublished in: Int. J. Control (2022)
Keyphrases
- discrete event systems
- timed petri nets
- discrete event
- petri net
- telecommunication networks
- complex systems
- failure diagnosis
- model based diagnosis
- model checking
- temporal constraints
- simulation model
- signature verification
- search algorithm
- dynamic systems
- database systems
- monte carlo
- response time
- objective function