Matrix Approach for Verification of Opacity of Partially Observed Discrete Event Systems

Author(s):  
Liujuan Mei ◽  
Rongjian Liu ◽  
Jianquan Lu ◽  
Jianlong Qiu
Automatica ◽  
2002 ◽  
Vol 38 (11) ◽  
pp. 1935-1943 ◽  
Author(s):  
Hervé Marchand ◽  
Olivier Boivineau ◽  
Stéphane Lafortune

2019 ◽  
Vol 356 (12) ◽  
pp. 6460-6477 ◽  
Author(s):  
Biao Wang ◽  
Jun-e Feng ◽  
Min Meng

Sign in / Sign up

Export Citation Format

Share Document