Copertina

A Hamilton-Jacobi Reachability Framework with Soft Constraints for Safety-Critical Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Mballo, Chams Eddine, Lee, Donggun, Tomlin, Claire J.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

EigenSafe: A Spectral Framework for Learning-Based Probabilistic Safety Assessment
di: Jang, Inkyu, et al.
Pubblicazione: (2025)

A Spectral Perspective on Stochastic Control Barrier Functions
di: Jang, Inkyu, et al.
Pubblicazione: (2026)

Load Limiting Control for Component Life Extension
di: Mballo, Chams Eddine, et al.
Pubblicazione: (2025)

Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function
di: Li, Jingqi, et al.
Pubblicazione: (2024)

A Forward Reachability Perspective on Control Barrier Functions and Discount Factors in Reachability Analysis
di: Choi, Jason J., et al.
Pubblicazione: (2023)

On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
di: Borquez, Javier, et al.
Pubblicazione: (2023)

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

Infinite-Horizon Reach-Avoid Zero-Sum Games via Deep Reinforcement Learning
di: Li, Jingqi, et al.
Pubblicazione: (2022)

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

Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance
di: Hui, Larry, et al.
Pubblicazione: (2026)

Inverse Safety Filtering: Inferring Constraints from Safety Filters for Decentralized Coordination
di: Nguyen, Minh, et al.
Pubblicazione: (2026)

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

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
di: Borquez, Javier, et al.
Pubblicazione: (2023)

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

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

Active Calibration of Reachable Sets Using Approximate Pick-to-Learn
di: Deglurkar, Sampada, et al.
Pubblicazione: (2026)

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

Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
di: Muenprasitivej, Kasidit, et al.
Pubblicazione: (2026)

From Global to Local: Hierarchical Probabilistic Verification for Reachability Learning
di: Smith, Ebonye, et al.
Pubblicazione: (2026)

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
di: Chen, Yu, et al.
Pubblicazione: (2025)

Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis
di: Yang, Yujie, et al.
Pubblicazione: (2024)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
di: Jiang, Frank J., et al.
Pubblicazione: (2024)

Threshold Strategy for Leaking Corner-Free Hamilton-Jacobi Reachability with Decomposed Computations
di: He, Chong, et al.
Pubblicazione: (2025)

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

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis
di: Wang, Hao, et al.
Pubblicazione: (2025)

Constraint-Guided Online Data Selection for Scalable Data-Driven Safety Filters in Uncertain Robotic Systems
di: Choi, Jason J., et al.
Pubblicazione: (2023)

Manifold-constrained Hamilton-Jacobi Reachability Learning for Decentralized Multi-Agent Motion Planning
di: Chen, Qingyi, et al.
Pubblicazione: (2025)

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

An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments
di: Bajcsy, Andrea, et al.
Pubblicazione: (2019)

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

Resolving Conflicting Constraints in Multi-Agent Reinforcement Learning with Layered Safety
di: Choi, Jason J., et al.
Pubblicazione: (2025)

Safety-Critical Human-Machine Shared Driving for Vehicle Collision Avoidance based on Hamilton-Jacobi reachability
di: Zhao, Shiyue, et al.
Pubblicazione: (2025)

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
di: Lin, Albert, et al.
Pubblicazione: (2025)

NeuroHJR: Hamilton-Jacobi Reachability-based Obstacle Avoidance in Complex Environments with Physics-Informed Neural Networks
di: Halder, Granthik, et al.
Pubblicazione: (2025)

DualGuard MPPI: Safe and Performant Optimal Control by Combining Sampling-Based MPC and Hamilton-Jacobi Reachability
di: Borquez, Javier, et al.
Pubblicazione: (2025)

Gait Switching and Enhanced Stabilization of Walking Robots with Deep Learning-based Reachability: A Case Study on Two-link Walker
di: Xia, Xingpeng, et al.
Pubblicazione: (2024)

Safe Connectivity Maintenance of Underactuated Multi-Agent Networks in Dynamic Oceanic Environments
di: Hoischen, Nicolas, et al.
Pubblicazione: (2023)

Safety Critical Control for Nonlinear Systems with Complex Input Constraints
di: Deng, Yaosheng, et al.
Pubblicazione: (2024)

When Koopman Meets Hamilton and Jacobi
di: Vaidya, Umesh
Pubblicazione: (2025)

Soft-Minimum and Soft-Maximum Barrier Functions for Safety with Actuation Constraints
di: Rabiee, Pedram, et al.
Pubblicazione: (2023)