Correct, Reactive, High-Level Robot Control Mitigating the State Explosion Problem of Temporal Logic Synthesis

被引：78
作者：
Kress-Gazit, Hadas [1 ]
Wongpiromsarn, Tichakom [2 ]
Topcu, Ufuk [3 ]
机构：
[1] Cornell Univ, Sibley Sch Mech & Aerosp Engn, Ithaca, NY 14850 USA
[2] Singapore MIT Alliance Res & Technol, Singapore 117543, Singapore
[3] CALTECH, Div Engn & Appl Sci, Pasadena, CA 91125 USA
来源：
IEEE ROBOTICS & AUTOMATION MAGAZINE | 2011年 / 18卷 / 03期
关键词：
Navigation; Intelligent transportation systems; Urban areas; US Department of Defense; Collision avoidance;
D O I：
10.1109/MRA.2011.942116
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：65 / 74
页数：10
相关论文
共 40 条
[1]   Discrete abstractions of hybrid systems [J].
Alur, R ;
Henzinger, TA ;
Lafferriere, G ;
Pappas, GJ .
PROCEEDINGS OF THE IEEE, 2000, 88 (07) :971-984
[2]  
[Anonymous], P INT C HYBR SYST CO
[3]  
[Anonymous], 1989, C RECORD 16 ANN ACM, DOI [DOI 10.1145/75277.75293, 10.1145/75277.75293]
[4]   Decentralized feedback controllers for multi-agent teams in environments with obstacles [J].
Ayanian, Nora ;
Kumar, Vijay .
2008 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-9, 2008, :1936-1941
[5]   Constructing decidable hybrid systems with velocity bounds [J].
Belta, C ;
Habets, LCGJM .
2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, 2004, :467-472
[6]   Symbolic planning and control of robot motion - Finding the missing pieces of current methods and ideas [J].
Belta, Calin ;
Bicchi, Antonio ;
Egerstedt, Magnus ;
Frazzoli, Emilio ;
Klavins, Eric ;
Pappas, George J. .
IEEE ROBOTICS & AUTOMATION MAGAZINE, 2007, 14 (01) :61-70
[7]   Sampling-based Motion Planning with Temporal Goals [J].
Bhatia, Amit ;
Kavraki, Lydia E. ;
Vardi, Moshe Y. .
2010 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2010, :2689-2696
[8]  
Bloem R, 2010, LECT NOTES COMPUT SC, V6174, P425, DOI 10.1007/978-3-642-14295-6_37
[9]  
Burdick J.W., 2007, SENSING NAVIGATION R
[10]  
Clarke EM, 1999, MODEL CHECKING, P1
1234