Cover Image

Over-Approximating Minimizer Sets of Constrained Convex Programs with Parametric Uncertainty via Reachability Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gould, Brendan, Chiu, Chih-Yuan, Leeman, Antoine P., Vamvoudakis, Kyriakos G., Coogan, Samuel, Chou, Glen
Format:	Preprint
Published:	2026
Subjects:	Optimization and Control Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Parametric Reachable Sets Via Controlled Dynamical Embeddings
by: Harapanahalli, Akash, et al.
Published: (2025)

Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming
by: Harapanahalli, Akash, et al.
Published: (2025)

Safety Beyond the Training Data: Robust Out-of-Distribution MPC via Conformalized System Level Synthesis
by: Srinivasan, Anutam, et al.
Published: (2026)

Convex Constrained Controller Synthesis for Evolution Equations
by: Conger, Lauren, et al.
Published: (2024)

Robustly Constrained Dynamic Games for Uncertain Nonlinear Dynamics
by: Zhan, Shuyu, et al.
Published: (2025)

Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU
by: Fang, Jeffrey, et al.
Published: (2026)

Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
by: Xie, Peng, et al.
Published: (2025)

Active Constraint Learning in High Dimensions from Demonstrations
by: Qiu, Zheng, et al.
Published: (2025)

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

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

Convex Hulls of Reachable Sets
by: Lew, Thomas, et al.
Published: (2023)

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

Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling
by: Gould, Brendan, et al.
Published: (2025)

VISION-SLS: Safe Perception-Based Control from Learned Visual Representations via System Level Synthesis
by: Leeman, Antoine P., et al.
Published: (2026)

FICA: Faster Inner Convex Approximation of Chance Constrained Grid Dispatch with Decision-Coupled Uncertainty
by: Zhou, Yihong, et al.
Published: (2025)

Monotonicity and Contraction on Polyhedral Cones
by: Jafarpour, Saber, et al.
Published: (2022)

A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds
by: Harapanahalli, Akash, et al.
Published: (2024)

A Linear Differential Inclusion for Contraction Analysis to Known Trajectories
by: Harapanahalli, Akash, et al.
Published: (2024)

Convex Approximations of Random Constrained Markov Decision Processes
by: Varagapriya, V, et al.
Published: (2025)

Convergence Rates of Online Critic Value Function Approximation in Native Spaces
by: Niu, Shengyuan, et al.
Published: (2024)

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

Lightweight Tracking Control for Computationally Constrained Aerial Systems with the Newton-Raphson Method
by: Morales-Cuadrado, Evanns, et al.
Published: (2025)

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

Guaranteed Feasibility in Differentially Private Linearly Constrained Convex Optimization
by: Benvenuti, Alexander, et al.
Published: (2024)

A Parametric Approach for Solving Convex Quadratic Optimization with Indicators Over Trees
by: Bhathena, Aaresh, et al.
Published: (2024)

On the Set of Possible Minimizers of a Sum of Convex Functions
by: Zamani, Moslem, et al.
Published: (2024)

Verification of Sequential Convex Programming for Parametric Non-convex Optimization
by: Sambharya, Rajiv, et al.
Published: (2025)

Certified Robust Invariant Polytope Training in Neural Controlled ODEs
by: Harapanahalli, Akash, et al.
Published: (2024)

Guaranteed Robust Nonlinear MPC via Disturbance Feedback
by: Leeman, Antoine P., et al.
Published: (2025)

Convex Chance-Constrained Programs with Wasserstein Ambiguity
by: Shen, Haoming, et al.
Published: (2021)

Exploiting Over-Approximation Errors as Preview Information for Nonlinear Control
by: Aspeel, Antoine, et al.
Published: (2025)

Quantum Deception: Honey-X Deception using Quantum Games
by: Reppas, Efstratios, et al.
Published: (2025)

linrax: A JAX Compatible, Simplex Method Linear Program Solver
by: Gould, Brendan, et al.
Published: (2025)

Sparsity-Promoting Reachability Analysis and Optimization of Constrained Zonotopes
by: Robbins, Joshua A., et al.
Published: (2025)

A Variable Smoothing for Weakly Convex Composite Minimization with Manifold Constraint via Parametrization
by: Kume, Keita, et al.
Published: (2024)

Hamilton-Jacobi Reachability for Viability Analysis of Constrained Waste-to-Energy Systems under Adversarial Uncertainty
by: Bouhmady, Achraf, et al.
Published: (2025)

Self-Supervised Learning of Parametric Approximation for Security-Constrained DC-OPF
by: Anrrango, Anderson, et al.
Published: (2026)

A Quadratically-Constrained Convex Approximation for the AC Optimal Power Flow
by: Constante-Flores, Gonzalo E., et al.
Published: (2025)

Finite-time Reachability for Constrained, Partially Uncontrolled Nonlinear Systems
by: Padmanabhan, Ram, et al.
Published: (2026)

High-order Accumulative Regularization for Gradient Minimization in Convex Programming
by: Ji, Yao, et al.
Published: (2025)