TOWARDS AN ALGEBRA FOR CASCADE EFFECTS

被引:1
|
作者
Adam, Elie M. [1 ]
Dahleh, Munther A. [1 ]
Ozdaglar, Asuman [1 ]
机构
[1] MIT, Lab Informat & Decis Syst, Cambridge, MA 02139 USA
关键词
Cascade effects; Contagion; Deduction; Lattice; Fixed points; Closure operator; Monotone map; Galois connection; Dynamical system; Systemic failure; CLOSURE OPERATORS;
D O I
10.23638/LMCS-13(3:1)2017
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We introduce a new class of (dynamical) systems that inherently capture cascading effects (viewed as consequential effects) and are naturally amenable to combinations. We develop an axiomatic general theory around those systems, and guide the endeavor towards an understanding of cascading failure. The theory evolves as an interplay of lattices and fixed points, and its results may be instantiated to commonly studied models of cascade effects. We characterize the systems through their fixed points, and equip them with two operators. We uncover properties of the operators, and express global systems through combinations of local systems. We enhance the theory with a notion of failure, and understand the class of shocks inducing a system to failure. We develop a notion of-rank to capture the energy of a system, and understand the minimal amount of effort required to fail a system, termed resilience. We deduce a dual notion of fragility and show that the combination of systems sets a limit on the amount of fragility inherited.
引用
下载
收藏
页数:31
相关论文
共 50 条
  • [1] Towards an Algebra for Cascade Effects
    Adam, Elie M.
    Dahleh, Munther A.
    Ozdaglar, Asuman
    2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 4461 - 4466
  • [2] EFFECTS OF COMPUTER ALGEBRA SYSTEMS ON ATTITUTES TOWARDS MATHEMATICS
    Aktumen, Muharrem
    Kacar, Ahmet
    HACETTEPE UNIVERSITESI EGITIM FAKULTESI DERGISI-HACETTEPE UNIVERSITY JOURNAL OF EDUCATION, 2008, (35): : 13 - 26
  • [3] Towards a refinement algebra
    von Wright, J
    SCIENCE OF COMPUTER PROGRAMMING, 2004, 51 (1-2) : 23 - 45
  • [4] Towards a Connector Algebra
    Autili, Marco
    Chilton, Chris
    Inverardi, Paola
    Kwiatkowska, Marta
    Tivoli, Massimo
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 278 - +
  • [5] TOWARDS A PSYCHOLOGY OF ALGEBRA
    WHEELER, D
    LEE, L
    PROCEEDINGS OF THE EIGHTH ANNUAL MEETING - PME-NA: NORTH AMERICAN CHAPTER OF THE INTERNATIONAL GROUP FOR THE PSYCHOLOGY OF MATHEMATICS EDUCATION, 1986, : 133 - 138
  • [6] TOWARDS POINTER ALGEBRA
    MOLLER, B
    SCIENCE OF COMPUTER PROGRAMMING, 1993, 21 (01) : 57 - 90
  • [7] Towards Antichain Algebra
    Moeller, Bernhard
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2015), 2015, 9348 : 344 - 361
  • [8] Towards an algebra for lighting simulation
    Glaser, DC
    Feng, O
    Voung, J
    Xiao, L
    BUILDING AND ENVIRONMENT, 2004, 39 (08) : 895 - 903
  • [9] Towards a linear algebra of programming
    Oliveira, Jose N.
    FORMAL ASPECTS OF COMPUTING, 2012, 24 (4-6) : 433 - 458
  • [10] TOWARDS KLEENE ALGEBRA WITH RECURSION
    LEISS, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 242 - 256