Some AI Based Approaches on Mobile Robots Motion Planning
暂无分享,去创建一个
[1] Stephan Merz,et al. Model Checking , 2000 .
[2] Calin Belta,et al. A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications , 2008, IEEE Transactions on Automatic Control.
[3] Vijay Kumar,et al. Controlling formations of multiple mobile robots , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).
[4] Moshe Y. Vardi. Branching vs. Linear Time: Final Showdown , 2001, TACAS.
[5] Jan H. van Schuppen,et al. Reachability and control synthesis for piecewise-affine hybrid systems on simplices , 2006, IEEE Transactions on Automatic Control.
[6] Robin R. Murphy,et al. Introduction to AI Robotics , 2000 .
[7] George J. Pappas,et al. Hybrid Controllers for Path Planning: A Temporal Logic Approach , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[8] Mark de Berg,et al. Computational geometry: algorithms and applications , 1997 .
[9] K.J. Kyriakopoulos,et al. Automatic synthesis of multi-agent motion tasks based on LTL specifications , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
[10] Peter Norvig,et al. Artificial Intelligence: A Modern Approach , 1995 .
[11] George J. Pappas,et al. Symbolic Planning and Control of Robot Motion Finding the Missing Pieces of Current Methods and Ideas , .
[12] Xiaolei Han,et al. Realization of Bidirectional A* Algorithm Based on the Hierarchical Thinking During the Process of Path Planning , 2008, 2008 International Conference on Computer Science and Software Engineering.
[13] Barry R. Masters,et al. Digital Image Processing, Third Edition , 2009 .