<  Back to the Polytechnique Montréal portal

Assessing the resilience of stochastic dynamic systems under partial observability

Jacopo Panerati, Nicolas Schwind, Stephan Zeltner, Katsumi Inoue and Giovanni Beltrame

Article (2018)

Open Acess document in PolyPublie and at official publisher
[img]
Preview
Open Access to the full text of this document
Published Version
Terms of Use: Creative Commons Attribution
Download (1MB)
Show abstract
Hide abstract

Abstract

Resilience is a property of major interest for the design and analysis of generic complex systems. A system is resilient if it can adjust in response to disruptive shocks, and still provide the services it was designed for, without interruptions. In this work, we adapt a formal definition of resilience for constraint-based systems to a probabilistic framework derived from hidden Markov models. This allows us to more realistically model the stochastic evolution and partial observability of many complex real-world environments. Within this framework, we propose an efficient and exact algorithm for the inference queries required to construct generic property checking. We show that the time complexity of this algorithm is on par with other state-of-the-art inference queries for similar frameworks (that is, linear with respect to the time horizon). We also provide considerations on the specific complexity of the probabilistic checking of resilience and its connected properties, with particular focus on resistance. To demonstrate the flexibility of our approach and to evaluate its performance, we examine it in four qualitative and quantitative example scenarios: (1) disaster management and damage assessment; (2) macroeconomics; (3) self-aware, reconfigurable computing for aerospace applications; and (4) connectivity maintenance in robotic swarms.

Uncontrolled Keywords

Aircraft; *Algorithms; Computers; Disasters; Models, Economic; Probability; Robotics/methods; Stochastic Processes

Subjects: 2700 Information technology > 2700 Information technology
2700 Information technology > 2702 Computer systems organization
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/5070/
Journal Title: PLOS One (vol. 13, no. 8)
Publisher: PLOS
DOI: 10.1371/journal.pone.0202337
Official URL: https://doi.org/10.1371/journal.pone.0202337
Date Deposited: 03 Jun 2022 14:45
Last Modified: 08 Apr 2024 20:35
Cite in APA 7: Panerati, J., Schwind, N., Zeltner, S., Inoue, K., & Beltrame, G. (2018). Assessing the resilience of stochastic dynamic systems under partial observability. PLOS One, 13(8), e0202337 (21 pages). https://doi.org/10.1371/journal.pone.0202337

Statistics

Total downloads

Downloads per month in the last year

Origin of downloads

Dimensions

Repository Staff Only

View Item View Item