Copertina

Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Jingqi, Lee, Donggun, Lee, Jaewon, Dong, Kris Shengjun, Sojoudi, Somayeh, Tomlin, Claire
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

The computation of approximate feedback Stackelberg equilibria in multi-player nonlinear constrained dynamic games
di: Li, Jingqi, et al.
Pubblicazione: (2024)

A Hamilton-Jacobi Reachability Framework with Soft Constraints for Safety-Critical Systems
di: Mballo, Chams Eddine, et al.
Pubblicazione: (2025)

Intent Demonstration in General-Sum Dynamic Games via Iterative Linear-Quadratic Approximations
di: Li, Jingqi, et al.
Pubblicazione: (2024)

Multi-Agent Guided Policy Search for Non-Cooperative Dynamic Games
di: Li, Jingqi, et al.
Pubblicazione: (2025)

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

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

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

Coordinating Distributed Energy Resources with Nodal Pricing in Distribution Networks: a Game-Theoretic Approach
di: Brock, Eli, et al.
Pubblicazione: (2025)

Evolutionary Games on Infinite Strategy Sets: Convergence to Nash Equilibria via Dissipativity
di: Anderson, Brendon G., et al.
Pubblicazione: (2023)

Scenario-Game ADMM: A Parallelized Scenario-Based Solver for Stochastic Noncooperative Games
di: Li, Jingqi, et al.
Pubblicazione: (2023)

Solving Reach-Avoid-Stay Problems Using Deep Deterministic Policy Gradients
di: Chenevert, Gabriel, et al.
Pubblicazione: (2024)

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

Distributionally Robust Joint Chance-Constrained Optimal Power Flow using Relative Entropy
di: Brock, Eli, et al.
Pubblicazione: (2025)

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

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

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

Reformulations of Quadratic Programs for Lipschitz Continuity
di: Agrawal, Devansh R., et al.
Pubblicazione: (2025)

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

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)

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

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

Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification
di: Anderson, Brendon G., et al.
Pubblicazione: (2021)

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

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

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

Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions
di: Castañeda, Fernando, et al.
Pubblicazione: (2022)

Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition
di: Siefert, Jacob A., et al.
Pubblicazione: (2023)

Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings
di: Akhormeh, Alireza Naderi, et al.
Pubblicazione: (2026)

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

A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems
di: Xue, Bai
Pubblicazione: (2023)

Competency-Aware Planning for Probabilistically Safe Navigation Under Perception Uncertainty
di: Pohland, Sara, et al.
Pubblicazione: (2024)

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

Lyapunov-Certified Direct Switching Theory for Q-Learning
di: Lee, Donghwan
Pubblicazione: (2026)

Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
di: Liu, Shuo, et al.
Pubblicazione: (2025)

Effects of dynamic power electronic load models on power systems analysis using ZIP-E loads
di: Colon-Reyes, Gabriel E., et al.
Pubblicazione: (2024)

When are safety filters safe? On minimum phase conditions of control barrier functions
di: Choi, Jason J., et al.
Pubblicazione: (2025)

Constraint-Aware Mesh Refinement Method by Reachability Set Envelope of Curvature Bounded Paths
di: Bae, Juho, et al.
Pubblicazione: (2024)

Hacking Predictors Means Hacking Cars: Using Sensitivity Analysis to Identify Trajectory Prediction Vulnerabilities for Autonomous Driving Security
di: Gibson, Marsalis, et al.
Pubblicazione: (2024)

Almost Sure Reachability in Continuous-time Stochastic Systems
di: Kordabad, Arash Bahari, et al.
Pubblicazione: (2026)