Login / Signup
Dong Liu
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 4
Top Topics
Distribution Network
Artificial Fish
Hybrid Optimization Algorithm
Formal Verification
Top Venues
IET Cyper-Phys. Syst.: Theory & Appl.
IEEE Internet Things J.
IEEE Access
</>
Publications
</>
Di Qiu
,
Dong Liu
,
Fei Gao
,
Hai Lu
Double-Layer Optimization of Industrial-Park Energy System Based on Discrete Hybrid Automaton.
IEEE Internet Things J.
10 (9, May 1) (2023)
Jiaming Weng
,
Dong Liu
,
Yingxu Liu
Formal specification and verification of fault location, isolation and service restoration of local topology model based on distributed processing for active distribution network.
IET Cyper-Phys. Syst.: Theory & Appl.
6 (3) (2021)
Boya Qin
,
Dong Liu
,
Yiming Lu
Formal verification of ontology transformation for distribution network information model based on meta-model theory.
IET Cyper-Phys. Syst.: Theory & Appl.
5 (4) (2020)
Yu An
,
Dong Liu
Multivariate Gaussian-Based False Data Detection Against Cyber-Attacks.
IEEE Access
7 (2019)