Cover Image

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Arfvidsson, Kaj Munhoz, Jiang, Frank J., Johansson, Karl H., Mårtensson, Jonas
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

Beyond Line-of-Sight: Cooperative Localization Using Vision and V2X Communication
by: Wong, Annika, et al.
Published: (2025)

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

Leveraging Sidewalk Robots for Walkability-Related Analyses
by: Tong, Xing, et al.
Published: (2025)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
by: Thompson, Andrew F., et al.
Published: (2026)

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

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
by: Hafez, Ahmad, et al.
Published: (2024)

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
by: Alanwar, Amr, et al.
Published: (2023)

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

Deep QP Safety Filter: Model-free Learning for Reachability-based Safety Filter
by: Kim, Byeongjun, et al.
Published: (2026)

Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes
by: Singh, Aditya, et al.
Published: (2024)

Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online
by: Borquez, Javier, et al.
Published: (2022)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
by: Parameshwaran, Aditya, et al.
Published: (2024)

High-Speed, All-Terrain Autonomy: Ensuring Safety at the Limits of Mobility
by: Baxter, James R., et al.
Published: (2026)

Rollout-Based Charging Strategy for Electric Trucks with Hours-of-Service Regulations (Extended Version)
by: Bai, Ting, et al.
Published: (2023)

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

Safety-Ensured Robotic Control Framework for Cutting Task Automation in Endoscopic Submucosal Dissection
by: Kim, Yitaek, et al.
Published: (2025)

Safety Evaluation of Motion Plans Using Trajectory Predictors as Forward Reachable Set Estimators
by: Chakraborty, Kaustav, et al.
Published: (2025)

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

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis
by: Feng, Zeyuan, et al.
Published: (2025)

Safe platooning control of connected and autonomous vehicles on curved multi-lane roads
by: Chen, Xiao, et al.
Published: (2025)

Distributed Charging Coordination of Electric Trucks with Limited Charging Resources
by: Bai, Ting, et al.
Published: (2023)

Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis
by: Mahesh, Karan, et al.
Published: (2024)

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

A Differential Dynamic Programming Framework for Inverse Reinforcement Learning
by: Cao, Kun, et al.
Published: (2024)

Observer-Based Control of Second-Order Multi-vehicle Systems in Bearing-Persistently Exciting Formations
by: Tang, Zhiqi, et al.
Published: (2024)

Two-dimensional Decompositions of High-dimensional Configurations for Efficient Multi-vehicle Coordination at Intelligent Intersections
by: Akbari, Amirreza, et al.
Published: (2025)

Decentralized Opinion-Integrated Decision making at Unsignalized Intersections via Signed Networks
by: Varma, Bhaskar, et al.
Published: (2026)

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

Reachability-Aware Time Scaling for Path Tracking
by: Gholampour, Hossein, et al.
Published: (2026)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
by: Ren, Wei, et al.
Published: (2024)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
by: Nawaz, Farhad, et al.
Published: (2024)

Stable and Fair Benefit Allocation in Mixed-Energy Truck Platooning: A Coalitional Game Approach
by: Bai, Ting, et al.
Published: (2025)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
by: Chen, Yu, et al.
Published: (2026)

Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
by: Matheu, Ryan, et al.
Published: (2026)

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

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