Reactive Planner Synthesis Under Temporal Logic Specifications

Reactive Planner Synthesis Under Temporal Logic Specifications

This paper proposes a novel, reactive control scheme for autonomous vehicles that fulfills mission specifications as defined by Linear Temporal Logic (LTL) formulas. Our method designs a point-to-point local planner utilizing control Lyapunov functions, which searches for a trajectory that satisfies...

Full description

Bibliographic Details
Main Authors: Hyeonkyu Seong, Kyoungho Lee, Kyunghoon Cho
Format: Article
Language:English
Published: IEEE 2024-01-01
Series:IEEE Access
Subjects:
Formal methods
reactive control
robot mission planning
Online Access:https://ieeexplore.ieee.org/document/10410867/

Internet

https://ieeexplore.ieee.org/document/10410867/

Similar Items