Weijie Dong

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 18

Top Topics

Timed Petri Nets

Dynamical Systems

Fault Diagnosis

Top Venues

Publications

Weijie Dong, Kuize Zhang, Shaoyuan Li, Xiang Yin
On the verification of detectability for timed discrete event systems. Autom. 164 (2024)
Xinyi Yu, Weijie Dong, Shaoyuan Li, Xiang Yin
Model predictive monitoring of dynamical systems for signal temporal logic specifications. Autom. 160 (2024)
Weijie Dong, Xiang Yin, Shaoyuan Li
A Uniform Framework for Diagnosis of Discrete-Event Systems With Unreliable Sensors Using Linear Temporal Logic. IEEE Trans. Autom. Control. 69 (1) (2024)
Weijie Dong, Shaoyuan Li, Xiang Yin
Diagnosis of Time-Sensitive Failures in Timed Discrete-Event Systems with Metric Interval Temporal Logics. CDC (2023)
Xinyi Yu, Weijie Dong, Xiang Yin, Shaoyuan Li
Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information. CDC (2022)
Weijie Dong, Xiang Yin, Kuize Zhang, Shaoyuan Li
On the Verification of Detectability for Timed Systems. ACC (2022)
Yihang Chen, Weijie Dong, Yongping Xie
A Dual Realization of Chua's Chaotic Oscillator Using a Current-Controlled Nonlinear Resistor. CoRR (2022)
Weijie Dong, Shang Gao, Xiang Yin, Shaoyuan Li
Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness. CDC (2022)
Xinyi Yu, Weijie Dong, Xiang Yin, Shaoyuan Li
Model Predictive Monitoring of Dynamic Systems for Signal Temporal Logic Specifications. CoRR (2022)
Xinyi Yu, Weijie Dong, Xiang Yin, Shaoyuan Li
Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information. CoRR (2022)
Weijie Dong, Xiang Yin, Shaoyuan Li
A Uniform Framework for Diagnosis of Discrete-Event Systems with Unreliable Sensors using Linear Temporal Logic. CoRR (2022)
Weijie Dong, Shang Gao, Xiang Yin, Shaoyuan Li
Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness. CoRR (2022)
Weijie Dong, Bingxin Ren, Yongping Xie
Design of High Density PCBs with Far-End Crosstalk for Microstrip Lines as Measurement Index. EEET (2021)
Jialiang Gong, Xiaodong Xu, Yufeng Qin, Weijie Dong
A Generative Adversarial Network Based Framework for Specific Emitter Characterization and Identification. WCSP (2019)
Weijie Dong, Keyan Liu, Lijuan Hu
CPS Event Driving Method Based on Micro PMU of Distribution Network. CyberC (2018)
Chen Lv, Wanxing Sheng, Ke-yan Liu, Weijie Dong, Xiaoli Meng
Multi-resolution modelling method based on time-state-machine in complex distribution network. IET Cyper-Phys. Syst.: Theory & Appl. 2 (4) (2017)
Weijie Dong, Xiaoli Meng, Ke-yan Liu, Xiaohui Song, Yajie Li, Xueshun Ye
Research on Frequency-Converter Control Strategy Based on VSM Technology. AsiaSim/SCS AutumnSim (1) (2016)
Yinglong Diao, Ke-yan Liu, Lijuan Hu, Dongli Jia, Weijie Dong
Classification of Massive User Load Characteristics in Distribution Network Based on Agglomerative Hierarchical Algorithm. CyberC (2016)