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
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
下载
收藏
相关论文
共 50 条
  • [41] Development of growth model-based decision support system for crop management
    Cao Weixing
    Tang Liang
    Zhu Yan
    Pan Jie
    Li Weiguo
    Chen Binling
    PMA 2006: SECOND INTERNATIONAL SYMPOSIUM ON PLANT GROWTH MODELING, SIMULATION, VISUALIZATION AND APPLICATIONS, PROCEEDINGS, 2007, : 181 - 184
  • [42] Development of growth model-based decision support system for rapeseed management
    Hi-Tech. Key Laboratory of Information Agriculture of Jiangsu Province, College of Agronomy, Nanjing Agricultural University, Nanjing 210095, China
    Nongye Gongcheng Xuebao, 2006, 11 (160-164):
  • [43] Combined discrete event simulation and systems thinking-based framework for management decision support
    Chatha, K. A.
    Weston, R. H.
    PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART B-JOURNAL OF ENGINEERING MANUFACTURE, 2006, 220 (12) : 1969 - 1981
  • [44] Decision support system for ship energy efficiency management based on an optimization model
    Karatug, Caglar
    Tadros, Mina
    Ventura, Manuel
    Soares, C. Guedes
    ENERGY, 2024, 292
  • [45] An Optimization Model for FML-based Decision Support System on Energy Management
    Wang, Mei-Hui
    Hsieh, Pi-Jen
    Lee, Chang-Shing
    St-Pierre, David Lupien
    Liu, Che-Hung
    2014 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2014, : 850 - 856
  • [46] CONSIDERATION OF THE ASPECTS OF THE TRANSPORTATION SYSTEMS MICROSCOPIC MODEL APPLICATION AS PART OF A DECISION SUPPORT SYSTEM
    Yurshevich, Elena
    Yatskiv, Irina
    TRANSPORT AND TELECOMMUNICATION JOURNAL, 2012, 13 (03) : 209 - 218
  • [47] Multi-Model Based Fault Detection for the Power System of More Electric Aircraft
    Ji, Y.
    Bals, J.
    ASCC: 2009 7TH ASIAN CONTROL CONFERENCE, VOLS 1-3, 2009, : 93 - 98
  • [48] Case-based decision model matches ideal point model: Application to marketing decision support system
    Kinjo, Keita
    Ebina, Takeshi
    JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 2018, 50 (02) : 341 - 362
  • [49] The AMS Integrated Management Model: A decision-support system for automatic milking systems
    Gargiulo, J., I
    Lyons, N. A.
    Clark, C. E. F.
    Garcia, S. C.
    COMPUTERS AND ELECTRONICS IN AGRICULTURE, 2022, 196
  • [50] Case-based decision model matches ideal point model:Application to marketing decision support system
    Keita Kinjo
    Takeshi Ebina
    Journal of Intelligent Information Systems, 2018, 50 : 341 - 362