Safety verification of large-scale nonlinear systems: a cyclic-small-gain approach

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]

Authors

Xinyuan Huang

This author has not been identified. Look up 'Xinyuan Huang' in Google

Ziliang Lyu

This author has not been identified. Look up 'Ziliang Lyu' in Google

Yiguang Hong

This author has not been identified. Look up 'Yiguang Hong' in Google