Essays about: "Finite transition system FTS"

Found 1 essay containing the words Finite transition system FTS.

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

    University essay from KTH/Skolan för elektro- och systemteknik (EES)

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

    Abstract : 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. READ MORE