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
Topics & Concepts
Computer scienceDecision support systemElectric power systemFault (geology)Electric powerPower (physics)Reliability engineeringData miningGeologyEngineeringQuantum mechanicsSeismologyPhysicsSmart Grid Security and ResilienceSoftware Testing and Debugging TechniquesSoftware System Performance and Reliability