Smooth extensions of feedback motion planners via reference governors

In robotics, it is often practically and theoretically convenient to design motion planners for approximate low-order (e.g., position-or velocity-controlled) robot models first, and then adapt such reference planners to more accurate high-order (e.g., force/torque-controlled) robot models. In this paper, we introduce a novel provably correct approach to extend the applicability of low-order feedback motion planners to high-order robot models, while retaining stability and collision avoidance properties, as well as enforcing additional constraints that are specific to the high-order models. Our smooth extension framework leverages the idea of reference governors to separate the issues of stability and constraint satisfaction, affording a bidirectionally coupled robot-governor system where the robot ensures stability with respect to the governor and the governor enforces state (e.g., collision avoidance) and control (e.g., actuator limits) constraints. We demonstrate example applications of our framework for augmenting path planners and vector field planners to the second-order robot dynamics.

[1]  Howie Choset,et al.  Principles of Robot Motion: Theory, Algorithms, and Implementation ERRATA!!!! 1 , 2007 .

[2]  G. P. Szegö,et al.  Stability theory of dynamical systems , 1970 .

[3]  Howie Choset,et al.  Flow-Through Policies for Hybrid Controller Synthesis Applied to Fully Actuated Systems , 2009, IEEE Transactions on Robotics.

[4]  A. Shapiro Sensitivity analysis of nonlinear programs and differentiability properties of metric projections , 1988 .

[5]  Alfred A. Rizzi Hybrid control as a method for robot motion programming , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[6]  William Thomson Baron Kelvin,et al.  Treatise on Natural Philosophy , 1867 .

[7]  Daniel E. Koditschek,et al.  Adaptive Techniques for Mechanical Systems , 1987 .

[8]  Claes Johnson,et al.  Applied Mathematics: Body and Soul: Volume 1: Derivatives and Geometry in IR3 , 2010 .

[9]  Arslan Omur,et al.  Exact robot navigation using power diagrams , 2016 .

[10]  Frank L. Lewis,et al.  Control of a nonholomic mobile robot: Backstepping kinematics into dynamics , 1997, J. Field Robotics.

[11]  Daniela Fischer Differential Equations Dynamical Systems And An Introduction To Chaos , 2016 .

[12]  Daniel E. Koditschek,et al.  Frontal plane stabilization and hopping with a 2DOF tail , 2016, 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[13]  Daniel E. Koditschek,et al.  Robot planning and control via potential functions , 1989 .

[14]  Michael Athans,et al.  Design of feedback control systems for stable plants with saturating actuators , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[15]  V. Arnold Mathematical Methods of Classical Mechanics , 1974 .

[16]  Jiming Liu Sensitivity Analysis in Nonlinear Programs and Variational Inequalities via Continuous Selections , 1995 .

[17]  Daniel E. Koditschek The Control of Natural Motion in Mechanical Systems , 1991 .

[18]  S. Scholtes,et al.  Structural Analysis of Nonsmooth Mappings, Inverse Functions, and Metric Projections , 1994 .

[19]  K. T. Tan,et al.  Discrete‐time reference governors and the nonlinear control of systems with state and control constraints , 1995 .

[20]  Michael Farber Topological Complexity of Motion Planning , 2003, Discret. Comput. Geom..

[21]  D. Koditschek,et al.  Robot navigation functions on manifolds with boundary , 1990 .

[22]  Steven M. LaValle,et al.  Planning algorithms , 2006 .

[23]  Stefano Di Cairano,et al.  Reference and command governors: A tutorial on their theory and automotive applications , 2014, 2014 American Control Conference.

[24]  Bruce Randall Donald,et al.  Kinodynamic motion planning , 1993, JACM.

[25]  Daniel E. Koditschek,et al.  Exact robot navigation using artificial potential functions , 1992, IEEE Trans. Robotics Autom..

[26]  Daniel E. Koditschek,et al.  Sequential Composition of Dynamically Dexterous Robot Behaviors , 1999, Int. J. Robotics Res..

[27]  D. Koditschek The Application of Total Energy as a Lyapunov Function for Mechanical Control Systems , 1989 .

[28]  Omur Arslan,et al.  Sensor-based reactive navigation in unknown convex sphere worlds , 2018, Int. J. Robotics Res..

[29]  Alberto Bemporad,et al.  Reference governor for constrained nonlinear systems , 1998, IEEE Trans. Autom. Control..

[30]  Daniel E. Koditschek,et al.  Voronoi-based coverage control of heterogeneous disk-shaped robots , 2016, 2016 IEEE International Conference on Robotics and Automation (ICRA).

[31]  Franz Aurenhammer,et al.  Power Diagrams: Properties, Algorithms and Applications , 1987, SIAM J. Comput..