Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems
Abstract
This paper presents a model-checking-based decision-support framework for fault management in partially observable multi-agent systems. Using timed automata and a case study in electric power systems, it formalizes fault identification, diagnosability, and tolerance and provides actionable guidance for resilient operation.
Type
Publication
Expert Systems with Applications
Guangyao Chen
Alumni
Guangyao Chen graduated from ShanghaiTech University and is now with Yuanlan Private Fund.
Peilin He
M.S. Candidate
Wentao Wang is a Computer Science undergraduate student Class 2019 at ShanghaiTech University.
Zhihao Jiang
Assistant Professor
Zhihao Jiang is the director of Human-Cyber-Physical Systems Lab at ShanghaiTech University.