One ADHS 2024 Paper Accepted

Our paper, 'LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal Guarantees' has been accepted to the 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Boulder.