Virtual Holonomic Constraints for Euler-Lagrange Control Systems

Virtual Holonomic Constraints for Euler-Lagrange Control Systems Alireza Mohammadi Doctor of Philosophy Graduate Department of Electrical and Computer Engineering University of Toronto 2016 In this thesis we investigate virtual holonomic constraints (VHCs) for mechanical control systems. A VHC is a relation among the configuration variables of a mechanical system that does not physically exist, but can be emulated via feedback in a precise sense that is defined within this thesis. An example of VHC is the requirement that the end effector of a robot should only move along a plane. Over the past decade, VHCs have raised to prominence in robotics as they have been successfully employed to induce stable walking motions in biped robots. There is a growing body of evidence that, for complex motion control problems, the VHC paradigm might be more appropriate than the traditional reference tracking approach. Motivated by the hope to establish a new paradigm for complex motion control problems in robotics, this thesis makes contributions in two main directions. First, the thesis presents a complete theory employing VHCs for the stabilization of repetitive “behaviors” in underactuated mechanical control systems with degree of underactuation one. The theory in question has a number of components, the development of which takes us along a journey that includes, among other things, the solution of an inverse Lagrangian problem, the development of an algorithm to implicitize parametric constraints, and the stabilization of closed orbits by means of VHCs parametrized by states of dynamic compensators. The second direction of this thesis is the exploration of the hypothesis that the design

[1]  Mitio Nagumo Über die Lage der Integralkurven gewöhnlicher Differentialgleichungen , 1942 .

[2]  Kristin Ytterstad Pettersen,et al.  Virtual holonomic constraint based direction following control of planar snake robots described by a simplified model , 2014, 2014 IEEE Conference on Control Applications (CCA).

[3]  J. Gravdahl,et al.  Controllability and Stability Analysis of Planar Snake Robot Locomotion , 2011, IEEE Transactions on Automatic Control.

[4]  Eugene Fiume,et al.  Feedback control for rotational movements in feature space , 2014, Comput. Graph. Forum.

[5]  Christine Chevallereau,et al.  Models, feedback control, and open problems of 3D bipedal robotic walking , 2014, Autom..

[6]  Pål Liljebäck,et al.  Path Following Control of Planar Snake Robots Using a Cascaded Approach , 2012, IEEE Transactions on Control Systems Technology.

[7]  Claudio Urrea,et al.  ORBITAL STABILIZATION OF UNDERACTUATED MECHANICAL SYSTEMS , 2002 .

[8]  G. Phillips Interpolation and Approximation by Polynomials , 2003 .

[9]  Leonid B. Freidovich,et al.  Transverse Linearization for Controlled Mechanical Systems With Several Passive Degrees of Freedom , 2010, IEEE Transactions on Automatic Control.

[10]  Pål Liljebäck,et al.  A survey on snake robot modeling and locomotion , 2009, Robotica.

[11]  Kristin Ytterstad Pettersen,et al.  Direction following control of planar snake robots using virtual holonomic constraints , 2014, 53rd IEEE Conference on Decision and Control.

[12]  R. Riener,et al.  Path Control: A Method for Patient-Cooperative Robot-Aided Gait Rehabilitation , 2010, IEEE Transactions on Neural Systems and Rehabilitation Engineering.

[13]  A. Shiriaev,et al.  Periodic motion planning for virtually constrained Euler-Lagrange systems , 2006, Syst. Control. Lett..

[14]  Alberto Isidori,et al.  Nonlinear Control Systems II , 1999 .

[15]  Luca Consolini,et al.  Synchronizing N cart-pendulums using virtual holonomic constraints , 2012, 2012 American Control Conference (ACC).

[16]  A. Isidori Nonlinear Control Systems , 1985 .

[17]  Franck Plestan,et al.  Asymptotically stable walking for biped robots: analysis via systems with impulse effects , 2001, IEEE Trans. Autom. Control..

[18]  M. Crampin On the differential geometry of the Euler-Lagrange equations, and the inverse problem of Lagrangian dynamics , 1981 .

[19]  Luca Consolini,et al.  Induced connections on virtual holonomic constraints , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[20]  Paolo Bolzern,et al.  Stabilizability and detectability of linear periodic systems , 1985 .

[21]  Alberto Isidori,et al.  Nonlinear control systems: an introduction (2nd ed.) , 1989 .

[22]  Robert Riener,et al.  ARMin: a robot for patient-cooperative arm therapy , 2007, Medical & Biological Engineering & Computing.

[23]  Mohamed I. El-Hawwary,et al.  Reduction theorems for stability of closed sets with application to backstepping control design , 2013, Autom..

[24]  Aaron D. Ames,et al.  Dynamically stable bipedal robotic walking with NAO via human-inspired hybrid zero dynamics , 2012, HSCC '12.

[25]  Koushil Sreenath,et al.  MABEL, a new robotic bipedal walker and runner , 2009, 2009 American Control Conference.

[26]  J. Burdick,et al.  Implications of Assist-As-Needed Robotic Step Training after a Complete Spinal Cord Injury on Intrinsic Strategies of Motor Learning , 2006, The Journal of Neuroscience.

[27]  Kristin Ytterstad Pettersen,et al.  Maneuvering Control of Planar Snake Robots Using Virtual Holonomic Constraints , 2016, IEEE Transactions on Control Systems Technology.

[28]  Tetsuya Iwasaki,et al.  Serpentine locomotion with robotic snakes , 2002 .

[29]  M. Spong,et al.  Robot Modeling and Control , 2005 .

[30]  Ruggero Maria Santilli,et al.  Foundations of Theoretical Mechanics I: The Inverse Problem in Newtonian Mechanics , 1978 .

[31]  Luca Consolini,et al.  When Is a Lagrangian Control System with Virtual Holonomic Constraints Lagrangian? , 2013, NOLCOS.

[33]  Mark W. Spong,et al.  Bilateral control of teleoperators with time delay , 1989 .

[34]  S.J. Harkema,et al.  A Robot and Control Algorithm That Can Synchronously Assist in Naturalistic Motion During Body-Weight-Supported Gait Training Following Neurologic Injury , 2007, IEEE Transactions on Neural Systems and Rehabilitation Engineering.

[35]  Christine Chevallereau,et al.  Asymptotically Stable Walking of a Five-Link Underactuated 3-D Bipedal Robot , 2009, IEEE Transactions on Robotics.

[36]  Steven M. LaValle,et al.  Current Issues in Sampling-Based Motion Planning , 2005, ISRR.

[37]  Sunil Kumar Agrawal,et al.  Design of a Cable-Driven Arm Exoskeleton (CAREX) for Neural Rehabilitation , 2012, IEEE Transactions on Robotics.

[38]  Luca Consolini,et al.  Further Results on Virtual Holonomic Constraints , 2012 .

[39]  Jun Nakanishi,et al.  A brachiating robot controller , 2000, IEEE Trans. Robotics Autom..

[40]  Øyvind Stavdahl,et al.  Snake Robots: Modelling, Mechatronics, and Control , 2012 .

[41]  Kazufumi Ito,et al.  A method for determination of optimal gaits with application to a snake-like serial-link structure , 2005, IEEE Transactions on Automatic Control.

[42]  Stefan Johansson,et al.  Tools for Control System Design: Stratification of Matrix Pairs and Periodic Riccati Differential Equation Solvers , 2009 .

[43]  M. El-Hawwary,et al.  Passivity Methods for the Stabilization of Closed Sets in Nonlinear Control Systems , 2011 .

[44]  Manfredi Maggiore,et al.  Planar maneuvering control of underwater snake robots using virtual holonomic constraints , 2016, Bioinspiration & biomimetics.

[45]  Joel W. Burdick,et al.  The Geometric Mechanics of Undulatory Robotic Locomotion , 1998, Int. J. Robotics Res..

[46]  Luca Consolini,et al.  Path following for the PVTOL aircraft , 2010, Autom..

[47]  D. Reinkensmeyer,et al.  Review of control strategies for robotic movement training after neurologic injury , 2009, Journal of NeuroEngineering and Rehabilitation.

[48]  Leif Kobbelt,et al.  A survey of point-based techniques in computer graphics , 2004, Comput. Graph..

[49]  李斌,et al.  Turning and side motion of snake-like robot , 2004 .

[50]  Richard M. Murray,et al.  A Mathematical Introduction to Robotic Manipulation , 1994 .

[51]  Ron Goldman,et al.  Elimination and resultants. 1. Elimination and bivariate resultants , 1995, IEEE Computer Graphics and Applications.

[52]  J. F. Soechting,et al.  Coordination of arm movements in three-dimensional space. Sensorimotor mapping during drawing movement , 1986, Neuroscience.

[53]  Luca Consolini,et al.  Control of a bicycle using virtual holonomic constraints , 2010, 49th IEEE Conference on Decision and Control (CDC).

[54]  Manfredi Maggiore,et al.  Path following using transverse feedback linearization: Application to a maglev positioning system , 2009, 2009 American Control Conference.

[55]  Hermano Igo Krebs,et al.  Rehabilitation Robotics: Performance-Based Progressive Robot-Assisted Therapy , 2003, Auton. Robots.

[56]  広瀬 茂男,et al.  Biologically inspired robots : snake-like locomotors and manipulators , 1993 .

[57]  J. Hauser,et al.  Feedback linearization of transverse dynamics for periodic orbits , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[58]  Roger Skjetne,et al.  Robust output maneuvering for a class of nonlinear systems , 2004, Autom..

[59]  P. Seibert,et al.  On the reduction to a subspace of stability properties of systems in metric spaces , 1995 .

[60]  Leonid B. Freidovich,et al.  Virtual-Holonomic-Constraints-Based Design of Stable Oscillations of Furuta Pendulum: Theory and Experiments , 2007, IEEE Transactions on Robotics.

[61]  Dusan M. Stipanovic,et al.  Formation control and coordinated tracking via asymptotic decoupling for Lagrangian multi-agent systems , 2011, Autom..

[62]  G. Folland Introduction to Partial Differential Equations , 1976 .

[63]  Rida T. Farouki,et al.  The Bernstein polynomial basis: A centennial retrospective , 2012, Comput. Aided Geom. Des..

[64]  Francisco J Valero-Cuevas,et al.  An Integrative Approach to the Biomechanical Function and Neuromuscular Control of the Fingers , 2004 .

[65]  Manfredi Maggiore,et al.  On Local Transverse Feedback Linearization , 2008, SIAM J. Control. Optim..

[66]  F. Takens A global version of the inverse problem of the calculus of variations , 1979 .

[67]  Carlos Canudas-de-Wit,et al.  On the concept of virtual constraints as a tool for walking robot control and balancing , 2004, Annu. Rev. Control..

[68]  João Pedro Hespanha,et al.  Path-following for nonminimum phase systems removes performance limitations , 2005, IEEE Transactions on Automatic Control.

[69]  Olga Krupková,et al.  Second order ordinary differential equations in jet bundles and the inverse problem of the calculus of variations , 2007 .

[70]  M. Henneaux Equations of motion, commutation relations and ambiguities in the Lagrangian formalism , 1982 .

[71]  Elliott J. Rouse,et al.  Evidence for a Time-Invariant Phase Variable in Human Ankle Control , 2014, PloS one.

[72]  L. Foulds,et al.  Graph Theory Applications , 1991 .

[73]  W. Sarlet,et al.  Derivations of differential forms along the tangent bundle projection , 1992 .

[74]  W. Sarlet,et al.  The Helmholtz conditions revisited. A new approach to the inverse problem of Lagrangian dynamics , 1982 .

[75]  Tom Duchamp,et al.  On the Existence of Global Variational Principles , 1980 .

[76]  John Guckenheimer,et al.  The Dynamics of Legged Locomotion: Models, Analyses, and Challenges , 2006, SIAM Rev..

[77]  A geometrical version of the Helmholtz conditions in time- dependent Lagrangian dynamics , 1984 .

[78]  Luca Consolini,et al.  Virtual Holonomic Constraints for Euler–Lagrange Systems , 2013, IEEE Transactions on Automatic Control.

[79]  James P. Ostrowski,et al.  Motion planning for anguilliform locomotion , 2003, IEEE Trans. Robotics Autom..

[80]  P. Bézier Numerical control : mathematics and applications , 1972 .

[81]  A. Laub,et al.  Numerical solution of the discrete-time periodic Riccati equation , 1994, IEEE Trans. Autom. Control..

[82]  Luca Consolini,et al.  On the swing-up of the Pendubot using virtual holonomic constrains , 2011, IEEE Conference on Decision and Control and European Control Conference.

[83]  J. Douglas Solution of the Inverse Problem of the Calculus of Variations. , 1939, Proceedings of the National Academy of Sciences of the United States of America.

[84]  David Saunders Thirty years of the inverse problem in the calculus of variations , 2010 .

[85]  Manfredi Maggiore,et al.  Output stabilization and maneuver regulation: A geometric approach , 2006, Syst. Control. Lett..

[86]  Thomas W. Sederberg,et al.  Algebraic Methods for Computer Aided Geometric Design , 2002, Handbook of Computer Aided Geometric Design.

[87]  Christine Chevallereau,et al.  RABBIT: a testbed for advanced control theory , 2003 .

[88]  J. Gross,et al.  Graph Theory and Its Applications , 1998 .

[89]  Franck Plestan,et al.  Stable walking of a 7-DOF biped robot , 2003, IEEE Trans. Robotics Autom..

[90]  J. Rubinstein,et al.  An Introduction to Partial Differential Equations , 2005 .

[91]  Carlos Canudas-de-Wit,et al.  Constructive tool for orbital stabilization of underactuated nonlinear systems: virtual constraints approach , 2005, IEEE Transactions on Automatic Control.