Copertina

Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Harapanahalli, Akash, Coogan, Samuel
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Optimization and Control Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals
di: Harapanahalli, Akash, et al.
Pubblicazione: (2024)

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

Forward Invariance in Neural Network Controlled Systems
di: Harapanahalli, Akash, et al.
Pubblicazione: (2023)

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

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

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

Learning Certified Neural Network Controllers Using Contraction and Interval Analysis
di: Harapanahalli, Akash, et al.
Pubblicazione: (2026)

Differentiable Invariant Sets for Hybrid Limit Cycles with Application to Legged Robots
di: Madabushi, Varun, et al.
Pubblicazione: (2026)

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

Set-Based Reachability for Low-Thrust Spacecraft in Two-Body and Cislunar Dynamical Systems
di: Patel, Jinaykumar, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

Newton-Raphson Flow for Aggressive Quadrotor Tracking Control
di: Morales-Cuadrado, Evanns, et al.
Pubblicazione: (2024)

Time-Delay Systems with Discrete and Distributed delays: Discontinuous Initial Conditions and Reachability Sets
di: Haimovich, Hernan, et al.
Pubblicazione: (2026)

Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets
di: Serry, Mohamed, et al.
Pubblicazione: (2024)

Reachability Analysis for Design Optimization
di: Nguyen, Steven, et al.
Pubblicazione: (2026)

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

Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks
di: Sivaramakrishnan, Karthik, et al.
Pubblicazione: (2023)

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

Differential Dynamic Programming for the Optimal Control Problem with an Ellipsoidal Target Set and Its Statistical Inference
di: Eom, Sungjun, et al.
Pubblicazione: (2025)

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

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

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

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

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
di: Sivaramakrishnan, Vignesh, et al.
Pubblicazione: (2024)

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

Dynamic Programming in Probability Spaces via Optimal Transport
di: Terpin, Antonio, et al.
Pubblicazione: (2023)