LTLMoP: Experimenting with Language, Temporal Logic and Robot Control

被引：101

作者：

Finucane, Cameron ^{[1
]}

Jing, Gangyuan ^{[1
]}

Kress-Gazit, Hadas ^{[1
]}

机构：

[1] Cornell Univ, Ithaca, NY 14853 USA

来源：

IEEE/RSJ 2010 INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2010) | 2010年

关键词：

Motion planning; mission planning; language; temporal logics; sensor-based planning; controller synthesis; hybrid control;

D O I：

10.1109/IROS.2010.5650371

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The Linear Temporal Logic MissiOn Planning ( LTLMoP) toolkit is a software package designed to assist in the rapid development, implementation, and testing of high-level robot controllers. In this toolkit, structured English and Linear Temporal Logic are used to write high-level reactive task specifications, which are then automatically transformed into correct robot controllers that can be used to drive either a simulated or a real robot. LTLMoP's modular design makes it ideal for research in areas such as controller synthesis, semantic parsing, motion planning, and human-robot interaction.

引用

页码：1988 / 1993

页数：6

共 20 条

[1]

[Anonymous], 2003, ARTIF INTELL

[2]

[Anonymous], 2009, ICRA WORKSH OP SOURC

[3]

Belta Calin, 2004, IEEE C DEC CONTR BAH

[4]

Clarke EM, 1999, MODEL CHECKING, P1

[5]

Conner D., 2006, P ROB CAMBR US JUN

[6]

Conner DC, 2003, IROS 2003: PROCEEDINGS OF THE 2003 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, VOLS 1-4, P3546

[7]

EMERSON E, 1990, HDB THEORETICAL COMP, pCH16

[8] Temporal logic motion planning for dynamic robots [J].

Fainekos, Georgios E. ;

Girard, Antoine ;

Kress-Gazit, Hadas ;

Pappas, George J. .

AUTOMATICA, 2009, 45 (02) :343-352

[9]

GERKEY, 2003, P ICAR

[10]

Karaman S., 2008, AM CONTR C SEATTL WA

← 1 2 →