Certifying Incremental Quadratic Constraints for Neural Networks via
Convex Optimization

v1v2v3 (latest)

Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization

10 December 2020

ArXiv (abs)PDF HTML

Papers citing "Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization"

16 / 16 papers shown

Title
Identification For Control Based on Neural Networks: Approximately Linearizable Models Maxime Thieffry Alexandre Hache Mohamed Yagoubi Philippe Chevrel 36 0 0 24 Sep 2024
Ensuring Both Positivity and Stability Using Sector-Bounded Nonlinearity for Systems with Neural Network Controllers Hamidreza Montazeri Hedesh Milad Siami 55 2 0 18 Jun 2024
Compositional Curvature Bounds for Deep Neural Networks Taha Entesari Sina Sharifi Mahyar Fazlyab AAML 64 1 0 07 Jun 2024
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis Sina Sharifi Mahyar Fazlyab 94 0 0 06 Jun 2024
Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees Neelay Junnarkar Murat Arcak Peter M. Seiler 60 4 0 10 Apr 2024
Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations Patricia Pauli Aaron J. Havens Alexandre Araujo Siddharth Garg Farshad Khorrami Frank Allgöwer Bin Hu 119 4 0 25 Jan 2024
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization Mahyar Fazlyab Taha Entesari Aniket Roy Ramalingam Chellappa AAML 113 11 0 29 Sep 2023
Hybrid Zonotopes Exactly Represent ReLU Neural Networks Joshua Ortiz Alyssa Vellucci Justin P. Koeln Justin Ruths 62 11 0 05 Apr 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems Navid Hashemi Bardh Hoxha Tomoya Yamaguchi Danil Prokhorov Geogios Fainekos Jyotirmoy Deshmukh 55 8 0 07 Mar 2023
Convolutional Neural Networks as 2-D systems Dennis Gramlich Patricia Pauli C. Scherer Frank Allgöwer C. Ebenbauer 3DV 54 8 0 06 Mar 2023
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 104 6 0 01 Nov 2022
Zonotope Domains for Lagrangian Neural Network Verification Matt Jordan J. Hayase A. Dimakis Sewoong Oh 83 3 0 14 Oct 2022
A Domain-Theoretic Framework for Robustness Analysis of Neural Networks Can Zhou R. A. Shaikh Yiran Li Amin Farjudian OOD 78 4 0 01 Mar 2022
Neural network training under semidefinite constraints Patricia Pauli Niklas Funcke Dennis Gramlich Mohamed Amine Msalmi Frank Allgöwer GAN 59 14 0 03 Jan 2022
Linear systems with neural network nonlinearities: Improved stability analysis via acausal Zames-Falb multipliers Patricia Pauli Dennis Gramlich J. Berberich Frank Allgöwer 43 27 0 31 Mar 2021
Performance Bounds for Neural Network Estimators: Applications in Fault Detection Navid Hashemi Mahyar Fazlyab Justin Ruths AAML 36 2 0 22 Mar 2021