Safety verification of large-scale nonlinear systems: a cyclic-small-gain approach
Xinyuan Huang, Ziliang Lyu, Yiguang Hong · 2022
In this paper, we consider the safety verification problem for a large-scale nonlinear system. Existing tools for safety verification are not scaled well for an interconnected system with nonlinear dynamics and strong interconnection. To solve the problem, we propose a cyclic-small-gain condition to verify the safety of a large-scale nonlinear interconnected system. We show that the higher-dimensional safety set of the large-scale nonlinear system can be constructed from the lower dimensional safety set corresponding to each subsystem if the local input-to-state safety and the cyclic-small-gain conditions are satisfied.