Matrix Approach for Verification of Opacity of Partially Observed Discrete Event Systems.
Liujuan MeiRongjian LiuJianquan LuJianlong QiuPublished in: Circuits Syst. Signal Process. (2021)
Keyphrases
- partially observed
- discrete event systems
- petri net
- complex systems
- model based diagnosis
- telecommunication networks
- failure diagnosis
- discrete event
- timed petri nets
- model checking
- dynamic systems
- temporal constraints
- low rank
- singular value decomposition
- signature verification
- database
- cost effective
- wireless sensor networks
- multi agent systems
- search algorithm
- multi agent
- databases