:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Nguyen, Steven, Cortés, Jorge, Kramer, Boris
Format:	Preprint
Published:	2026
Subjects:	Optimization and Control Systems and Control
Online Access:	https://arxiv.org/abs/2603.15865
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reachability-Based Design Optimization for Aircraft Maneuverability
by: Nguyen, Steven, et al.
Published: (2026)

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

Control Barrier Function Based Design of Gradient Flows for Constrained Nonlinear Programming
by: Allibhoy, Ahmed, et al.
Published: (2022)

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)

Input Matrix Optimization for Desired Reachable Set Warping of Linear Systems
by: Das, Hrishav, et al.
Published: (2026)

Feasibility Analysis and Regularity Characterization of Distributionally Robust Safe Stabilizing Controllers
by: Mestres, Pol, et al.
Published: (2023)

Learning Reachability of Energy Storage Arbitrage
by: Tapia, Tomás, et al.
Published: (2025)

Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes
by: Rego, Brenner S., et al.
Published: (2025)

Safe Feedback Optimization through Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2026)

Modeling Nonlinear Control Systems via Koopman Control Family: Universal Forms and Subspace Invariance Proximity
by: Haseli, Masih, et al.
Published: (2023)

Converse Theorems for Certificates of Safety and Stability
by: Mestres, Pol, et al.
Published: (2024)

Feedback Optimization with State Constraints through Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2025)

Koopman-Hopf Hamilton-Jacobi Reachability and Control
by: Sharpless, Will, et al.
Published: (2023)

Over-Approximating Minimizer Sets of Constrained Convex Programs with Parametric Uncertainty via Reachability Analysis
by: Gould, Brendan, et al.
Published: (2026)

Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes
by: Zhang, Yuhao, et al.
Published: (2026)

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
by: Zhang, Hang, et al.
Published: (2023)

Invariance Proximity: Closed-Form Error Bounds for Finite-Dimensional Koopman-Based Models
by: Haseli, Masih, et al.
Published: (2023)

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

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2024)

Reachability-Augmented Dual Dynamic Programming for Optimal Path Parameterization
by: Wang, Yunan, et al.
Published: (2026)

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

Uniform Sampling from the Reachable Set Using Optimal Transport
by: Elamvazhuthi, Karthik, et al.
Published: (2025)

On the Reachability of 3-Dimensional Paths with a Prescribed Curvature Bound
by: Bae, Juho, et al.
Published: (2024)

Enhancing network resilience through topological switching
by: Chen, Fei, et al.
Published: (2026)

Reinforcement Learning for Distributed Transient Frequency Control with Stability and Safety Guarantees
by: Yuan, Zhenyi, et al.
Published: (2022)

Constrained Variational Inference via Safe Particle Flow
by: Yi, Yinzhuang, et al.
Published: (2025)

Willems' Fundamental Lemma for Nonlinear Systems with Koopman Linear Embedding
by: Shang, Xu, et al.
Published: (2024)

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

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

Probabilistic Reachable Set Estimation for Saturated Systems with Unbounded Additive Disturbances
by: Karam, Carlo, et al.
Published: (2025)

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

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton-Jacobi Reachability
by: Sharpless, Will, et al.
Published: (2024)

Data-driven stabilization of switched and constrained linear systems
by: Bianchi, Mattia, et al.
Published: (2022)

Two Roads to Koopman Operator Theory for Control: Infinite Input Sequences and Operator Families
by: Haseli, Masih, et al.
Published: (2025)

Control Forward-Backward Consistency: Quantifying the Accuracy of Koopman Control Family Models
by: Haseli, Masih, et al.
Published: (2026)

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

Dependent Reachable Sets for the Constant Bearing Pursuit Strategy
by: Makkapati, Venkata Ramana, et al.
Published: (2025)

On the Existence of Koopman Linear Embeddings for Controlled Nonlinear Systems
by: Shang, Xu, et al.
Published: (2026)

Performance-Barrier Event-Triggered Control of a Class of Reaction-Diffusion PDEs
by: Rathnayake, Bhathiya, et al.
Published: (2024)