Matrix Approach to Verify Initial-State Opacity of Discrete-Event Systems

2020 39th Chinese Control Conference (CCC) ◽

10.23919/ccc50068.2020.9189244 ◽

2020 ◽

Author(s):

Jiahui Zhang ◽

Xiaoguang Han ◽

Zhiwu Li ◽

Zengqiang Chen

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Matrix Approach ◽

Initial State ◽

Download Full-text

Initial-State Estimation of Multi-Channel Networked Discrete Event Systems

IEEE Control Systems Letters ◽

10.1109/lcsys.2020.2998610 ◽

2020 ◽

Vol 4 (4) ◽

pp. 1024-1029

Author(s):

Yue Yao ◽

Yin Tong ◽

Hao Lan

Keyword(s):

State Estimation ◽

Discrete Event Systems ◽

Discrete Event ◽

Initial State ◽

Download Full-text

Matrix approach to detectability of discrete event systems

Journal of the Franklin Institute ◽

10.1016/j.jfranklin.2019.05.028 ◽

2019 ◽

Vol 356 (12) ◽

pp. 6460-6477 ◽

Author(s):

Biao Wang ◽

Jun-e Feng ◽

Min Meng

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Matrix Approach ◽

Download Full-text

Reduced-Complexity Verification for Initial-State Opacity in Modular Discrete Event Systems

IFAC Proceedings Volumes ◽

10.3182/20100830-3-de-4013.00015 ◽

2010 ◽

Vol 43 (12) ◽

pp. 78-83 ◽

Author(s):

Anooshiravan Saboori ◽

Christoforos N. Hadjicostis

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Initial State ◽

Event Systems ◽

Reduced Complexity

Download Full-text

Matrix approach to verification and enforcement of nonblockingness for modular discrete-event systems

Science China Information Sciences ◽

10.1007/s11432-018-9676-7 ◽

2020 ◽

Vol 63 (11) ◽

Author(s):

Xiaoguang Han ◽

Pengfei Wang ◽

Zengqiang Chen

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Matrix Approach ◽

Download Full-text

Verification of initial-state opacity in security applications of discrete event systems

Information Sciences ◽

10.1016/j.ins.2013.05.033 ◽

2013 ◽

Vol 246 ◽

pp. 115-132 ◽

Author(s):

Anooshiravan Saboori ◽

Christoforos N. Hadjicostis

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Initial State ◽

Security Applications ◽

Download Full-text

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

Circuits Systems and Signal Processing ◽

10.1007/s00034-020-01462-2 ◽

2020 ◽

Author(s):

Liujuan Mei ◽

Rongjian Liu ◽

Jianquan Lu ◽

Jianlong Qiu

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Matrix Approach ◽

Event Systems ◽

Partially Observed

Download Full-text

Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach

Nonlinear Analysis Hybrid Systems ◽

10.1016/j.nahs.2021.101073 ◽

2021 ◽

Vol 42 ◽

pp. 101073

Author(s):

Yingrui Zhou ◽

Zengqiang Chen ◽

Zhongxin Liu ◽

Zhipeng Zhang

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Matrix Approach ◽

Event Systems ◽

Partially Observed

Download Full-text

Revelation Time for Initial-State Opacity Measurement in Timed Discrete Event Systems

2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) ◽

10.1109/smc.2019.8914163 ◽

2019 ◽

Author(s):

Dimitri Lefebvre ◽

Christoforos N. Hadjicostis

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Initial State ◽

Download Full-text

Current-state opacity and initial-state opacity of modular discrete event systems

International Journal of Control ◽

10.1080/00207179.2021.1951357 ◽

2021 ◽

pp. 1-24

Author(s):

Jingkai Yang ◽

Weilin Deng ◽

Daowen Qiu

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Initial State ◽

Current State ◽

Download Full-text

Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures

10.1016/j.automatica.2017.02.032 ◽

2017 ◽

Vol 80 ◽

pp. 127-134 ◽

Author(s):

Xiang Yin

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Initial State ◽

Sensor Failures ◽

Event Systems ◽

Stochastic Discrete Event Systems

Download Full-text