A Component-Based Approach for Modeling Failure Propagations in Power Systems

被引:0
|
作者
Chhokra, Ajay [1 ]
Dubey, Abhishek [1 ]
Mahadevan, Nagahbhushan [1 ]
Karsai, Gabor [1 ]
机构
[1] Vanderbilt Univ, Inst Software Integrated Syst, Nashville, TN 37235 USA
关键词
Cyber Physical Systems; Modeling Language; Generic Modeling environment; Temporal Causal Diagrams; Cyber Physical Energy Systems;
D O I
暂无
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Resiliency and reliability is of paramount importance for energy cyber physical systems. Electrical protection systems including detection elements such as Distance Relays and actuation elements such as Breakers are designed to protect the system from abnormal operations and arrest failure propagation by rapidly isolating the faulty components. However, failure in the protection devices themselves can and do lead to major system events and fault cascades, often leading to blackouts. This paper augments our past work on Temporal Causal Diagrams (TCD), a modeling formalism designed to help reason about the failure progressions by (a) describing a way to generate the TCD model from the system specification, and (b) understand the system failure dynamics for TCD reasoners by configuring simnulation models.
引用
收藏
页数:6
相关论文
共 50 条
  • [21] A Component-Based Approach to Hybrid Systems Safety Verification
    Mueller, Andreas
    Mitsch, Stefan
    Retschitzegger, Werner
    Schwinger, Wieland
    Platzer, Andre
    INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 441 - 456
  • [22] A component-based approach to the design of networked control systems
    Arzen, Karl-Erik
    Bicchi, Antonio
    Dini, Gianluca
    Hailes, Stephen
    Johansson, Karl H.
    Lygeros, John
    Tzes, Anthony
    EUROPEAN JOURNAL OF CONTROL, 2007, 13 (2-3) : 261 - 279
  • [23] A component-based approach for conveying systems control design
    Lallican, Jean-Louis
    Berruet, Pascal
    Rossi, Andre
    Philippe, Jean-Luc
    ICINCO 2007: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL SPSMC: SIGNAL PROCESSING, SYSTEMS MODELING AND CONTROL, 2007, : 329 - 336
  • [24] Quality aspects for component-based systems: A metrics based approach
    Kumar, Vijai
    Sharma, Arun
    Kumar, Rajesh
    Grover, P. S.
    SOFTWARE-PRACTICE & EXPERIENCE, 2012, 42 (12): : 1531 - 1548
  • [25] Decompositional verification of component-based systems - A hybrid approach
    Xie, GY
    19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 414 - 417
  • [26] Composition for component-based modeling
    Gössler, G
    Sifakis, J
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 55 (1-3) : 161 - 183
  • [27] Component-based simulation modeling
    Buss, AH
    PROCEEDINGS OF THE 2000 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2000, : 964 - 971
  • [28] Component-based Modeling in Umple
    Orabi, Mahmoud Husseini
    Orabi, Ahmed Husseini
    Lethbridge, Timothy C.
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 247 - 255
  • [29] Composition for component-based modeling
    Gössler, G
    Sifakis, J
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2003, 2852 : 443 - 466
  • [30] Reliability Analysis of Component-Based Systems with Multiple Failure Modes
    Filieri, Antonio
    Ghezzi, Carlo
    Grassi, Vincenzo
    Mirandola, Raffaela
    COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2010, 6092 : 1 - +