Login / Signup
Xiaoguang Han
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
Failure Diagnosis
State Estimation
Timed Petri Nets
Discrete Event
Top Venues
Sci. China Inf. Sci.
IEEE Trans Autom. Sci. Eng.
J. Syst. Sci. Complex.
</>
Publications
</>
Qian Chu
,
Jiahui Zhang
,
Xiaoguang Han
,
Zhiwu Li
,
Zengqiang Chen
Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations.
J. Syst. Sci. Complex.
36 (5) (2023)
Xiaoguang Han
,
Jinliang Wang
,
Zhiwu Li
,
Xiaoyan Chen
,
Zengqiang Chen
Revisiting State Estimation and Weak Detectability of Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng.
20 (1) (2023)
Xiaoguang Han
,
Pengfei Wang
,
Zengqiang Chen
Matrix approach to verification and enforcement of nonblockingness for modular discrete-event systems.
Sci. China Inf. Sci.
63 (11) (2020)