Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems

J. Liu, Y. Meng, M. Fitzsimmons, R. Zhou
July, 2024
PDF Cite Project
Type
Conference paper
Publication
In 2024 American Control Conference (ACC)