Matrix approach to verification and enforcement of nonblockingness for modular discrete-event systems.
Xiaoguang HanPengfei WangZengqiang ChenPublished in: Sci. China Inf. Sci. (2020)
Keyphrases
- discrete event systems
- petri net
- complex systems
- model based diagnosis
- telecommunication networks
- discrete event
- failure diagnosis
- timed petri nets
- model checking
- low rank
- dynamic systems
- temporal constraints
- simulation model
- singular value decomposition
- access control
- search algorithm
- signature verification
- np complete