A graphical language for LTL motion and mission planning

Shashank Srinivas, Ramtin Kermani, Kangjin Kim, Yoshihiro Kobayashi, Georgios Fainekos

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

3 Citations (Scopus)

Abstract

Linear Temporal Logic (LTL) has recently become a popular high-level specification language for robotic applications. One of the main reasons for the adoption of LTL is that LTL control synthesis algorithms are scalable while providing sufficient expressive power for a range of applications. However, despite the recent progress, one challenge remains. How can a non-expert robot user, who is not a logician, provide mission and motion plans for multiple robots in LTL? In this paper, we propose a graphical specification environment for LTL specifications that utilizes touchscreen technologies. We demonstrate that the graphical interface can express all the properties of interest that have appeared in the literature.

Original languageEnglish (US)
Title of host publication2013 IEEE International Conference on Robotics and Biomimetics, ROBIO 2013
PublisherIEEE Computer Society
Pages704-709
Number of pages6
DOIs
StatePublished - 2013
Event2013 IEEE International Conference on Robotics and Biomimetics, ROBIO 2013 - Shenzhen, China
Duration: Dec 12 2013Dec 14 2013

Other

Other2013 IEEE International Conference on Robotics and Biomimetics, ROBIO 2013
CountryChina
CityShenzhen
Period12/12/1312/14/13

Fingerprint

Temporal logic
Language
Planning
Robots
Specifications
Touch screens
Specification languages
Robotics
Technology

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Science Applications
  • Biotechnology

Cite this

Srinivas, S., Kermani, R., Kim, K., Kobayashi, Y., & Fainekos, G. (2013). A graphical language for LTL motion and mission planning. In 2013 IEEE International Conference on Robotics and Biomimetics, ROBIO 2013 (pp. 704-709). [6739543] IEEE Computer Society. https://doi.org/10.1109/ROBIO.2013.6739543

A graphical language for LTL motion and mission planning. / Srinivas, Shashank; Kermani, Ramtin; Kim, Kangjin; Kobayashi, Yoshihiro; Fainekos, Georgios.

2013 IEEE International Conference on Robotics and Biomimetics, ROBIO 2013. IEEE Computer Society, 2013. p. 704-709 6739543.

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

Srinivas, S, Kermani, R, Kim, K, Kobayashi, Y & Fainekos, G 2013, A graphical language for LTL motion and mission planning. in 2013 IEEE International Conference on Robotics and Biomimetics, ROBIO 2013., 6739543, IEEE Computer Society, pp. 704-709, 2013 IEEE International Conference on Robotics and Biomimetics, ROBIO 2013, Shenzhen, China, 12/12/13. https://doi.org/10.1109/ROBIO.2013.6739543
Srinivas S, Kermani R, Kim K, Kobayashi Y, Fainekos G. A graphical language for LTL motion and mission planning. In 2013 IEEE International Conference on Robotics and Biomimetics, ROBIO 2013. IEEE Computer Society. 2013. p. 704-709. 6739543 https://doi.org/10.1109/ROBIO.2013.6739543
Srinivas, Shashank ; Kermani, Ramtin ; Kim, Kangjin ; Kobayashi, Yoshihiro ; Fainekos, Georgios. / A graphical language for LTL motion and mission planning. 2013 IEEE International Conference on Robotics and Biomimetics, ROBIO 2013. IEEE Computer Society, 2013. pp. 704-709
@inproceedings{66f4c9e057444d9ab1cadc38a845ee1b,
title = "A graphical language for LTL motion and mission planning",
abstract = "Linear Temporal Logic (LTL) has recently become a popular high-level specification language for robotic applications. One of the main reasons for the adoption of LTL is that LTL control synthesis algorithms are scalable while providing sufficient expressive power for a range of applications. However, despite the recent progress, one challenge remains. How can a non-expert robot user, who is not a logician, provide mission and motion plans for multiple robots in LTL? In this paper, we propose a graphical specification environment for LTL specifications that utilizes touchscreen technologies. We demonstrate that the graphical interface can express all the properties of interest that have appeared in the literature.",
author = "Shashank Srinivas and Ramtin Kermani and Kangjin Kim and Yoshihiro Kobayashi and Georgios Fainekos",
year = "2013",
doi = "10.1109/ROBIO.2013.6739543",
language = "English (US)",
pages = "704--709",
booktitle = "2013 IEEE International Conference on Robotics and Biomimetics, ROBIO 2013",
publisher = "IEEE Computer Society",

}

TY - GEN

T1 - A graphical language for LTL motion and mission planning

AU - Srinivas, Shashank

AU - Kermani, Ramtin

AU - Kim, Kangjin

AU - Kobayashi, Yoshihiro

AU - Fainekos, Georgios

PY - 2013

Y1 - 2013

N2 - Linear Temporal Logic (LTL) has recently become a popular high-level specification language for robotic applications. One of the main reasons for the adoption of LTL is that LTL control synthesis algorithms are scalable while providing sufficient expressive power for a range of applications. However, despite the recent progress, one challenge remains. How can a non-expert robot user, who is not a logician, provide mission and motion plans for multiple robots in LTL? In this paper, we propose a graphical specification environment for LTL specifications that utilizes touchscreen technologies. We demonstrate that the graphical interface can express all the properties of interest that have appeared in the literature.

AB - Linear Temporal Logic (LTL) has recently become a popular high-level specification language for robotic applications. One of the main reasons for the adoption of LTL is that LTL control synthesis algorithms are scalable while providing sufficient expressive power for a range of applications. However, despite the recent progress, one challenge remains. How can a non-expert robot user, who is not a logician, provide mission and motion plans for multiple robots in LTL? In this paper, we propose a graphical specification environment for LTL specifications that utilizes touchscreen technologies. We demonstrate that the graphical interface can express all the properties of interest that have appeared in the literature.

UR - http://www.scopus.com/inward/record.url?scp=84898823012&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84898823012&partnerID=8YFLogxK

U2 - 10.1109/ROBIO.2013.6739543

DO - 10.1109/ROBIO.2013.6739543

M3 - Conference contribution

SP - 704

EP - 709

BT - 2013 IEEE International Conference on Robotics and Biomimetics, ROBIO 2013

PB - IEEE Computer Society

ER -