Cover Image

Koopman-Hopf Hamilton-Jacobi Reachability and Control

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sharpless, Will, Shinde, Nikhil, Kim, Matthew, Chow, Yat Tin, Herbert, Sylvia
Format:	Preprint
Published:	2023
Subjects:	Systems and Control Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Dual-Objective Reinforcement Learning with Novel Hamilton-Jacobi-Bellman Formulations
by: Sharpless, William, et al.
Published: (2025)

Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games
by: Sharpless, William, et al.
Published: (2024)

When Koopman Meets Hamilton and Jacobi
by: Vaidya, Umesh
Published: (2025)

Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory
by: Hirsch, Dylan, et al.
Published: (2025)

Robust Control Lyapunov-Value Functions for Nonlinear Disturbed Systems
by: Gong, Zheng, et al.
Published: (2024)

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

Deep neural network approximations for the stable manifolds of the Hamilton-Jacobi-Bellman equations
by: Chen, Guoyuan
Published: (2020)

Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets
by: Gong, Zheng, et al.
Published: (2024)

Approximate Hamilton-Jacobi Reachability Analysis for a Class of Two-Timescale Systems, with Application to Biological Models
by: Hirsch, Dylan, et al.
Published: (2025)

Optimal $H_{\infty}$ control based on stable manifold of discounted Hamilton-Jacobi-Isaacs equation
by: Chen, Guoyuan, et al.
Published: (2024)

Optimality Robustness in Koopman-Based Control
by: Lin, Yicheng, et al.
Published: (2026)

Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
by: Tonkens, Sander, et al.
Published: (2023)

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

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

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

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

A Simulation Preorder for Koopman-like Lifted Control Systems
by: Aspeel, Antoine, et al.
Published: (2024)

Dictionary-free Koopman Predictive Control for Autonomous Vehicles in Mixed Traffic
by: Shang, Xu, 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)

Reachability Analysis for Design Optimization
by: Nguyen, Steven, et al.
Published: (2026)

Least-Squares Multi-Step Koopman Operator Learning for Model Predictive Control
by: Wu, Liang, et al.
Published: (2026)

Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations
by: Liu, Jun
Published: (2026)

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

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

Sensor-Based Distributionally Robust Control for Safe Robot Navigation in Dynamic Environments
by: Long, Kehan, 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)

Stochastic Moving Anchor Algorithms and a Popov's Scheme with Moving Anchor
by: Alcala, James, et al.
Published: (2025)

Deep Koopman Iterative Learning and Stability-Guaranteed Control for Unknown Nonlinear Time-Varying Systems
by: Zhang, Hengde, et al.
Published: (2026)

A Data-Driven Prescribed-Time Control Framework via Koopman Operator and Adaptive Backstepping
by: Wu, Yue
Published: (2025)

Integrating Uncertainties for Koopman-Based Stabilization
by: Lin, Yicheng, et al.
Published: (2025)

Optimality Deviation using the Koopman Operator
by: Lin, Yicheng, et al.
Published: (2025)

Gramians for a New Class of Nonlinear Control Systems Using Koopman and a Novel Generalized SVD
by: Brown, Brian, et al.
Published: (2025)

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

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

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

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

Koopman-based feedback design with stability guarantees
by: Strässer, Robin, et al.
Published: (2023)

Polynomial Parametric Koopman Operators for Stochastic MPC
by: Iliakis, Efstathios, et al.
Published: (2026)