Sökning: "Ziwei Xu"

Hittade 1 uppsats innehållade orden Ziwei Xu.

  1. 1. LTL Motion Planning with Collision Avoidance for A Team of Quadrotors

    Master-uppsats, KTH/Skolan för elektro- och systemteknik (EES)

    Författare :Ziwei Xu; [2016]
    Nyckelord :Finite transition system FTS ; Linear Temporal Logic LTL formula; Büchi automaton BA ; Optimal path; Robotic operating system ROS ;

    Sammanfattning : Linear Temporal Logic (LTL), as one of the temporal logic, can generate a fully automated correct-by-design controller synthesis approach for single or multiple autonomous vehicles, under much more complex missions than the traditional point-to-point navigation.In this master thesis, a framework which combines model- checking-based robot motion planning with action planning is proposed based on LTL for-mulas. LÄS MER