Image de couverture de livre

Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Arfvidsson, Kaj Munhoz, Jiang, Frank J., Johansson, Karl H., Mårtensson, Jonas
Format:	Preprint
Publié:	2024
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
par: Arfvidsson, Kaj Munhoz, et autres
Publié: (2024)

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
par: Arfvidsson, Kaj Munhoz, et autres
Publié: (2025)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
par: Jiang, Frank J., et autres
Publié: (2024)

Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks
par: Arfvidsson, Kaj Munhoz, et autres
Publié: (2024)

Safe platooning control of connected and autonomous vehicles on curved multi-lane roads
par: Chen, Xiao, et autres
Publié: (2025)

Distributed Charging Coordination of Electric Trucks with Limited Charging Resources
par: Bai, Ting, et autres
Publié: (2023)

Pedestrian Motion Prediction Using Transformer-based Behavior Clustering and Data-Driven Reachability Analysis
par: Fragkedaki, Kleio, et autres
Publié: (2024)

Beyond Line-of-Sight: Cooperative Localization Using Vision and V2X Communication
par: Wong, Annika, et autres
Publié: (2025)

Distributed Charging Coordination for Electric Trucks under Limited Facilities and Travel Uncertainties
par: Bai, Ting, et autres
Publié: (2024)

Rollout-Based Charging Strategy for Electric Trucks with Hours-of-Service Regulations (Extended Version)
par: Bai, Ting, et autres
Publié: (2023)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
par: Parameshwaran, Aditya, et autres
Publié: (2024)

Observer-Based Control of Second-Order Multi-vehicle Systems in Bearing-Persistently Exciting Formations
par: Tang, Zhiqi, et autres
Publié: (2024)

En-route Charging Coordination for Electric Trucks
par: Kahlert, Joas, et autres
Publié: (2026)

Temporal Logic Guided Safe Navigation for Autonomous Vehicles
par: Parameshwaran, Aditya, et autres
Publié: (2025)

Stable and Fair Benefit Allocation in Mixed-Energy Truck Platooning: A Coalitional Game Approach
par: Bai, Ting, et autres
Publié: (2025)

Congestion Forecasting for Electric Vehicle Charging Scheduling with Fluid Queues
par: Kahlert, Joas, et autres
Publié: (2026)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
par: Hadjiloizou, Loizos, et autres
Publié: (2024)

Handling Pedestrian Uncertainty in Coordinating Autonomous Vehicles at Signal-Free Intersections
par: Tzortzoglou, Filippos N., et autres
Publié: (2025)

Safe and Efficient Coexistence of Autonomous Vehicles with Human-Driven Traffic at Signalized Intersections
par: Tzortzoglou, Filippos N., et autres
Publié: (2025)

Optimization-based Coordination of Traffic Lights and Automated Vehicles at Intersections
par: Dabiri, Azita, et autres
Publié: (2025)

Shared Situational Awareness Using Hybrid Zonotopes with Confidence Metric
par: Narri, Vandana, et autres
Publié: (2025)

Time-To-Reach Separation and Safety Filtering for Safe, Fair, and Efficient Multi-Agent Coordination
par: Low, Matthew, et autres
Publié: (2026)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
par: Hafez, Ahmad, et autres
Publié: (2024)

Optimization-based Heuristic for Vehicle Dynamic Coordination in Mixed Traffic Intersections
par: Faris, Muhammad, et autres
Publié: (2024)

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
par: Alanwar, Amr, et autres
Publié: (2023)

Leveraging Sidewalk Robots for Walkability-Related Analyses
par: Tong, Xing, et autres
Publié: (2025)

Second Order Physics-Informed Learning of Road Density using Probe Vehicles
par: Giraldo, S. Betancur, et autres
Publié: (2026)

Inverse Safety Filtering: Inferring Constraints from Safety Filters for Decentralized Coordination
par: Nguyen, Minh, et autres
Publié: (2026)

A Robust Cooperative Vehicle Coordination Framework for Intersection Crossing
par: Bai, Haojie, et autres
Publié: (2025)

Secure Filtering against Spatio-Temporal False Data Attacks under Asynchronous Sampling
par: Li, Zishuo, et autres
Publié: (2024)

Asynchronous Distributed Learning with Quantized Finite-Time Coordination
par: Bastianello, Nicola, et autres
Publié: (2024)

Flexible Electric Vehicle Charging with Karma
par: Elokda, Ezzat, et autres
Publié: (2026)

Secure Safety Filter: Towards Safe Flight Control under Sensor Attacks
par: Tan, Xiao, et autres
Publié: (2025)

Safe Policy Optimization via Control Barrier Function-based Safety Filters
par: Chen, Yiting, et autres
Publié: (2026)

A Convex Optimal Control Framework for Autonomous Vehicle Intersection Crossing
par: Pan, Xiao, et autres
Publié: (2022)

Secure Set-based State Estimation for Safety-Critical Applications under Adversarial Attacks on Sensors
par: Niazi, M. Umar B., et autres
Publié: (2023)

Probe-and-Release Coordination of Platoons at Highway Bottlenecks with Unknown Parameters
par: Gao, Yi, et autres
Publié: (2025)

Distributed Optimization and Learning for Automated Stepsize Selection with Finite Time Coordination
par: Rikos, Apostolos I., et autres
Publié: (2025)

An Active Parameter Learning Approach to The Identification of Safe Regions
par: Raghavan, Aneesh, et autres
Publié: (2024)

Decentralized Poisson Multi-Bernoulli Filtering for Vehicle Tracking
par: Fröhle, Markus, et autres
Publié: (2019)