Copertina

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Solanki, Prashant, Vertovec, Nikolaus, Schnitzer, Yannik, Van Beers, Jasper, de Visser, Coen, Abate, Alessandro
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control Machine Learning Optimization and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Certifying Hamilton-Jacobi Reachability Learned via Reinforcement Learning
di: Solanki, Prashant, et al.
Pubblicazione: (2026)

Unifying Hamilton-Jacobi Reachability and Reinforcement Learning
di: Solanki, Prashant, et al.
Pubblicazione: (2026)

From Singleton Obstacles to Clutter: Translation Invariant Compositional Avoid Sets
di: Solanki, Prashant, et al.
Pubblicazione: (2026)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
di: Vertovec, Nikolaus, et al.
Pubblicazione: (2025)

A novel metric for detecting quadrotor loss-of-control
di: van Beers, Jasper, et al.
Pubblicazione: (2024)

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

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

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

Certified Neural Approximations of Nonlinear Dynamics
di: Mathiesen, Frederik Baymler, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

Certifiably Robust Policies for Uncertain Parametric Environments
di: Schnitzer, Yannik, et al.
Pubblicazione: (2024)

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

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

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

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

State-Augmented Linear Games with Antagonistic Error for High-Dimensional, Nonlinear Hamilton-Jacobi Reachability
di: Sharpless, Will, et al.
Pubblicazione: (2024)

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)

Finite sample learning of moving targets
di: Vertovec, Nikolaus, et al.
Pubblicazione: (2024)

Optimal Impulsive Control of Cislunar Relative Motion using Reachable Set Theory
di: Hunter, Matthew, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

Online Learning and Control Synthesis for Reachable Paths of Unknown Nonlinear Systems
di: Meng, Yiming, et al.
Pubblicazione: (2024)

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

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

Nonlinear Reachable Set Computation and Model Predictive Control for Safe Hypersonic Re-entry of Atmospheric Vehicles
di: Patel, Jinaykumar, et al.
Pubblicazione: (2024)