Buchumschlag

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jiang, Frank J., Arfvidsson, Kaj Munhoz, He, Chong, Chen, Mo, Johansson, Karl H.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Systems and Control Robotics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
von: Arfvidsson, Kaj Munhoz, et al.
Veröffentlicht: (2024)

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
von: Arfvidsson, Kaj Munhoz, et al.
Veröffentlicht: (2025)

Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination
von: Arfvidsson, Kaj Munhoz, et al.
Veröffentlicht: (2024)

Threshold Strategy for Leaking Corner-Free Hamilton-Jacobi Reachability with Decomposed Computations
von: He, Chong, et al.
Veröffentlicht: (2025)

Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance
von: Hui, Larry, et al.
Veröffentlicht: (2026)

Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
von: Muenprasitivej, Kasidit, et al.
Veröffentlicht: (2026)

On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
von: Borquez, Javier, et al.
Veröffentlicht: (2023)

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
von: Borquez, Javier, et al.
Veröffentlicht: (2023)

Manifold-constrained Hamilton-Jacobi Reachability Learning for Decentralized Multi-Agent Motion Planning
von: Chen, Qingyi, et al.
Veröffentlicht: (2025)

Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey
von: Ganai, Milan, et al.
Veröffentlicht: (2024)

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

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

Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
von: Tonkens, Sander, et al.
Veröffentlicht: (2023)

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
von: Lin, Albert, et al.
Veröffentlicht: (2025)

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

Pedestrian Motion Prediction Using Transformer-based Behavior Clustering and Data-Driven Reachability Analysis
von: Fragkedaki, Kleio, et al.
Veröffentlicht: (2024)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
von: Thompson, Andrew F., et al.
Veröffentlicht: (2026)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
von: Hadjiloizou, Loizos, et al.
Veröffentlicht: (2024)

Reachability-Guaranteed Optimal Control for the Interception of Dynamic Targets under Uncertainty
von: Faraci, Tommaso, et al.
Veröffentlicht: (2025)

Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability
von: Chung, Long Kiu, et al.
Veröffentlicht: (2024)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
von: Hafez, Ahmad, et al.
Veröffentlicht: (2025)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
von: Hafez, Ahmad, et al.
Veröffentlicht: (2024)

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
von: Chen, Yu, et al.
Veröffentlicht: (2025)

Koopman-Hopf Hamilton-Jacobi Reachability and Control
von: Sharpless, Will, et al.
Veröffentlicht: (2023)

Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks
von: Arfvidsson, Kaj Munhoz, et al.
Veröffentlicht: (2024)

Beyond Line-of-Sight: Cooperative Localization Using Vision and V2X Communication
von: Wong, Annika, et al.
Veröffentlicht: (2025)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
von: Nawaz, Farhad, et al.
Veröffentlicht: (2024)

Unifying Hamilton-Jacobi Reachability and Reinforcement Learning
von: Solanki, Prashant, et al.
Veröffentlicht: (2026)

Certifying Hamilton-Jacobi Reachability Learned via Reinforcement Learning
von: Solanki, Prashant, et al.
Veröffentlicht: (2026)

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

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
von: Alanwar, Amr, et al.
Veröffentlicht: (2023)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
von: Ye, Bowen, et al.
Veröffentlicht: (2025)

A Centralized Planning and Distributed Execution Method for Shape Filling with Homogeneous Mobile Robots
von: Liu, Shuqing, et al.
Veröffentlicht: (2025)

HJRNO: Hamilton-Jacobi Reachability with Neural Operators
von: Li, Yankai, et al.
Veröffentlicht: (2025)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
von: Chen, Yu, et al.
Veröffentlicht: (2026)

Towards Fast and Safety-Guaranteed Trajectory Planning and Tracking for Time-Varying Systems
von: Siriya, Seth, et al.
Veröffentlicht: (2024)

Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
von: Matheu, Ryan, et al.
Veröffentlicht: (2026)

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
von: Nath, Devesh, et al.
Veröffentlicht: (2026)

Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton-Jacobi Reachability
von: Sharpless, Will, et al.
Veröffentlicht: (2024)

Safe Navigation using Neural Radiance Fields via Reachable Sets
von: Thapliyal, Omanshu, et al.
Veröffentlicht: (2026)