3 papers
eess.SY2025
Learning Neural Network Safe Tracking Controllers from Backward Reachable Sets
Yuezhu Xu, Mohamed Serry, Jun Liu +1
The design of tracking controllers that closely follow a reference trajectory while ensuring safety and robustness against disturbances is a challenging problem in the control of a…
cs.LG2025
ECLipsE-Gen-Local: Efficient Compositional Local Lipschitz Estimates for Deep Neural Networks
Yuezhu Xu, S. Sivaranjani
The Lipschitz constant is a key measure for certifying the robustness of neural networks to input perturbations. However, computing the exact constant is NP-hard, and standard appr…
eess.SY2025
Learning Neural Koopman Operators with Dissipativity Guarantees
Yuezhu Xu, S. Sivaranjani, Vijay Gupta
We address the problem of learning a neural Koopman operator model that provides dissipativity guarantees for an unknown nonlinear dynamical system that is known to be dissipative.…