Decidability of Motion Planning with Differential Constraints
暂无分享,去创建一个
[1] Vijay Kumar,et al. Sampling-based Falsification and Verification of Controllers for Continuous Dynamic Systems , 2008, Int. J. Robotics Res..
[2] Volker Weispfenning,et al. Semilinear Motion Planning in REDLOG , 2001, Applicable Algebra in Engineering, Communication and Computing.
[3] B. Donald,et al. Kinodynamic Motion Planning 1 Kinodynamic Motion Planning 5 , 1993 .
[4] Gerardo Lafferriere,et al. Parameter Synthesis In Robot Motion Planning Using Symbolic Reachability Computations , 2000 .
[5] Antonio Bicchi,et al. Motion planning through symbols and lattices , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.
[6] Bruce Randall Donald,et al. Kinodynamic motion planning , 1993, JACM.
[7] J. Schwartz,et al. On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds , 1983 .
[8] L. Dubins. On Curves of Minimal Length with a Constraint on Average Curvature, and with Prescribed Initial and Terminal Positions and Tangents , 1957 .
[9] Colm Ó'Dúnlaing,et al. Motion planning with inertial constraints , 2015, Algorithmica.
[10] G. Sacks. A DECISION METHOD FOR ELEMENTARY ALGEBRA AND GEOMETRY , 2003 .
[11] Gordon T. Wilfong,et al. Planning constrained motion , 1988, STOC '88.
[12] Howie Choset,et al. Principles of Robot Motion: Theory, Algorithms, and Implementation ERRATA!!!! 1 , 2007 .
[13] S. LaValle,et al. Sampling-Based Motion Planning With Differential Constraints , 2005 .
[14] Gerardo Lafferriere,et al. A New Class of Decidable Hybrid Systems , 1999, HSCC.
[15] John F. Canny,et al. An exact algorithm for kinodynamic planning in the plane , 1991, Discret. Comput. Geom..
[16] Jean-Paul Laumond,et al. Topological property for collision-free nonholonomic motion planning: the case of sinusoidal inputs for chained form systems , 1998, IEEE Trans. Robotics Autom..
[17] Antonio Bicchi,et al. On the reachability of quantized control systems , 2002, IEEE Trans. Autom. Control..
[18] John F. Canny,et al. Planning smooth paths for mobile robots , 1989, Proceedings, 1989 International Conference on Robotics and Automation.
[19] John Canny,et al. The complexity of robot motion planning , 1988 .
[20] Steven M. LaValle,et al. Planning algorithms , 2006 .
[21] Tomás Lozano-Pérez,et al. Spatial Planning: A Configuration Space Approach , 1983, IEEE Transactions on Computers.
[22] Ram Rajagopal,et al. Low-Discrepancy Curves and Efficient Coverage of Space , 2006, WAFR.
[23] Jean-Paul Laumond,et al. Feasible Trajectories for Mobile Robots with Kinematic and Environment Constraints , 1986, IAS.