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

被引：0
|
作者：
Chen, Guangyao [1 ]
He, Peilin [1 ]
Wang, Ziqi [1 ]
Teng, Zixin [1 ]
Jiang, Zhihao [1 ,2 ]
机构：
[1] School of Information Science and Technology, ShanghaiTech University, Shanghai,201210, China
[2] Shanghai Engineering Research Center of Intelligent Vision and Imaging, Shanghai,200120, China
来源：
Expert Systems with Applications | 2024年 / 247卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems
    Chen, Guangyao
    He, Peilin
    Wang, Ziqi
    Teng, Zixin
    Jiang, Zhihao
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2024, 247
  • [2] A Model Checking-based Analysis Framework for Systems Biology Models
    Liu, Bing
    Safa, Sara
    [J]. PROCEEDINGS OF THE 2020 57TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2020,
  • [3] A model checking-based security analysis framework for IoT systems
    Fang, Zheng
    Fu, Hao
    Gu, Tianbo
    Qian, Zhiyun
    Jaeger, Trent
    Hu, Pengfei
    Mohapatra, Prasant
    [J]. HIGH-CONFIDENCE COMPUTING, 2021, 1 (01):
  • [4] Decision support system model for fault comprehensive evaluation
    Yuan, Haibin
    Yuan, Haiwen
    [J]. Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2009, 37 (SUPPL. 1): : 241 - 244
  • [5] Fuzzy decision support system for electric utilities fault comprehensive evaluation in electric control system
    Yuan Haiwen
    Yuan Haibin
    Li Xingshan
    [J]. 2006 IEEE CONFERENCE ON ROBOTICS, AUTOMATION AND MECHATRONICS, VOLS 1 AND 2, 2006, : 416 - +
  • [6] AN APPLICATION OF CASE-BASED REASONING FOR FAULT RESTORATION SUPPORT IN ELECTRIC-POWER SYSTEMS
    OKUDA, K
    YAMAZAKI, K
    [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 14 : 273 - 279
  • [7] DECISION SUPPORT SYSTEM FOR DISPATCHING PERSONNEL OF INTELLIGENT ELECTRIC POWER SYSTEMS
    Andreev, Mikhail
    Sulaymanov, Almaz
    Suvorov, Alexey
    [J]. SMART GRIDS 2015, 2015, 37
  • [8] Development of Decision Support System for Data Analysis of Electric Power Systems
    Dobaev, A. Z.
    Maslakov, M. P.
    Dedegkaeva, A. A.
    [J]. 2016 2ND INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING, APPLICATIONS AND MANUFACTURING (ICIEAM), 2016,
  • [9] Fault section estimation in power systems using a novel decision support system
    Huang, YC
    [J]. IEEE TRANSACTIONS ON POWER SYSTEMS, 2002, 17 (02) : 439 - 444
  • [10] Semantic based Model Management in Decision Support System
    Zhang, Bo
    Xiang, Yang
    [J]. 2008 7TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-23, 2008, : 5782 - 5787
12345