Extended LTLvis motion planning interface

Wei Wei, Kangjin Kim, Georgios Fainekos

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Abstract

This paper 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 goals in LTL. The interface can also allow users to customize the paths for this plan by sketching a set of reference trajectories. Given the custom paths by the user, the LTL specification and the environment, the interface generates a plan balancing the customized paths and the LTL specifications. We also show experimental results with the implemented interface.

Original languageEnglish (US)
Title of host publication2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages4194-4199
Number of pages6
ISBN (Electronic)9781509018970
DOIs
StatePublished - Feb 6 2017
Event2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Budapest, Hungary
Duration: Oct 9 2016Oct 12 2016

Other

Other2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016
CountryHungary
CityBudapest
Period10/9/1610/12/16

ASJC Scopus subject areas

  • Computer Vision and Pattern Recognition
  • Artificial Intelligence
  • Control and Optimization
  • Human-Computer Interaction

Fingerprint Dive into the research topics of 'Extended LTLvis motion planning interface'. Together they form a unique fingerprint.

  • Cite this

    Wei, W., Kim, K., & Fainekos, G. (2017). Extended LTLvis motion planning interface. In 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings (pp. 4194-4199). [7844890] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SMC.2016.7844890