Copertina

Quadratic Characterizations for Reachability Analysis of Neural Networks

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Khalife, Elias, Farhood, Mazen, Garoche, Pierre-Loic
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Machine Learning Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

Expressivity of Quadratic Neural ODEs
di: Hanson, Joshua, et al.
Pubblicazione: (2025)

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

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

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

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

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

Convex Hulls of Reachable Sets
di: Lew, Thomas, et al.
Pubblicazione: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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