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

摘要

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.