Login / Signup
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
Published in:
Expert Syst. Appl. (2024)
Keyphrases
</>
decision support system
model checking
decision support
temporal logic
decision makers
fault management
management system
artificial intelligence
case based reasoning
risk management
formal verification
epistemic logic
metadata
expert systems
data warehouse
soft computing