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...

Olles dieđut

Bibliográfalaš dieđut
Váldodahkkit: Hyeonkyu Seong, Kyoungho Lee, Kyunghoon Cho
Materiálatiipa: Artihkal
Giella:English
Almmustuhtton: IEEE 2024-01-01
Ráidu:IEEE Access
Fáttát:
Formal methods
reactive control
robot mission planning
Liŋkkat:https://ieeexplore.ieee.org/document/10410867/

Interneahtta

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

Geahča maid