Cover Image

Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pauli, Patricia, Havens, Aaron, Araujo, Alexandre, Garg, Siddharth, Khorrami, Farshad, Allgöwer, Frank, Hu, Bin
Format:	Preprint
Published:	2024
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LipSim: A Provably Robust Perceptual Similarity Metric
by: Ghazanfari, Sara, et al.
Published: (2023)

LipKernel: Lipschitz-Bounded Convolutional Neural Networks via Dissipative Layers
by: Pauli, Patricia, et al.
Published: (2024)

EMMA: Efficient Visual Alignment in Multi-Modal LLMs
by: Ghazanfari, Sara, et al.
Published: (2024)

Out-of-Distribution Detection with Overlap Index
by: Fu, Hao, et al.
Published: (2024)

An Upper Bound for the Distribution Overlap Index and Its Applications
by: Fu, Hao, et al.
Published: (2022)

SYNCR: A Cross-Video Reasoning Benchmark with Synthetic Grounding
by: Ghazanfari, Sara, et al.
Published: (2026)

Lipschitz constant estimation for general neural network architectures using control tools
by: Pauli, Patricia, et al.
Published: (2024)

State space representations of the Roesser type for convolutional layers
by: Pauli, Patricia, et al.
Published: (2024)

Data-Driven Min-Max MPC with Integral Quadratic Constraints
by: Xie, Yifan, et al.
Published: (2026)

Robust Neural Lyapunov Control for Nonlinear Systems With Quadratically Bounded Disturbances
by: Shiqing Wei, et al.
Published: (2025)

Towards Unified Benchmark and Models for Multi-Modal Perceptual Metrics
by: Ghazanfari, Sara, et al.
Published: (2024)

Chain-of-Frames: Advancing Video Understanding in Multimodal LLMs via Frame-Aware Reasoning
by: Ghazanfari, Sara, et al.
Published: (2025)

Lipschitz-bounded 1D convolutional neural networks using the Cayley transform and the controllability Gramian
by: Pauli, Patricia, et al.
Published: (2023)

SDP Approach to Quadratic Vertex-Disjoint Paths Problem
by: Xu, Mingming, et al.
Published: (2026)

On the (In)feasibility of ML Backdoor Detection as an Hypothesis Testing Problem
by: Pichler, Georg, et al.
Published: (2024)

Multi‐Objective Robust Controller Synthesis With Integral Quadratic Constraints in Discrete‐Time
by: Lukas Schwenkel, et al.
Published: (2025)

On the Exactness of SDP Relaxation for Quadratic Assignment Problem
by: Ling, Shuyang
Published: (2024)

Data-Efficient System Identification via Lipschitz Neural Networks
by: Wei, Shiqing, et al.
Published: (2024)

Enabling Deep Visibility into VxWorks-Based Embedded Controllers in Cyber-Physical Systems for Anomaly Detection
by: Krishnamurthy, Prashanth, et al.
Published: (2025)

RAZER: Robust Accelerated Zero-Shot 3D Open-Vocabulary Panoptic Reconstruction with Spatio-Temporal Aggregation
by: Patel, Naman, et al.
Published: (2025)

SCAMPER -- Synchrophasor Covert chAnnel for Malicious and Protective ERrands
by: Krishnamurthy, Prashanth, et al.
Published: (2025)

Robotic Shepherding in Cluttered and Unknown Environments using Control Barrier Functions
by: Hamandi, Mahmoud, et al.
Published: (2024)

Real-Time Multi-Modal Subcomponent-Level Measurements for Trustworthy System Monitoring and Malware Detection
by: Khorrami, Farshad, et al.
Published: (2025)

Confidence-Aware Safe and Stable Control of Control-Affine Systems
by: Wei, Shiqing, et al.
Published: (2024)

Combining Switching Mechanism with Re-Initialization and Anomaly Detection for Resiliency of Cyber-Physical Systems
by: Fu, Hao, et al.
Published: (2024)

Prescribed-Time Stability Properties of Interconnected Systems
by: Krishnamurthy, Prashanth, et al.
Published: (2024)

Learning a Better Control Barrier Function Under Uncertain Dynamics
by: Dai, Bolun, et al.
Published: (2023)

Distributed MPC for Self-Organized Cooperation of Multiagent Systems -- Extended Version
by: Köhler, Matthias, et al.
Published: (2022)

A Control Barrier Function-Constrained Model Predictive Control Framework for Safe Reinforcement Learning
by: Kaypak, Ali Umut, et al.
Published: (2026)

A Consensus Algorithm for Second-Order Systems Evolving on Lie Groups
by: Krishna, Akhil B, et al.
Published: (2025)

Quadratic types and the dynamic Euler number of lines on a quintic threefold
by: Pauli, Sabrina
Published: (2020)

Extended Noncausal Multiplier Approach for Stability Analysis of Slope‐Restricted Lur'e Systems
by: Hae Seong Lee, et al.
Published: (2025)

Quadratically Enriched Tropical Intersections
by: Puentes, Andrés Jaramillo, et al.
Published: (2022)

Sailing Through Point Clouds: Safe Navigation Using Point Cloud Based Control Barrier Functions
by: Dai, Bolun, et al.
Published: (2024)

Tracking Real-time Anomalies in Cyber-Physical Systems Through Dynamic Behavioral Analysis
by: Krishnamurthy, Prashanth, et al.
Published: (2024)

Differentiable Optimization Based Time-Varying Control Barrier Functions for Dynamic Obstacle Avoidance
by: Dai, Bolun, et al.
Published: (2023)

CLIPScope: Enhancing Zero-Shot OOD Detection with Bayesian Scoring
by: Fu, Hao, et al.
Published: (2024)

Proactive Hierarchical Control Barrier Function-Based Safety Prioritization in Close Human-Robot Interaction Scenarios
by: Maithani, Patanjali, et al.
Published: (2025)

HiFi-CS: Towards Open Vocabulary Visual Grounding For Robotic Grasping Using Vision-Language Models
by: Bhat, Vineet, et al.
Published: (2024)

Integral Quadratic Constraints for Repeated ReLU
by: Noori, Sahel Vahedi, et al.
Published: (2026)