no code implementations • 5 Apr 2024 • Yuezhu Xu, S. Sivaranjani
The Lipschitz constant plays a crucial role in certifying the robustness of neural networks to input perturbations and adversarial attacks, as well as the stability and safety of systems with neural network controllers.
no code implementations • 27 Sep 2023 • Yuezhu Xu, S. Sivaranjani
The objective of this paper is to learn a neural dynamical model that approximates this system, while preserving the dissipativity property in the model.