LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal Guarantees

Publication
In 2024 IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)