Robots and automated systems are becoming an ever present part of modern life. The simplicity with which a technology can be used by people without a technological background is paramount to its adoption by the general public. What is presented here is a simple framework for users to give high level motion control commands without sacrificing technological complexity. This is accomplished by using a control synthesis for high level phrases. A user enters high level commands expressed in Linear Temporal Logic which the system interprets and then a robot goes on to perform. As such the entirety of the logical inputs needed for completed motion planning is encompassed within one simple phrase. The problem has been approached two different ways, one that prioritizes computational speed and another with a higher degree of optimization. Both of these framework works well for a multitude of different rooms and commands and form a basis for further works in the subject. What sets this research apart is the inclusion of Büchi minimisation based on the research by [1] in a high level motion planning system. This notably reduces computation time for more complicated LTL phrases. [1]


    Access

    Download


    Export, share and cite



    Title :

    High Level Motion Planning for a Robot


    Contributors:

    Publication date :

    2019-01-01


    Type of media :

    Theses


    Type of material :

    Electronic Resource


    Language :

    English



    Classification :

    DDC:    629



    High Level Motion Planningfor a Robot ; Högnivårörelseplanering fören robot

    Kvist, Mikael / Adnan, Mustafa | BASE | 2018

    Free access


    Motion Planning of Space Robot

    Wang, Yaobing | Springer Verlag | 2020


    Robot Motion Planning Among Moving Obstacles

    Fiorini, P. / Shiller, Z. | NTRS | 1995


    Motion Planning for a Free-Flying Robot

    D. L. Kaiser / P. J. Hawkins | NTIS | 1988