Xinyuan Huang, Ziliang Lyu, Yiguang Hong. Safety verification of large-scale nonlinear systems: a cyclic-small-gain approach. In 17th IEEE International Conference on Control & Automation, ICCA 2022, Naples, Italy, June 27-30, 2022. pages 459-462, IEEE, 2022. [doi]
Abstract is missing.