Output-Feedback Control of Nonlinear Systems using Control Contraction Metrics and Convex Optimization

Control contraction metrics (CCMs) are a new approach to nonlinear control design based on contraction theory. The resulting design problems are expressed as pointwise linear matrix inequalities and are and well-suited to solution via convex optimization. In this paper, we extend the theory on CCMs by showing that a pair of "dual" observer and controller problems can be solved using pointwise linear matrix inequalities, and that when a solution exists a separation principle holds. That is, a stabilizing output-feedback controller can be found. The procedure is demonstrated using a benchmark problem of nonlinear control: the Moore-Greitzer jet engine compressor model.Comment: Conference submissio

Immersion and invariance orbital stabilization of underactuated mechanical systems with collocated pre-feedback

In this note we study the generation of attractive oscillations of a class of mechanical systems with underactuation one. The proposed design consists of two terms, i.e., a partial linearizing state feedback, and an immersion and invariance orbital stabilization controller. The first step is adopted to simplify analysis and design, however, bringing an additional difficulty that the model loses its Euler-Lagrange structure after the collocated pre-feedback. To address this, we propose a constructive solution to the orbital stabilization problem via a smooth controller in an analytic form, and the model class identified in the paper is characterized via some easily apriori verifiable assumptions on the inertia matrix and the potential energy function

Energy Shaping of Underactuated Systems via Interconnection and Damping Assignment Passivity-Based Control with Applications to Planar Biped Robots

The sought goal of this thesis is to show that total energy shaping is an effective and versatile tool to control underactuated mechanical systems. The performance of several approaches, rooted in the port-Hamiltonian formalism, are analyzed while tackling distinct control problems: i) equilibrium stabilization; ii) gait generation; iii) gait robustication. Firstly, a constructive solution to deal with interconnection and damping assignment passivity-based control (IDA-PBC) for underactuated two-degree-of-freedom mechanical systems is proposed. This strategy does not involve the resolution of any partial differential equation, since explicit solutions are given, while no singularities depending on generalized momenta are introduced by the controller. The methodology is applied to the stabilization of a translational oscillator with a rotational actuator system, as well as, to the gait generation for an underactuated compass-like biped robot (CBR). Then, the problem of gait generation is addressed using dissipative forces in the controller. In this sense, three distinct controllers are presented, namely simultaneous interconnection and damping assignment passivity-based control with dissipative forces, energy pumping-and-damping passivity-based control (EPD-PBC), and energy pumping-or-damping control. Finally, EPD-PBC is used to increase the robustness of the gait exhibited by the CBR over uncertainties on the initial conditions. The passivity of the system is exploited, as well as, its hybrid nature (using the hybrid zero dynamics method) to carry out the stability analysis. Besides, such an approach is applied to new gaits that are generated using IDA-PBC. Numerical case studies, comparisons, and critical discussions evaluate the performance of the proposed approaches

A Constructive Methodology for the IDA-PBC of Underactuated 2-DoF Mechanical Systems with Explicit Solution of PDEs

This paper presents a passivity-based control strategy dealing with underactuated two-degree-of-freedom (2-DoF) mechanical systems. Such a methodology, which is based on the interconnection and damping assignment passivity-based control (IDA-PBC), rooted within the port-controlled Hamiltonian framework, can be applied to a very large class of underactuated 2-DoF mechanical systems. The main contribution, compared to the previous literature, is that the new methodology does not involve the resolution of any partial differential equation, since explicit solutions are given, while no singularities depending on generalised momenta are introduced by the controller. The proposed strategy is applied to two case studies: a) the stabilisation of a translational oscillator with a rotational actuator (TORA) system; b) the gait generation for an underactuated compass-like biped robot. The performances of the presented solution are evaluated through numerical simulations

Generation of new exciting regressors for consistent on-line estimation of unknown constant parameters

The problem of estimating constant parameters from a standard vector linear regression equation in the absence of sufficient excitation in the regressor is addressed. The first step to solve the problem consists in transforming this equation into a set of scalar ones using the well-known dynamic regressor extension and mixing technique. Then a novel procedure to generate new scalar exciting regressors is proposed. The superior performance of a classical gradient estimator using this new regressor, instead of the original one, is illustrated with comprehensive simulations

Sliding mode control of the reaction wheel pendulum

textThe Reaction Wheel Pendulum (RWP) is an interesting nonlinear system. A prototypical control problem for the RWP is to stabilize it around the upright position starting from the bottom, which is generally divided into at least 2 phases: (1) Swing-up phase: where the pendulum is swung up and moves toward the upright position. (2) Stabilization phase: here, the pendulum is controlled to be balanced around the upright position. Previous studies mainly focused on an energy method in swing-up phase and a linearization method in stabilization phase. However, several limitations exist. The energy method in swing-up mode usually takes a long time to approach the upright position. Moreover, its trajectory is not controlled which prevents further extensions. The linearization method in the stabilization phase, can only work for a very small range of angles around the equilibrium point, limiting its applicability. In this thesis, we took the 2nd order state space model and solved it for a constant torque input generating the family of phase-plane trajectories (see Appendix A). Therefore, we are able to plan the motion of the reaction wheel pendulum in the phase plane and a sliding mode controller may be implemented around these trajectories. The control strategy presented here is divided into three phases. (1) In the swing up phase a switching torque controller is designed to oscillate the pendulum until the system’s energy is enough to drive the system to the upright position. Our approach is more generic than previous approaches; (2) In the catching phase a sliding surface is designed in the phase plane based on the zero torque trajectories, and a 2nd order sliding mode controller is implemented to drive the pendulum moving along the sliding surface, which improves the robustness compared to the previous method in which the controller switches to stabilization mode when it reaches a pre-defined region. (3) In the stabilization phase a 2nd order sliding mode integral controller is used to solve the balancing problem, which has the potential to stabilize the pendulum in a larger angular region when compared to the previous linearization methods. At last we combine the 3 phases together in a combined strategy. Both simulation results and experimental results are shown. The control unit is National Instruments CompactRIO 9014 with NI 9505 module for module driving and NI 9411 module for encoding. The Reaction Wheel Pendulum is built by Quanser Consulting Inc. and placed in UT’s Advanced Mechatronics Lab.Mechanical Engineerin

Nonholonomic Hybrid Zero Dynamics for the Stabilization of Periodic Orbits: Application to Underactuated Robotic Walking

This brief addresses zero dynamics associated with relative degree one and two nonholonomic outputs for exponential stabilization of given periodic orbits for hybrid models of bipedal locomotion. Zero dynamics manifolds are constructed to contain the orbit while being invariant under both the continuous- and discrete-time dynamics. The associated restriction dynamics are termed the hybrid zero dynamics (HZD). Prior results on the HZD have mainly relied on input–output linearization of holonomic outputs and are referred to as holonomic HZD (H-HZD). This brief presents reduced-order expressions for the HZD associated with nonholonomic output functions referred to as nonholonomic HZD (NH-HZD). This brief systematically synthesizes NH-HZD controllers to stabilize periodic orbits based on a reduced-order stability analysis. A comprehensive study of H-HZD and NH-HZD is presented. It is shown that NH-HZD can stabilize a broader range of walking gaits that are not stabilizable through traditional H-HZD. The power of the analytical results is finally illustrated on a hybrid model of a bipedal robot through numerical simulations

Review on computational methods for Lyapunov functions

Lyapunov functions are an essential tool in the stability analysis of dynamical systems, both in theory and applications. They provide sufficient conditions for the stability of equilibria or more general invariant sets, as well as for their basin of attraction. The necessity, i.e. the existence of Lyapunov functions, has been studied in converse theorems, however, they do not provide a general method to compute them. Because of their importance in stability analysis, numerous computational construction methods have been developed within the Engineering, Informatics, and Mathematics community. They cover different types of systems such as ordinary differential equations, switched systems, non-smooth systems, discrete-time systems etc., and employ di_erent methods such as series expansion, linear programming, linear matrix inequalities, collocation methods, algebraic methods, set-theoretic methods, and many others. This review brings these different methods together. First, the different types of systems, where Lyapunov functions are used, are briefly discussed. In the main part, the computational methods are presented, ordered by the type of method used to construct a Lyapunov function

Phase Synchronization Control of Robotic Networks on Periodic Ellipses with Adaptive Network Topologies

This paper presents a novel formation control method for a large number of robots or vehicles described by Euler-Lagrange (EL) systems moving in elliptical orbits. A new coordinate transformation method for phase synchronization of networked EL systems in elliptical trajectories is introduced to define desired formation patterns. The proposed phase synchronization controller synchronizes the motions of agents, thereby yielding a smaller synchronization error than an uncoupled control law in the presence of bounded disturbances. A complex time-varying and switching network topology, constructed by the adaptive graph Laplacian matrix, relaxes the standard requirement of consensus stability, even permitting stabilization on an arbitrary unbalanced graph. The proofs of stability are constructed by robust contraction analysis, a relatively new nonlinear stability tool. An example of reconfiguring swarms of spacecraft in Low Earth Orbit shows the effectiveness of the proposed phase synchronization controller for a large number of complex EL systems moving in elliptical orbits