Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions

Resilience, i.e., the ability to withstand and recover from disruption, is a fundamental requirement for mission-critical automation systems. Interconnection among systems makes the analytical determination of resilience zones harder than in isolated systems, because the failure of a system usually has an impact on those connected to it. In this paper we propose an algorithm to determine resilience zones of interconnected systems based on the computation of piecewise linear Lyapunov functions. The algorithm is based on a model introduced previously that abstracts from specific system dynamics and enables analysis in the space of performances. Experiments with an interconnected system inspired to a real wastewater treatment facility show the feasibility and the accountability of our approach.