Continuous Optimization-Based Task and Motion Planning with Signal Temporal Logic Specifications for Sequential Manipulation

被引:11
作者
Takano, Rin [1 ]
Oyama, Hiroyuki [1 ]
Yamakita, Masaki [2 ]
机构
[1] NEC Corp Ltd, Data Sci Res Labs, Nakahara Ku, 1753 Shimonumabe, Kawasaki, Kanagawa 2118666, Japan
[2] Tokyo Inst Technol, Dept Syst & Control Engn, 1-11-1 Oh Okayama, Meguro 1518551, Japan
来源
2021 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2021) | 2021年
关键词
MATHEMATICAL PROGRAMS; SYSTEMS;
D O I
10.1109/ICRA48506.2021.9561209
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We propose a new optimization-based task and motion planning (TAMP) with signal temporal logic (STL) specifications for robotic sequential manipulation such as pick-and-place tasks. Given a high-level task specification, the TAMP problem is to plan a trajectory that satisfies the specification. This is, however, a challenging problem due to the difficulty of combining continuous motion planning and discrete task specifications. The optimization-based TAMP with temporal logic specifications is a promising method, but existing works use mixed integer problems (MIP) and do not scale well. To address this issue, in our approach, a new hybrid system model without discrete variables is introduced and combined with smooth approximation methods for STL. This allows the TAMP to be formulated as a nonlinear programming problem whose computational cost is significantly less than that of MIP. Furthermore, it is also possible to deal with nonlinear dynamics and geometric constraints represented by nonlinear functions. The effectiveness of the proposed method is demonstrated with both numerical experiments and a real robot.
引用
收藏
页码:8409 / 8415
页数:7
相关论文
共 39 条
[1]   CasADi: a software framework for nonlinear optimization and optimal control [J].
Andersson, Joel A. E. ;
Gillis, Joris ;
Horn, Greg ;
Rawlings, James B. ;
Diehl, Moritz .
MATHEMATICAL PROGRAMMING COMPUTATION, 2019, 11 (01) :1-36
[2]  
Belta C, 2017, STUD SYST DECIS CONT, V89, P1, DOI 10.1007/978-3-319-50763-7
[3]  
Dantam NT, 2016, ROBOTICS: SCIENCE AND SYSTEMS XII
[4]   Mathematical programs with vanishing constraints: constraint qualifications, their applications, and a new regularization method [J].
Dussault, J. -P. ;
Haddou, M. ;
Migot, T. .
OPTIMIZATION, 2019, 68 (2-3) :509-538
[5]   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
[6]  
Farahani Samira S., 2015, IFAC - Papers Online, V48, P323, DOI 10.1016/j.ifacol.2015.11.195
[7]   FFRob: An Efficient Heuristic for Task and Motion Planning [J].
Garrett, Caelan Reed ;
Lozano-Perez, Tomas ;
Kaelbling, Leslie Pack .
ALGORITHMIC FOUNDATIONS OF ROBOTICS XI, 2015, 107 :179-195
[8]  
Gilpin Y., 2020, ARXIV200605239
[9]  
Gurobi Optimization L, 2021, Gurobi Optimizer Reference Manual
[10]  
Haghighi I, 2019, IEEE DECIS CONTR P, P4361, DOI 10.1109/CDC40024.2019.9029429