Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2012.05981
Cited By
v1
v2
v3 (latest)
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
Conference on Learning for Dynamics & Control (L4DC), 2020
10 December 2020
Navid Hashemi
Justin Ruths
Mahyar Fazlyab
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization"
16 / 16 papers shown
Identification For Control Based on Neural Networks: Approximately Linearizable Models
Maxime Thieffry
Alexandre Hache
Mohamed Yagoubi
Philippe Chevrel
191
0
0
24 Sep 2024
Ensuring Both Positivity and Stability Using Sector-Bounded Nonlinearity for Systems with Neural Network Controllers
IEEE Control Systems Letters (L-CSS), 2024
Hamidreza Montazeri Hedesh
Milad Siami
199
6
0
18 Jun 2024
Compositional Curvature Bounds for Deep Neural Networks
International Conference on Machine Learning (ICML), 2024
Taha Entesari
Sina Sharifi
Mahyar Fazlyab
AAML
238
2
0
07 Jun 2024
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis
Sina Sharifi
Mahyar Fazlyab
230
2
0
06 Jun 2024
Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees
Neelay Junnarkar
Murat Arcak
Peter M. Seiler
231
5
0
10 Apr 2024
Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations
International Conference on Learning Representations (ICLR), 2024
Patricia Pauli
Aaron J. Havens
Alexandre Araujo
Siddharth Garg
Farshad Khorrami
Frank Allgöwer
Bin Hu
348
7
0
25 Jan 2024
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization
Neural Information Processing Systems (NeurIPS), 2023
Mahyar Fazlyab
Taha Entesari
Aniket Roy
Ramalingam Chellappa
AAML
813
23
0
29 Sep 2023
Hybrid Zonotopes Exactly Represent ReLU Neural Networks
IEEE Conference on Decision and Control (CDC), 2023
Joshua Ortiz
Alyssa Vellucci
Justin P. Koeln
Justin Ruths
261
15
0
05 Apr 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
International Conference on Cyber-Physical Systems (ICCPS), 2023
Navid Hashemi
Bardh Hoxha
Tomoya Yamaguchi
Danil Prokhorov
Geogios Fainekos
Jyotirmoy Deshmukh
220
12
0
07 Mar 2023
Convolutional Neural Networks as 2-D systems
Dennis Gramlich
Patricia Pauli
C. Scherer
Frank Allgöwer
C. Ebenbauer
3DV
276
7
0
06 Mar 2023
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds
IEEE International Conference on Robotics and Automation (ICRA), 2022
Taha Entesari
Sina Sharifi
Mahyar Fazlyab
247
10
0
01 Nov 2022
Zonotope Domains for Lagrangian Neural Network Verification
Neural Information Processing Systems (NeurIPS), 2022
Matt Jordan
J. Hayase
A. Dimakis
Sewoong Oh
202
4
0
14 Oct 2022
A Domain-Theoretic Framework for Robustness Analysis of Neural Networks
Mathematical Structures in Computer Science (MSCS), 2022
Can Zhou
R. A. Shaikh
Yiran Li
Amin Farjudian
OOD
374
5
0
01 Mar 2022
Neural network training under semidefinite constraints
IEEE Conference on Decision and Control (CDC), 2022
Patricia Pauli
Niklas Funcke
Dennis Gramlich
Mohamed Amine Msalmi
Frank Allgöwer
GAN
393
19
0
03 Jan 2022
Linear systems with neural network nonlinearities: Improved stability analysis via acausal Zames-Falb multipliers
IEEE Conference on Decision and Control (CDC), 2021
Patricia Pauli
Dennis Gramlich
J. Berberich
Frank Allgöwer
264
31
0
31 Mar 2021
Performance Bounds for Neural Network Estimators: Applications in Fault Detection
American Control Conference (ACC), 2021
Navid Hashemi
Mahyar Fazlyab
Justin Ruths
AAML
166
3
0
22 Mar 2021
1
Page 1 of 1
