Predictive Formal Analysis of Resilience in Cyber-Physical Systems
The behavioral analysis of cyber-physical systems in safety-critical scenarios is a challenging task.In this paper, the endogenous and exogenous aspects of resilience are of cornerstone importance in system design and verification.Endogenous resilience is the inherent ability of here the system to detect and process internal faults and malicious at