TY - GEN
T1 - Extended LTLvis motion planning interface
AU - Wei, Wei
AU - Kim, Kangjin
AU - Fainekos, Georgios
N1 - Publisher Copyright:
© 2016 IEEE.
PY - 2017/2/6
Y1 - 2017/2/6
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85015744475&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85015744475&partnerID=8YFLogxK
U2 - 10.1109/SMC.2016.7844890
DO - 10.1109/SMC.2016.7844890
M3 - Conference contribution
AN - SCOPUS:85015744475
T3 - 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings
SP - 4194
EP - 4199
BT - 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016
Y2 - 9 October 2016 through 12 October 2016
ER -