Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems

Guangyao Chen, Peilin He, ziqi, zixin, Zhihao Jiang
February 2024
Cite Project DOI
Type
Journal article
Publication
Expert Systems with Applications
Modeling
Guangyao Chen
Guangyao Chen
Ph.D Candidate

Guangyao Chen is a Computer Science Ph.D candidate Class 2020 at ShanghaiTech University. He can be reached at chengy2 at shanghaitech.edu.cn

Peilin He
Peilin He
M.S. Candidate

Wentao Wang is a Computer Science undergraduate student Class 2019 at ShanghaiTech University.

Zhihao Jiang
Zhihao Jiang
Assistant Professor

Zhihao Jiang is the director of Human-Cyber-Physical Systems Lab at ShanghaiTech University.

Related