1.Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs

Gu, C, Ma, ZY, Li, Z     More...

Gu, C, Ma, ZY, Li, ZW, Giua, A     Less

IEEE CONTROL SYSTEMS LETTERS[2475-1456], Published 2022, Volume 6, Pages 1220-1225

收錄情况： WOS SCOPUS

WOS核心合集引用: 1  2023影響因子:  2.4  发表年影響因子:  3.0 

2.Supervisory Control of Multiagent Discrete-Event Systems With Partial Observation

Liu, YY, Komenda, J,     More...

Liu, YY, Komenda, J, Li, ZW     Less

IEEE CONTROL SYSTEMS LETTERS[2475-1456], Published 2022, Volume 6, Pages 1867-1872

收錄情况： WOS SCOPUS

WOS核心合集引用: 2  2023影響因子:  2.4  发表年影響因子:  3.0 

3.Edit Mechanism Synthesis for Opacity Enforcement Under Uncertain Observations

Duan, W, Liu, RT, Fa     More...

Duan, W, Liu, RT, Fanti, MP, Hadjicostis, CN, Li, ZW     Less

IEEE CONTROL SYSTEMS LETTERS[2475-1456], Published 2023, Volume 7, Pages 2041-2046

收錄情况： WOS SCOPUS

WOS核心合集引用: 2  2023影響因子:  2.4  发表年影響因子:  2.4