Imagen de Portada

Quadratic Characterizations for Reachability Analysis of Neural Networks

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Khalife, Elias, Farhood, Mazen, Garoche, Pierre-Loic
Formato:	Preprint
Publicado:	2026
Materias:	Machine Learning Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints
por: Khalife, Elias, et al.
Publicado: (2025)

Hypernetwork-Conditioned Reinforcement Learning for Robust Control of Fixed-Wing Aircraft under Actuator Failures
por: Marquis, Dennis, et al.
Publicado: (2026)

Robust Control Design and Analysis Based on Lifting Linearization of Nonlinear Systems Under Uncertain Initial Conditions
por: Sinha, Sourav, et al.
Publicado: (2025)

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
por: Zhang, Yuhao, et al.
Publicado: (2025)

Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis
por: Sharifi, Sina, et al.
Publicado: (2024)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
por: Harapanahalli, Akash, et al.
Publicado: (2023)

Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency
por: Sayed, Abdelrahman Sayed, et al.
Publicado: (2025)

Data-Driven Discrepancy Modeling in Higher-Dimensional State Space via Coprime Factorization
por: Sinha, Sourav, et al.
Publicado: (2025)

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
por: Ajeyemi, Damola, et al.
Publicado: (2025)

Neural Approximators for Low-Thrust Trajectory Transfer Cost and Reachability
por: Zhang, Zhong, et al.
Publicado: (2025)

Expressivity of Quadratic Neural ODEs
por: Hanson, Joshua, et al.
Publicado: (2025)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
por: Solanki, Prashant, et al.
Publicado: (2025)

Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees
por: Huang, Yanliang, et al.
Publicado: (2026)

The Reachability Problem for Neural-Network Control Systems
por: Schilling, Christian, et al.
Publicado: (2024)

Near-Optimal Distributed Linear-Quadratic Regulator for Networked Systems
por: Shin, Sungho, et al.
Publicado: (2022)

$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
por: Harapanahalli, Akash, et al.
Publicado: (2024)

Convex Hulls of Reachable Sets
por: Lew, Thomas, et al.
Publicado: (2023)

On relaxing the N-Reachability Implicit Requirement in NMPC Design
por: Alamir, Mazen
Publicado: (2025)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
por: Hafez, Ahmad, et al.
Publicado: (2025)

High-Dimensional Analysis of Gradient Flow for Extensive-Width Quadratic Neural Networks
por: Martin, Simon, et al.
Publicado: (2026)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
por: Liu, Jun, et al.
Publicado: (2023)

Fusion of Quadratic Time-Frequency Analysis and Convolutional Neural Networks to Diagnose Bearing Faults Under Time-Varying Speeds
por: Al-Sa'd, Mohammad, et al.
Publicado: (2024)

Adversarial Reinforcement Learning for Robust Control of Fixed-Wing Aircraft under Model Uncertainty
por: Marquis, Dennis J., et al.
Publicado: (2025)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
por: Shen, Keyi, et al.
Publicado: (2026)

Nonasymptotic Regret Analysis of Adaptive Linear Quadratic Control with Model Misspecification
por: Lee, Bruce D., et al.
Publicado: (2023)

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
por: Lin, Albert, et al.
Publicado: (2025)

Symplectic Inductive Bias for Data-Driven Target Reachability in Hamiltonian Systems
por: Ouyang, Zhuo, et al.
Publicado: (2026)

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics
por: Prajapat, Manish, et al.
Publicado: (2025)

Regret Analysis of Multi-task Representation Learning for Linear-Quadratic Adaptive Control
por: Lee, Bruce D., et al.
Publicado: (2024)

Data-driven Reachable Set Estimation with Tunable Adversarial and Wasserstein Distributional Guarantees
por: Pantazis, Georgios, et al.
Publicado: (2026)

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
por: Serry, Mohamed, et al.
Publicado: (2026)

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
por: Lin, Albert, et al.
Publicado: (2023)

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
por: Jafarpour, Saber, et al.
Publicado: (2023)

Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey
por: Ganai, Milan, et al.
Publicado: (2024)

Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks
por: Noori, Sahel Vahedi, et al.
Publicado: (2024)

Distributed Policy Gradient for Linear Quadratic Networked Control with Limited Communication Range
por: Yan, Yuzi, et al.
Publicado: (2024)

Scalar Federated Learning for Linear Quadratic Regulator
por: Rostami, Mohammadreza, et al.
Publicado: (2026)

Learning Decentralized Linear Quadratic Regulators with $\sqrt{T}$ Regret
por: Ye, Lintao, et al.
Publicado: (2022)

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
por: Nath, Devesh, et al.
Publicado: (2026)

Spatio-Temporal Graph Neural Networks for Dairy Farm Sustainability Forecasting and Counterfactual Policy Analysis
por: Jayakumar, Surya, et al.
Publicado: (2025)