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 条
[1]  
ALAMI R, 1995, ALGORITHMIC FOUNDATIONS OF ROBOTICS, P109
[2]   A THEORY OF TIMED AUTOMATA [J].
ALUR, R ;
DILL, DL .
THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) :183-235
[3]   Discrete abstractions of hybrid systems [J].
Alur, R ;
Henzinger, TA ;
Lafferriere, G ;
Pappas, GJ .
PROCEEDINGS OF THE IEEE, 2000, 88 (07) :971-984
[4]  
ALUR R, 2003, LNCS, V2648, P74
[5]  
Alur Rajeev, 1992, LNCS, P209, DOI [DOI 10.1007/3-540-57318-6, DOI 10.1007/3-540-57318-6_30]
[6]  
[Anonymous], 2006, Planning algorithms
[7]  
[Anonymous], 2001, Model checking
[8]  
ANTONIOTTI M, 1995, IEEE INT CONF ROBOT, P1441, DOI 10.1109/ROBOT.1995.525480
[9]   Efficient LTL compilation for SAT-based model checking [J].
Armoni, R ;
Egorov, S ;
Fraer, R ;
Korchemny, D ;
Vardi, MY .
ICCAD-2005: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, 2005, :877-884
[10]   Discrete abstractions for robot motion planning and control in polygonal environments [J].
Belta, C ;
Isler, V ;
Pappas, GJ .
IEEE TRANSACTIONS ON ROBOTICS, 2005, 21 (05) :864-874
12345678