Motion Planning with Complex Goals A Multilayered Synergistic Approach

被引：82

作者：

Bhatia, Amit ^{[1
]}

Maly, Matthew R. ^{[1
]}

Kavraki, Lydia E. ^{[1
]}

Vardi, Moshe Y. ^{[1
]}

机构：

[1] Rice Univ, Dept Comp Sci, Houston, TX 77005 USA

来源：

IEEE ROBOTICS & AUTOMATION MAGAZINE | 2011年 / 18卷 / 03期

基金：

美国国家科学基金会;

关键词：

Motion planning; Collision avoidance; Problem-solving; APPROXIMATE SIMULATION RELATIONS; BISIMILAR SYMBOLIC MODELS; TEMPORAL LOGIC; DISCRETE ABSTRACTIONS; FINITE ABSTRACTIONS; ROBOT MOTION; HYBRID; FALSIFICATION; VERIFICATION; SYSTEMS;

D O I：

10.1109/MRA.2011.942115

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：55 / 64

页数：10

共 74 条

[31] 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

[32] STRIPS - NEW APPROACH TO APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING [J].

FIKES, RE ;

NILSSON, NJ .

ARTIFICIAL INTELLIGENCE, 1971, 2 (3-4) :189-208

[33] Maneuver-based motion planning for nonlinear systems with symmetries [J].

Frazzoli, E ;

Dahleh, MA ;

Feron, E .

IEEE TRANSACTIONS ON ROBOTICS, 2005, 21 (06) :1077-1091

[34]

GELFOND, 1998, ETAI, V2, P193

[35]

Ghallab M., 1998, PDDL-the planning domain definition language

[36]

Ghallab Malik, 2004, Automated Planning: theory and practice

[37] Approximate simulation relations for hybrid systems [J].

Girard, Antoine ;

Julius, A. Agung ;

Pappas, George J. .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2008, 18 (02) :163-179

[38]

Girard A, 2008, LECT NOTES COMPUT SC, V4981, P201

[39]

Girard A, 2007, LECT NOTES COMPUT SC, V4416, P231

[40] Approximation metrics for discrete and continuous systems [J].

Girard, Antoine ;

Pappas, George J. .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2007, 52 (05) :782-798

← 1 2 3 4 5 6 7 8 →