[1]
|
Zhu Yi, Zhang-Tao, Song Jing-Yan. Study on the local minima problem of path planning using potential field method in unknown environments. Acta Automatica Sinica, 2010, 36(8): 1122-1130(朱毅, 张涛, 宋靖雁. 未知环境下势场法路径规划的局部极小问题研究. 自动化学报, 2010, 36(8): 1122-1130)
|
[2]
|
Zhu Qing-Bao. Ant algorithm for path planning of mobile robot in a complex environment. Acta Automatica Sinica, 2006, 32(4): 586-593(朱庆保. 复杂环境下的机器人路径规划蚂蚁算法. 自动化学报, 2006, 32(4): 586-593)
|
[3]
|
Fan Chang-Hong, Chen Wei-Dong, Xi Yu-Geng. A neural networks-based approach to safe path planning of mobile robot in unknown environment. Acta Automatica Sinica, 2004, 30(6): 816-823(樊长虹, 陈卫东, 席裕庚. 未知环境下移动机器人安全路径规划的一种神经网络方法. 自动化学报, 2004, 30(6): 816-823)
|
[4]
|
[4] Khatib O. Real-time obstacle avoidance for manipulator and mobile robots. The International Journal of Robotics Research, 1986, 5(1): 90-98
|
[5]
|
Yuan Kui, Li Yuan, Fang Li-Xin. Multiple mobile robot systems: a survey of recent work. Acta Automatica Sinica, 2007, 33(8): 785-794 (原魁, 李园, 房立新. 多移动机器人系统研究发展近况. 自动化学报, 2007, 33(8): 785-794)
|
[6]
|
[6] Kloetzer M, Belta C. Automatic deployment of distributed teams of robots from temporal logic motion specifications. IEEE Transactions on Robotics, 2010, 26(1): 48-61
|
[7]
|
[7] Smith S, Tumova J, Belta C, Rus D. Optimal path planning for surveillance with temporal logic constraints. The International Journal of Robotics Research, 2011, 30(14): 1695-1708
|
[8]
|
[8] Smith S, Tumova J, Belta C, Rus D. Optimal path planning under temporal logic constraints. In: Proceedings of International Conference on Intelligent Robots and Systems. Taipei, China: IEEE, 2010. 3288-3293
|
[9]
|
[9] Ulusoy A, Smith S, Xu Chu-Ding, Belta C, Rus D. Optimality and robustness in multi-Robot path planning with temporal logic constraints. The International Journal of Robotics Research, 2013, 32(8): 889-911
|
[10]
|
Xu C D, Lazar M, Belta C. Receding horizon temporal logic control for finite deterministic systems. In: Proceedings of American Control Conference. Montreal, Canada: IEEE, 2012. 715-720
|
[11]
|
Wongpiromsarn T, Ufuk T, Murray R. Receding horizon temporal logic planning for dynamical systems. In: Proceedings of 48th IEEE Conference on Decision and Control. Shanghai, China: IEEE, 2009. 5997-6004
|
[12]
|
Wongpiromsarn T, Ufuk T, Murray R. Receding horizon temporal logic planning. IEEE Transactions on Automatic Control, 2012, 57(11): 2817-2830
|
[13]
|
Belta C, Isler V, Pappas G. Discrete abstractions for robot motion planning and control in polygonal environments. IEEE Transactions on Robotics, 2005, 21(5): 864-874
|
[14]
|
Clarke E, Grumberg O, Peled D. Model Checking. Massachusetts: MIT Press, 1999. 27-46
|
[15]
|
Dijkstra E. A note on two problems in connexion with graphs. Numerical Mathematic, 1959, 1(1): 269-271
|
[16]
|
Gastin P, Oddoux D. Fast LTL to Bchi automata translation. In: Proceedings of the 13th International Conference on Computer Aided Verification. Paris, France: IEEE, 2001. 53-65
|
[17]
|
Kloetzer M, Belta C. A fully automated framework for control of linear systems from temporal logic specifications. IEEE Transactions on Automatic Control, 2008, 53(1): 287-297
|