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
基金
美国国家科学基金会;
关键词
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 条
[21]  
Clarke E, 2003, LECT NOTES COMPUT SC, V2772, P208
[22]  
Conner DC, 2007, 2007 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, VOLS 1-9, P578
[23]  
Copty F, 2001, LECT NOTES COMPUT SC, V2102, P436
[24]  
Dang T, 2008, IEEE DECIS CONTR P, P4049, DOI 10.1109/CDC.2008.4739371
[25]   Coverage-guided test generation for continuous and hybrid systems [J].
Dang, Thao ;
Nahhal, Tarik .
FORMAL METHODS IN SYSTEM DESIGN, 2009, 34 (02) :183-213
[26]  
Davoren JM, 2004, LECT NOTES COMPUT SC, V2993, P280
[27]  
DAVOREN JM, 2007, LNCS, V4416, P529
[28]  
De Giacomo G, 2000, LECT NOTES ARTIF INT, V1809, P226
[29]  
Egerstedt M, 2007, LECT NOTES COMPUT SC, V4416, P190
[30]   USING BRANCHING TIME TEMPORAL LOGIC TO SYNTHESIZE SYNCHRONIZATION SKELETONS [J].
EMERSON, EA ;
CLARKE, EM .
SCIENCE OF COMPUTER PROGRAMMING, 1982, 2 (03) :241-266