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]
@inproceedings{HuangLH22-6,
title = {Safety verification of large-scale nonlinear systems: a cyclic-small-gain approach},
author = {Xinyuan Huang and Ziliang Lyu and Yiguang Hong},
year = {2022},
doi = {10.1109/ICCA54724.2022.9831960},
url = {https://doi.org/10.1109/ICCA54724.2022.9831960},
researchr = {https://researchr.org/publication/HuangLH22-6},
cites = {0},
citedby = {0},
pages = {459-462},
booktitle = {17th IEEE International Conference on Control & Automation, ICCA 2022, Naples, Italy, June 27-30, 2022},
publisher = {IEEE},
isbn = {978-1-6654-9572-1},
}