Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems
Guangyao Chen,Peilin He,Ziqi Wang,Zixin Teng,Zhihao Jiang
DOI: https://doi.org/10.1016/j.eswa.2024.123371
IF: 8.5
2024-02-03
Expert Systems with Applications
Abstract:In the realm of complex and evolving Multi-Agent Systems (MAS), ensuring system reliability and safety is paramount. These systems, characterized by their partial observability and intricate inter-agent interactions, pose significant challenges for fault management. This paper introduces a novel framework that leverages model checking and timed automata to address these challenges, providing a rigorous solution for fault management in MAS. We formalize the problems of fault identification, diagnosability, and tolerance within the context of partially observable MAS, laying a solid foundation for systematic analysis and interpretation. The framework utilizes timed automata to model the dynamic and non-deterministic nature of MAS, while model checking is employed to ensure comprehensive and rigorous fault management results. Through a case study on an Electric Power System, we demonstrate the framework's efficacy in providing both offline design insights and online decision support, enhancing the system's resilience to faults. The results underscore the framework's ability to navigate the complexities of partially observable MAS, offering clear and actionable guidance for fault mitigation.
computer science, artificial intelligence,engineering, electrical & electronic,operations research & management science