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. The specifications implicitly require both sequential regions for multi-agent to visit and the desired actions to perform at these regions while avoid-ing collision with each other and fixed obstacles. The high level motion and task planning and low level navigation function based collision avoidance controller are verified by nontrivial simulation and implementation on real quadcopter in Smart Mobility Lab.


    Access

    Download


    Export, share and cite



    Title :

    LTL Motion Planning with Collision Avoidance for A Team of Quadrotors


    Contributors:
    Xu, Ziwei (author)

    Publication date :

    2016-01-01


    Type of media :

    Theses


    Type of material :

    Electronic Resource


    Language :

    English



    Classification :

    DDC:    629



    Distributed reactive collision avoidance for a swarm of quadrotors

    Leonard, J / Savvaris, A / Tsourdos, A | SAGE Publications | 2017





    Distance-Based Formation Control for Quadrotors with Collision Avoidance via Lyapunov Barrier Functions

    Jawhar Ghommam / Luis F. Luque-Vega / Maarouf Saad | DOAJ | 2020

    Free access