Skip to main content

Extended LTLvis Motion Planning Interface

Abstract Robots are becoming an important part of our life and industry. Although a lot of robot control interfaces have been developed to simplify the control method and improve user experience, users still cannot control robots comfortably. With the improvements of the robot functions, the requirements of universality and ease of use of robot control interfaces are also increasing. This research introduces a graphical interface for Linear Temporal Logic (LTL) specifications for mobile robots. It is a sketch based interface built on the Android platform which makes the LTL control interface more friendly to non-expert users. By predefining a set of areas of interest, this interface can quickly and efficiently create plans that satisfy extended plan... (more)
Created Date 2016
Contributor Wei, Wei (Author) / Fainekos, Georgios (Advisor) / Amor, Hani Ben (Committee member) / Zhang, Yu (Committee member) / Arizona State University (Publisher)
Subject Computer science / E-LTLvis / Interface / LTL / Planning / Temporal Logic
Type Masters Thesis
Extent 106 pages
Language English
Reuse Permissions All Rights Reserved
Note Masters Thesis Computer Science 2016
Collaborating Institutions Graduate College / ASU Library
Additional Formats MODS / OAI Dublin Core / RIS

  Full Text
4.2 MB application/pdf
Download Count: 1130

Description Dissertation/Thesis