On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems
- 3 October 2022
- book chapter
- Published by Springer Nature
- p. 96-113
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- A review of definitions and measures of system resilienceReliability Engineering & System Safety, 2016
- A rewriting framework and logic for activities subject to regulationsMathematical Structures in Computer Science, 2015
- A Framework for Measuring Software Obfuscation Resilience against Automated Attacks2015
- Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems2015
- Towards Formal Approaches to System Resilience2013
- Resilience-based network component importance measuresReliability Engineering & System Safety, 2013
- Generic metrics and quantitative approaches for system resilience as a function of timeReliability Engineering & System Safety, 2012
- Toward Inherently Secure and Resilient SocietiesScience, 2005
- A Framework to Quantitatively Assess and Enhance the Seismic Resilience of CommunitiesEarthquake Spectra, 2003
- Relationships between nondeterministic and deterministic tape complexitiesJournal of Computer and System Sciences, 1970