Matrix Approach for Verification of Opacity of Partially Observed Discrete Event Systems
Mei, Liujuan, Liu, Rongjian, Lu, Jianquan, Qiu, Jianlong
Published in Circuits, systems, and signal processing (01.01.2021)
Published in Circuits, systems, and signal processing (01.01.2021)
Get full text
Journal Article