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

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

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

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

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

Matrix approach to I‐detectability of partially observed discrete event systems

Asian Journal of Control ◽

10.1002/asjc.2513 ◽

2021 ◽

Author(s):

Wenhui Dou ◽

Haitao Li ◽

Yalu Li

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Matrix Approach ◽

Event Systems ◽

Partially Observed

Download Full-text

Matrix approach to detectability of discrete event systems under partial observation

2017 13th IEEE Conference on Automation Science and Engineering (CASE) ◽

10.1109/coase.2017.8256101 ◽

2017 ◽

Author(s):

Xiaoguang Han ◽

Zengqiang Chen ◽

Jiemei Zhao

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Partial Observation ◽

Matrix Approach ◽

Download Full-text

Linear Discrete-Event Systems: An Architecture and Simulator

10.23919/acc.1990.4790691 ◽

1990 ◽

Author(s):

Martin E. Kaliski ◽

Sylvia Ritz

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

Output Feedback Control for a Class of Nondeterministic Discrete Event Systems

10.23919/acc.1990.4790690 ◽

1990 ◽

Author(s):

Jing-Yue Lin ◽

Dan Ionescu

Keyword(s):

Feedback Control ◽

Output Feedback ◽

Discrete Event Systems ◽

Discrete Event ◽

Output Feedback Control ◽

Download Full-text

Fault-tolerant supervisory control of discrete-event systems

10.31274/etd-180810-2755 ◽

2009 ◽

Author(s):

Qin Wen

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Fault Tolerant ◽

Discrete Event ◽

Download Full-text

Specification of Intelligent Controllers for Discrete Event Systems in a Temporal Logic Framework

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)49868-5 ◽

1992 ◽

Vol 25 (20) ◽

pp. 237-242

Author(s):

Dan Ionescu ◽

Jing-Yue Lin ◽

Hyung Soo Hwang

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Intelligent Controllers

Download Full-text