Swing-Up of a Weakly Actuated Double Pendulum
via Nonlinear Normal Modes

Abstract

We identify the nonlinear normal modes spawning from the stable equilibrium of a double pendulum under gravity, and we establish their connection to homoclinic orbits through the unstable upright position as energy increases. This result is exploited to devise an efficient swing-up strategy for a double pendulum with weak, saturating actuators. Our approach involves stabilizing the system onto periodic orbits associated with the nonlinear modes while gradually injecting energy. Since these modes are autonomous system evolutions, the required control effort for stabilization is minimal. Even with actuator limitations of less than 1% of the maximum gravitational torque, the proposed method accomplishes the swing-up of the double pendulum by allowing sufficient time.

I Introduction

Swing-up control of a double pendulum is a very classical problem in nonlinear control usually focusing on underactuated systems such as the double pendulum on a cart [1, 2, 3], or pendula where only the first joint (PenduBot) [4] or only the second joint (AcroBot) is actuated [5, 6]. However, there is also a different class of pendulum systems for which swing-up control is necessary: fully actuated systems with weak actuators. Weak means that the motor torque limits are small compared to the system’s drift - i.e., potential and inertial forces. Beyond these torque limits, any control action will saturate. Consider the analogy of a gymnast: the torques the gymnast can apply to the high bar are not enough to hold the body in the horizontal position. Still, the swing-up and the stabilization to the upright position are possible.

We are especially interested in energy-efficient control approaches as these usually reduce the power drawn from the actuators, hel** to succeed with weak actuation. Several groups have dealt with energy-based approaches for swing-up of double pendula [3, 4, 5, 7, 6] and also a single pendulum [8].

Figure 1: Two pairs of nonlinear normal mode generators of the double pendulum shown on the torus. Both generators (blue, red) start at the downward stable equilibrium (white dot) and meet at the upright equilibrium (purple dot) approaching homoclinic orbits. A version of this illustration ironed onto the $q_{1}q_{2}$-plane is shown in Fig. 4a.

The double pendulum in gravity is a classical example of a chaotic system [9]. Thus, if we just inject energy without a proper control approach, it will generally get chaotic. However, there exists a rich variety of periodic orbits (see [10] for a classification) besides the chaos. One class of these periodic orbits are nonlinear normal modes (NNMs), which we have studied in the past years [11, 12] and developed control approaches to stabilize, excite and mechanically implement NNMs on robots [13, 14, 15, 16, 17]. NNMs can be seen as continuous families of periodic orbits of increasing energy level, each orbit having exactly two turning points. All velocities are zero at these points, i.e., the system’s energy is purely potential. This type of orbit having two turning points is called brake orbit and the collection of all such orbits is called eigenmanifold of the mode. The eigenmanifold encodes the system’s natural dynamics in a submanifold of the state space.

The double pendulum has two NNMs that we compute using continuation methods. Consider Fig. 1 for a glimpse of the results; more details and formal definitions will come later. Both NNMs approach homoclinic orbits passing through the unstable upright position: the two NNMs connect the downward equilibrium to the unstable one upright. Gradually injecting energy along these NNMs can thus be used for energy-efficient swing-up to the upright position.

In simulations, we show that we can swing-up the double pendulum with weak actuators when exploiting the two NNM of the system. Even when the motor torque limits are at $0.3\%$ of the maximal gravitational torque, we can still swing up by allowing enough time ($\approx$266).

II Nonlinear Modal Analysis

Consider the thin rod model of a double pendulum in Fig. 2. Joint coordinates are denoted by $\boldsymbol{q}=(q_{1},q_{2})\in\mathbb{R}^{2}$. Using the Lagrange formalism, the dynamics are

$$\boldsymbol{M}(\boldsymbol{q})\ddot{\boldsymbol{q}}+\boldsymbol{c}(\boldsymbol{q},\dot{\boldsymbol{q}})+\boldsymbol{g}(\boldsymbol{q})=\boldsymbol{\tau},$$ (1)

where $\boldsymbol{M}(\boldsymbol{q})\in\mathbb{R}^{2\times 2}$ is the mass matrix, $\boldsymbol{g}(\boldsymbol{q})\in\mathbb{R}^{2}$ are the gravitational forces, $\boldsymbol{c}(\boldsymbol{q},\dot{\boldsymbol{q}})\in\mathbb{R}^{2}$ contains the Coriolis and centrifugal forces, and $\boldsymbol{\tau}\in\mathbb{R}^{2}$ are the generalized forces acting at the joints (usually actuation). The total energy is

$$\small E(\boldsymbol{q},\dot{\boldsymbol{q}})=\frac{1}{2}\dot{\boldsymbol{q}}^{\mathsf{T}}\boldsymbol{M}(\boldsymbol{q})\dot{\boldsymbol{q}}+V(\boldsymbol{q}),\quad V(\boldsymbol{q})=V_{0}+\sum_{i}^{2}m_{i}gz_{i}(\boldsymbol{q}),$$

where $z_{i}(\boldsymbol{q})$ is the height of the $i$-th center of mass. We set $V_{0}$ such that $E(\boldsymbol{q}_{\mathrm{eq}},\boldsymbol{0})=0$. As well-known, this model has a stable equilibrium at $\boldsymbol{q}_{\mathrm{eq}}=(0,0)$ and three unstable equilibria. Table I shows the numerical values we set.

Figure 2: Double pendulum under gravity. The links are assumed thin rods.

II-A Nonlinear Normal Modes: Brief Introduction

Given the equations of motion (1), we linearize the system at the stable equilibrium $(\boldsymbol{q},\dot{\boldsymbol{q}})=(\boldsymbol{q}_{\mathrm{eq}},\boldsymbol{0})$

$$\boldsymbol{0}=\boldsymbol{M}(\boldsymbol{q}_{\mathrm{eq}})\ddot{\tilde{\boldsymbol{q}}}+\frac{\partial^{2}V(\boldsymbol{q}_{\mathrm{eq}})}{\partial\boldsymbol{q}^{2}}\tilde{\boldsymbol{q}},$$ (2)

where $\tilde{\boldsymbol{q}}=\boldsymbol{q}-\boldsymbol{q}_{\mathrm{eq}}$. This linear system can be decomposed into two different oscillators with frequencies $\omega_{1}$ and $\omega_{2}$ evolving along the directions of the corresponding eigenvectors $\boldsymbol{v}_{1}$ and $\boldsymbol{v}_{2}$. Nonlinear normal modes (NNMs) extend this concept of modes to nonlinear systems [12]. However, NNMs cannot keep all of the properties of linear modes. For example, we drop the superposition principle.

To compute NNMs, we start with the two linear modes $(\boldsymbol{v}_{1},\omega_{1})$ and $(\boldsymbol{v}_{2},\omega_{2})$, and investigate what happens to the nonlinear system (1). Let’s look at $(\boldsymbol{v}_{1},\omega_{1})$ first. For very small energies the linearization approximately holds, and we see almost harmonic oscillations with frequencies $\omega_{1}$ along $\boldsymbol{v}_{1}$ when initializing at $\boldsymbol{q}(0)=\boldsymbol{q}_{\mathrm{eq}}+\epsilon\boldsymbol{v}_{1}$ and $\dot{\boldsymbol{q}}(0)=\boldsymbol{0}$. These periodic orbits will have exactly two turning points, where the velocity is zero. The same holds for the other mode $(\boldsymbol{v}_{2},\omega_{2})$. We call this type of orbit brake orbit.

Figure 3: Sketch of one periodic orbit of an NNM for the energy level $E$ in configuration space. The system periodically oscillates between two turning points $\boldsymbol{q}_{\curvearrowleft{}i}$ where it synchronously comes to rest before reversing direction.

As we increase the energy, the nonlinearity will prevent these periodic orbits from extending linearly. However, we can make them periodic motions again by adjusting the turning points slightly. As constraints, we set that the periodic orbits must have exactly two turning points. Adjusting the turning points is performed by multiple shooting using an integrated Jacobian of the flow [18]. We repeat this process of repeatedly increasing the energy and adjusting the turning points. This results in a continuous family of brake orbits starting from the $i$-th linear mode. We call this collection of orbits the $i$-th nonlinear normal mode.

For nonlinear systems, the turning points $\boldsymbol{q}_{\curvearrowleft}$ are no longer described by $\boldsymbol{q}_{\curvearrowleft}=\boldsymbol{q}_{\mathrm{eq}}\pm\epsilon\boldsymbol{v}_{i}$, but by a function $\boldsymbol{q}_{\curvearrowleft}=\boldsymbol{G}_{i\pm}(E)$, which we choose to parameterize by energy $E$. We call the images of these functions the generators of the mode $i$. In the nonlinear case also the period time $T_{i}(E)$ changes with energy.

Fig. 3 sketches one such orbit for one energy level. The turning points are given by the generators of the mode. By initializing the system to either $\boldsymbol{G}_{i+}(E)$ or $\boldsymbol{G}_{i-}(E)$ with zero velocity we obtain a periodic orbit oscillating between the two turning points. Formally:

$$\boldsymbol{q}(0) =\boldsymbol{G}_{i\pm}(E) \quad\dot{\boldsymbol{q}}(0) =\boldsymbol{0}$$

$$\boldsymbol{q}(t) =\boldsymbol{q}(t+T_{i}(E)) \quad\dot{\boldsymbol{q}}(t) =\dot{\boldsymbol{q}}(t+T_{i}(E)).$$

The turning points are at $\boldsymbol{q}_{\curvearrowleft{}1}=\boldsymbol{q}(kT_{i}(E))$ and $\boldsymbol{q}_{\curvearrowleft{}2}=\boldsymbol{q}(\nicefrac{{1}}{{2}}(2k+1)T_{i}(E))$ for $k\in\mathbb{Z}$. Generally, the orbit does not necessarily contain $\boldsymbol{q}_{\mathrm{eq}}$, but it is the case in our system as $\boldsymbol{M}(\boldsymbol{q})$ and $V(\boldsymbol{q})$ are symmetric [19, 20].

Finally, when collecting all orbits of the $i$-th NNM for all energies $E$, we get a two-dimensional submanifold $\mathcal{M}_{i}\subset\mathbb{R}^{2n}$ of the state space. We call this submanifold the eigenmanifold of the $i$-th NNM:

$$\mathcal{M}_{i}=\left\{\begin{bmatrix}\boldsymbol{q}(t)\\ \dot{\boldsymbol{q}}(t)\end{bmatrix}\in\mathbb{R}^{2n}\right.\left|\begin{array}[]{lcl}\boldsymbol{q}(0)&=&\boldsymbol{G}_{i\pm}(E),\\ \dot{\boldsymbol{q}}(0)&=&\boldsymbol{0},\end{array}\hfill\begin{array}[]{lcl}E&\in&[0,E_{\mathrm{max}}),\\ t&\in&[0,T_{i}(E)).\end{array}\right\},$$

where $[\boldsymbol{q}(t),\dot{\boldsymbol{q}}(t)]^{\mathsf{T}}$ is a solution to (1). Note that it is a free choice to either use $\boldsymbol{G}_{i+}(E)$ or $\boldsymbol{G}_{i-}(E)$ as the generator. They will generate the same eigenmanifold.

At this point we want to highlight that each orbit of the modes is a solution to the equations of motion. Theoretically, following them happens naturally, without control input.

II-B NNMs of the Double Pendulum

We compute the NNMs of the double pendulum, using the parameters reported in Table I. The maximal potential energy $E_{\mathrm{max}}=\max_{\boldsymbol{q}}V(\boldsymbol{q})=$12.985\text{\,}\mathrm{J}$$ is reached when the pendulum is in the upright position. There cannot be more potential energy. Hence, no brake orbit (and no NNM) can exist beyond this energy level $E_{\mathrm{max}}$ [10]. By the continuation, we can only approach $E_{\mathrm{max}}$ but not reach it.

(a) Two pairs of NNM generators

(b) Period times

(c) Modal oscillations for $E=$11.0\text{\,}\mathrm{J}$$.

(d) Cartesian representation for some energy levels

Figure 4: NNMs of the double pendulum. (a) Generators. The bold and bold-dashed lines show the two pairs of generators and the thin gray lines show some trajectories of the NNMs projected into configuration space. The white/purple dots match the ones in Fig. 1; (b) period times for different energy levels; (c) exemplary angle evolution and angular velocity evolution for both NNMs at $E=$11.0\text{\,}\mathrm{J}$$. The symbols $\blacksquare$ and $\bigstar$ mark the points on the generators. (d) modal oscillations for a selection of energy levels on both modes shown in Cartesian representation.

Fig. 4a shows the two pairs of both generators $\boldsymbol{G}_{i\pm}(E)$ (light blue, red) in configuration space, the solid gray lines show several trajectories in configuration space, and the dashed gray lines show isolines of the potential energy $V(\boldsymbol{q})$. The white circle marks the stable equilibrium, and the purple dots mark the upright equilibrium. Note, that the purple dots all correspond to the same configuration (Fig. 1). Both generators (the collection of turning points) approach the upright equilibrium as $E\rightarrow E_{\mathrm{max}}$! We show one exemplary period of both modes in Fig. 4c for $E=$11.0\text{\,}\mathrm{J}$$ ($\approx 85\%E_{\mathrm{max}}$). They clearly look nonlinear. Fig. 4d shows several orbits of both modes in Cartesian space. The blue and orange lines show the paths of $\boldsymbol{p}_{1}$ and $\boldsymbol{p}_{2}$ (cmp. 2).

Fig. 4b shows the period times $T_{i}(E)$. In both cases:

$$\lim\limits_{E\rightarrow E_{\mathrm{max}}}T_{i}(E)=\infty.$$

The nonlinear normal modes both approach homoclinic orbits asymptotically. While we can never reach these homoclinics, we can get arbitrarily close.

Main Insight: Both NNMs connect the stable equilibrium $\boldsymbol{q}_{\mathrm{eq}}$ to a configuration $\boldsymbol{q}_{\curvearrowleft}$ arbitrarily close to the unstable equilibrium $\boldsymbol{q}_{\mathrm{des}}$ via continuous families of periodic brake-orbits. This $\boldsymbol{q}_{\curvearrowleft}$ is a turning point where all velocities vanish.

We can walk up the eigenmanifold as slowly as desired. Finally, we will reach a periodic orbit having turning points arbitrarily close to the upright position.

II-C Eigenmanifold Parametrization

For the control approach we need to parameterize the eigenmanifolds: we require functions $X_{i}$ and $\dot{X}_{i}:\mathcal{P}\rightarrow\mathbb{R}^{n}$ that map a two-dimensional parameter domain $\mathcal{P}$ to the eigenmanifold $\forall p\in\mathcal{P}:[X_{i}(p),\dot{X}_{i}(p)]^{\mathsf{T}}\in\mathcal{M}_{i}$.

One of these parameters is the total energy in the system. For the second parameter, which should encode the phase along an orbit, we look at the orbits more closely to come up with a phase.

For both nonlinear normal modes, we take trajectories of different energies and project them onto two-dimensional sections of the four-dimensional state space. There are six unique combinations of states. We show all six projections in Fig. 5 for the two modes. The color of the lines indicates the energy level. When closely looking at the projected trajectories in Fig. 5, we observe that we can use the angle

$$\varphi=\operatorname{atan2}(\dot{q}_{1},q_{1})$$ (3)

in the $q_{1}\dot{q}_{1}$-plane (greenish boxes) as a modal phase. This is because there are no curls in the curves and $\varphi$ is bijective to each curve (for a fixed energy level). Both eigenmanifolds $\mathcal{M}_{i}$ are parametrizable by energy $E$ and the phase $\varphi$:

$$\boldsymbol{q}=X_{i}(E,\varphi)\quad\dot{\boldsymbol{q}}=\dot{X}_{i}(E,\varphi).$$ (4)

Figure 5: Projection of modal trajectories onto sections of the state space. The right lower triangular matrix of plots shows mode 1 and the upper left mode 2. The color indicates the corresponding energy level. A combination of energy $E$ and the angle $\varphi=\operatorname{atan2}(\dot{q}_{1},q_{1})$ in the $q_{1}\dot{q}_{1}$-plane (greenisch boxes) can be used to parametrize the eigenmanifolds.

Figure 6: Eigenmanifold parametrization of both modes by the functions $X_{i}(E,\varphi)$ (left half) and $\dot{X}_{i}(E,\varphi)$ (right half). The surfaces show the respective states for given energy $E$ and modal phase $\varphi$. They are generated by the mesh-based barycentric interpolation algorithm. When taking the cross-section of the surfaces at $E=11J$ the curves in Fig. 4c are obtained. Blue surfaces show mode 1 and red surface mode 2.

To obtain these functions, we compute trajectories of different energies and sample them densely in time. As in [14] this leads to a point-cloud approximation of the eigenmanifold. We then compute energy and phase for each point and Delaunay-triangulate the point cloud in the $E\varphi$-plane using the Qhull-library [21]. When given a parameter pair $(E,\varphi)$, we find the simplex containing the parameter and barycentrically interpolate [22] the states on the vertices. Fig. 6 shows the eigenmanifold parametrization by the functions $X_{i}$, $\dot{X}_{i}$ for both modes. Blue surfaces show $X_{1}$ and $\dot{X}_{1}$ (mode 1) and red surfaces show $X_{2}$ and $\dot{X}_{2}$ (mode 2).

II-D Characteristic Multipliers

We look at a conservative double pendulum. Hence, the NNMs will not be asymptotically stable (Liouville’s Theorem [23]). To still get an idea of the stability of the modes, we compute the characteristic multipliers of the orbits on the two modes numerically. Characteristic multipliers are the eigenvalues of the Jacobian of the Poincaré map [24] that we place at one of the turning points of the brake orbits. This Jacobian is a four-by-four matrix computed by forward integration [18]. We numerically compute the characteristic multipliers for both modes and various energy levels and show the magnitudes $|\lambda_{i}|$ of the four eigenvalues $\lambda_{i}$ in Fig. 7. Note that two eigenvalues are always one due to energy conservation and the freedom of phase in a periodic motion.

Figure 7: Characteristic multipliers of the orbits on the two modes. The plot shows the magnitude $|\lambda_{i}|$ of the eigenvalues $\lambda_{i}$ of the Jacobian of the Poincaré map at one of the turning points of the brake orbit.

The loci of the characteristic multipliers indicate different stability properties of the modes. Mode 1 develops an unstable multiplier ($|\lambda|>1$) at around $8J$, much later than mode 2 at $2.6J$. For swing-up, the double pendulum will traverse the entire energy axis of Fig. 7. Based on multipliers, mode 1 seems more stable in the low- and medium-energy range and is therefore more suitable for swing-up control; this remains to be validated in the experiments.

III Swing-Up via Nonlinear Normal Modes

Our control goal is to bring the double pendulum from the stable equilibrium to the upright position $\boldsymbol{q}_{\mathrm{des}}=(\pi,0)$, and stabilize it there. Overall, we have a set of different control laws and a finite state machine decides which one to use. The main point of this paper is the swing-up control law $\boldsymbol{\tau}_{\mathrm{su}}$, which brings the double pendulum arbitrarily close to the upright position:

$$\boldsymbol{\tau}_{\mathrm{su}}=\boldsymbol{\tau}_{\mathcal{M}}+\boldsymbol{\tau}_{E}.$$ (5)

As in [14, 13], this controller is split up into an eigenmanifold stabilizer $\boldsymbol{\tau}_{\mathcal{M}}$ and an energy controller $\boldsymbol{\tau}_{E}$. The two components are explained in the sections III-B and III-C.

Besides the swing-up controller, we also need a controller to stabilize the upright position locally and one additional control law to inject some initial energy. These controllers and the state machine are summarized in III-D.

III-A Assumptions

We assume that we have access to the full state $\boldsymbol{q}$ and $\dot{\boldsymbol{q}}$, and that we can evaluate the functions $\boldsymbol{M}(\boldsymbol{q})$, $E(\boldsymbol{q},\dot{\boldsymbol{q}})$, $X(E,\varphi)$ and $\dot{X}(E,\varphi)$. We assume full actuation and torque saturation, i.e, $|\tau_{i}|\leq\tau_{\mathrm{max}}$, where motors are weak compared to the internal model forces. The maximum motor torque is $\tau_{\mathrm{max}}$ for both joints, but this can easily be extended for different maximal torques in each motor.

III-B Eigenmanifold Stabilization

The goal of the eigenmanifold stabilizer is to stabilize the double pendulum onto one of the eigenmanifolds $\mathcal{M}_{i}$. As in [13], we use the parametrization of the eigenmanifold. The functions $X_{i}(E,\varphi)$ and $\dot{X}_{i}(E,\varphi)$ are evaluated for the measured state. Note, that $E(\boldsymbol{q},\dot{\boldsymbol{q}})$ as well as the phase $\varphi$ (3) are both functions of the state $(\boldsymbol{q},\dot{\boldsymbol{q}})$. Therefore, we can chain the computations into single functions $Y$ and $\dot{Y}$:

$$\boldsymbol{q}_{d} =X_{i}(E(\boldsymbol{q},\dot{\boldsymbol{q}}),\operatorname{atan2}(\dot{q}_{1},q_{1}))=Y_{i}(\boldsymbol{q},\dot{\boldsymbol{q}}),$$ (6)

$$\dot{\boldsymbol{q}}_{d} =\dot{X}_{i}(E(\boldsymbol{q},\dot{\boldsymbol{q}}),\operatorname{atan2}(\dot{q}_{1},q_{1}))=\dot{Y}_{i}(\boldsymbol{q},\dot{\boldsymbol{q}}).$$ (7)

where by construction $(\boldsymbol{q}_{d},\dot{\boldsymbol{q}}_{d})\in\mathcal{M}_{i}$. The functions $Y$, $\dot{Y}$ take a measured state and provide a desired state on the eigenmanifold. We then design the eigenmanifold stabilizer

$$\boldsymbol{\tau}_{\mathcal{M}}=\boldsymbol{M}(\boldsymbol{q})\left[-k_{p}\left(\boldsymbol{q}-Y_{i}(\boldsymbol{q},\dot{\boldsymbol{q}})\right)-k_{d}\left(\dot{\boldsymbol{q}}-\dot{Y}_{i}(\boldsymbol{q},\dot{\boldsymbol{q}})\right)\right],$$

where $k_{p}$ is a scalar gain and $k_{d}=2\sqrt{k_{p}}$.

III-C Energy Injection

We want to swing up the pendulum to periodic orbits of higher and higher energy until we reach a configuration close to the upright position. The eigenmanifold stabilizer $\boldsymbol{\tau}_{\mathcal{M}}$ has no preference on the energy level and leaves the energy coordinate uncontrolled. We need an additional control law $\boldsymbol{\tau}_{E}$ to regulate energy.

It is crucial to find $\boldsymbol{\tau}_{E}$ such that the sum $\boldsymbol{\tau}_{\mathcal{M}}+\boldsymbol{\tau}_{E}$ stays within the motor torque limits: we first compute a sliding-mode controller $\bar{\boldsymbol{\tau}}$ that does not consider the torque limits

$$\bar{\boldsymbol{\tau}}={\mathrm{sign}}\left(E_{\mathrm{des}}-E(\boldsymbol{q},\dot{\boldsymbol{q}})\right)\boldsymbol{M}(\boldsymbol{q})\dot{\boldsymbol{q}}\;.$$ (8)

Since $\boldsymbol{\tau}_{\mathcal{M}}(\boldsymbol{q},\dot{\boldsymbol{q}})$ is known, we can find a scaling factor $\alpha$ such that $\boldsymbol{\tau}_{\mathcal{M}}+\alpha\bar{\boldsymbol{\tau}}$ is within the torque limits. When $\boldsymbol{\tau}_{\mathcal{M}}$ already saturates the motors, we immediately set $\alpha=0$, i.e., no energy injection happens at this time step. To enable fast swing-up, $\alpha$ should be as large as possible. Compactly

maximize $$\alpha$$

subject to $$|\boldsymbol{\tau}_{\mathcal{M}}+\alpha\bar{\boldsymbol{\tau}}|\leq\boldsymbol{\tau}_{\mathrm{max}},$$

where $\boldsymbol{\tau}_{\mathrm{max}}$ is the vector of the maximum motor torques per motor. We can rewrite the constraints to

$$\begin{bmatrix}\bar{\boldsymbol{\tau}}\\ -\bar{\boldsymbol{\tau}}\end{bmatrix}\alpha=\boldsymbol{x}\alpha\leq\boldsymbol{y}=\begin{bmatrix}\boldsymbol{\tau}_{\mathrm{max}}-\boldsymbol{\tau}_{\mathcal{M}}\\ \boldsymbol{\tau}_{\mathrm{max}}+\boldsymbol{\tau}_{\mathcal{M}}\end{bmatrix},$$

which now reads as linear program (LP) of the form: maximize $\boldsymbol{c}^{\mathsf{T}}\boldsymbol{x}$ subject to $\boldsymbol{A}\boldsymbol{x}\leq\boldsymbol{b}$. It can be solved using a standard LP-solver. However, as $\alpha$ is only a scalar we can find a solution analytically: we replace the inequality by an equality and solve each row in $x_{i}\alpha=y_{i}$ for $\alpha_{i}$ and then take the smallest non-negative $\alpha_{i}$ as the solution $\alpha_{\mathrm{opt}}$.

Finally, we set the energy controller to

$$\boldsymbol{\tau}_{E}=\alpha_{\mathrm{opt}}\tanh(E_{\mathrm{des}}-E)\boldsymbol{M}(\boldsymbol{q})\dot{\boldsymbol{q}},$$ (9)

where the $\tanh$ function is used to smoothen the ${\mathrm{sign}}$ function. Note that $\alpha_{\mathrm{opt}}$ must be evaluated in every cycle.

III-D Controller State Machine

The overall control approach bringing the double pendulum to the upright position is realized as a finite state machine traversing through the states

$$\underset{\boldsymbol{\tau}_{\mathrm{bs}}\;\text{\eqref{eq:bootstrap}}}{(\textsc{Bootstrap})}\rightarrow\underset{\boldsymbol{\tau}_{\textsc{Start}}\;\text{\eqref{eq:start}}}{\vphantom{()}\textsc{Start}}\rightarrow\underset{\boldsymbol{\tau}_{\mathrm{su}}\;\text{\eqref{eq:swingup}}}{\vphantom{()}\textsc{SwingUp}}\rightarrow\underset{\boldsymbol{\tau}_{\textsc{Hold}}\;\text{\eqref{eq:regulation}}}{\vphantom{()}\textsc{Hold}}.$$

III-D1 State Bootstrap

This state is only needed to globalize the controller. It helps to recover from any initial state, failed swing-up attempts, and/or external impacts. The goal is to dissipate all the energy by applying an artificial friction

$$\boldsymbol{\tau}_{\mathrm{bs}}=-\boldsymbol{D}_{\mathrm{bs}}\dot{\boldsymbol{q}}$$ (10)

$(\boldsymbol{D}_{\mathrm{bs}}\succ 0)$ until reaching the stable (downward) equilibrium.

III-D2 State Start

Suppose we are at the stable equilibrium $\boldsymbol{q}_{\mathrm{eq}}$. The energy controller (9) can only inject energy when $\dot{\boldsymbol{q}}\neq\boldsymbol{0}$. We need some initial energy to start the swing-up and accelerate along the eigenvector $\boldsymbol{v}_{i}$ of the $i$-th mode of the linearized system (2):

$$\boldsymbol{\tau}_{\textsc{Start}}=\beta\boldsymbol{M}(\boldsymbol{q})\boldsymbol{v}_{i},$$ (11)

where we set $\beta=0.01$. This state is active for one timestep only, and we switch to SwingUp immediately after.

III-D3 State SwingUp

This is the main point of this paper. The control law $\boldsymbol{\tau}_{\mathrm{su}}$ (5) for this state was developed in the past sections. The goal is to bring the double pendulum to a periodic orbit having turning points $\boldsymbol{q}_{\curvearrowleft}$ arbitrarily close to the upright unstable equilibrium $\boldsymbol{q}_{\mathrm{des}}$. We set $E_{\mathrm{des}}=E_{\mathrm{max}}-\epsilon$ in (9), where $\epsilon$ is computed based on the actuator torque limits.

III-D4 State Hold

When reaching the energy level $E_{\mathrm{des}}$ and we are at a turning point $\boldsymbol{q}_{\curvearrowleft}$ we switch to a simple PD controller to stabilize the upright position $\boldsymbol{q}_{\mathrm{des}}$:

$$\boldsymbol{\tau}_{\textsc{Hold}}=-\boldsymbol{K}_{R}\left[\boldsymbol{q}-\boldsymbol{q}_{\mathrm{des}}\right]-\boldsymbol{D}_{R}\dot{\boldsymbol{q}}+\boldsymbol{g}(\boldsymbol{q})$$ (12)

where $\boldsymbol{K}_{R}$ is again a positive-definite gain matrix and

$$\boldsymbol{D}_{R}=\zeta_{R}\left(\boldsymbol{K}^{\sqrt{\cdot}}_{R}\boldsymbol{M}^{\sqrt{\cdot}}+\boldsymbol{M}^{\sqrt{\cdot}}\boldsymbol{K}^{\sqrt{\cdot}}_{R}\right)$$ (13)

is a dam** matrix designed to match a dam** ratio of $\zeta_{R}=1.0$. The matrices $\boldsymbol{K}^{\sqrt{\cdot}}_{R}$ and $\boldsymbol{M}^{\sqrt{\cdot}}(\boldsymbol{q})$ are the matrix square roots of $\boldsymbol{K}_{R}$ and $\boldsymbol{M}(\boldsymbol{q})$, respectively.

IV Results

(a) Experiment 1 (Mode 1): $\tau_{\mathrm{max}}=\qty{0.5}{\boldsymbol{N}}$ ($7.7\%\;\hat{\tau}_{g}$)

(b) Experiment 2 (Mode 2): $\tau_{\mathrm{max}}=\qty{0.2}{\boldsymbol{N}}$ ($3.0\%\;\hat{\tau}_{g}$)

Figure 8: Two swing-up experiments. (a): Swing-up via mode 1 for a motor torque limit of 0.5N ($7.7\%$ of $\hat{\tau}_{g}$) and critical angle at $q_{\mathrm{crit},1}=$$$; (b): Swing-up via mode 2 for a motor torque limit of 0.2N ($3.0\%$ of $\hat{\tau}_{g}$) and critical angle at $q_{\mathrm{crit},1}=$$$. The top three panes (x1)-(x3) show the joint angles, joint velocities and controller torques over time. In (a3) we additionally show the contribution of the eigenmanifold stabilization controller $\boldsymbol{\tau}_{m}$. Panes (x4) shows the modal phase $\varphi$ and energy over time and (x5) displays modal phase and energy in polar representation.

We evaluate the swing-up control of the weakly actuated double pendulum on a simulated double pendulum in MuJoCo [25]. The simulator uses a time step of $\Delta t=$1\text{\,}\mathrm{ms}$$. We experiment with the two different modes and different settings of the motor torque limit $\tau_{\mathrm{max}}$.

TABLE I: Parameters of the Double Pendulum

Parameter		Value
Link Lengths	$l_{1}$, $l_{2}$	$0.5\text{\,}\mathrm{m}$
Link Masses	$m_{1}$, $m_{2}$	$661.83\text{\,}\mathrm{g}$
Gravity Constant	$g$	$9.81\text{\,}\mathrm{m}\text{\,}{\mathrm{s}}^{-2}$
Inertia at COM	$I$	$0.0153\text{\,}\mathrm{kg}\text{\,}{\mathrm{m}}^{2}$

For the model parameters presented in Table I, the highest gravitational torque occurs when the pendulum is stretched out horizontally $\boldsymbol{q}_{\mathrm{horiz}}=(\nicefrac{{\pi}}{{2}},0)$.

$$\boldsymbol{g}(\pm\boldsymbol{q}_{\mathrm{horiz}})=\begin{bmatrix}\mp{}6.49\\ \mp{}1.62\end{bmatrix}$\mathrm{N}\text{\,}\mathrm{m}$$$ (14)

We refer to the maximum as $\hat{\tau}_{g}=$6.49\text{\,}\mathrm{N}\text{\,}\mathrm{m}$$. This will be our reference to compare actuator torques.

We always start the swing-up from the stable equilibrium $\boldsymbol{q}_{\mathrm{eq}}$ and consider the stabilization to the upright position successful when the pendulum reaches $||\dot{\boldsymbol{q}}||<\qty{e-3}{\per}$ and $||\boldsymbol{q}-\boldsymbol{q}_{\mathrm{des}}||<\qty{e-3}{}$ and call the respective time $t_{\mathrm{end}}$.

The controller starts in the Start state and switches to the SwingUp state after the first time step. Given the motor torque limit $\tau_{\mathrm{max}}$, we compute the energy level $E_{\mathrm{des}}$ that the swing-up controller must reach before the regulation controller (12) controller can take over. This is computed by finding the smallest energy level $E_{\mathrm{crit}}$ such that $||\boldsymbol{g}\left(G_{i\pm}(E_{\mathrm{crit}})\right)||_{\infty}\leq\tau_{\mathrm{max}}$ and $G_{i\pm}(E_{\mathrm{crit}})_{1}\geq$$$, i.e., at the turning point of the brake orbit for the desired energy level the motors must be strong enough to counteract gravity to move the pendulum to the upright position. We call the corresponding turning point $\boldsymbol{q}_{\mathrm{crit}}=G_{i\pm}(E_{\mathrm{crit}})$.

The first experiment is on the swing-up via mode 1. We set the motor torque limit to 0.5Nm, which corresponds to $7.7\%$ of the maximal gravitational torque $\hat{\tau}_{g}$. The critical angle for $q_{1}$ is at $175.58\mathrm{°}$, i.e. the turning point where the regulation controller to the upright position can take over is at $q_{1}=$$$. The controller switches to Hold at $t_{\mathrm{\textsc{Hold}}}=\qty{11.8}{}$ and the total swing-up time is $t_{\mathrm{end}}=\qty{15.1}{}$.

Panes (a1) and (a2) in Fig. 8a show how the joint angles and velocities evolve over time. Note the strong nonlinearity in the oscillations. On the bottom in (a4) and (a5) in Fig. 8a we additionally show the energy $E$ and modal phase $\varphi$. In contrast to harmonic oscillations, the phase does not evolve at a constant rate (frequency) over time. Pane (a3) shows the total applied motor torques in blue and orange; and the contribution to the total controller torque by eigenmanifold stabilization controller $\boldsymbol{\tau}_{\mathcal{M}}$ in light colors. Hence, the distance between the two lines is the torque due to the energy injection controller $\boldsymbol{\tau}_{E}$. We can observe that until we reach the critical energy level $E_{\mathrm{crit}}$, one of the motor torques always saturates if $\dot{\boldsymbol{q}}\neq\boldsymbol{0}$. This is because the energy injection controller aims at using all the remaining torque margin to inject energy still ensuring the control action by the eigenmanifold stabilizer is not altered.

For the next experiment, we reduce the motor torque limit to 0.2N ($3.0\%$ of $\hat{\tau}_{g}$) and $q_{\mathrm{crit}1}=$$$ and chose mode 2 for the swing-up. Fig. 8b shows the results. This time we obtain $t_{\mathrm{\textsc{Hold}}}=\qty{16.9}{}$ and $t_{\mathrm{end}}=\qty{18.9}{}$.

We repeat the experiments for various settings of $\tau_{\mathrm{max}}$ and show the results in Table II for both modes. For each motor torque limit $\tau_{\mathrm{max}}$ we compute the critical angle $q_{\mathrm{crit}1}$ and the percentage of $\tau_{\mathrm{max}}$ of the maximal gravitational torque $\hat{\tau}_{g}$. These values help to intuitively understand the magnitude of the motor torques. For example, for $\tau_{\mathrm{max}}=\qty{0.02}{\boldsymbol{N}}$ the motor torques are not strong enough to hold the pendulum when the first angle $q_{1}<$$$. We believe these values should emphasize how weak the motors are compared to the internal model forces.

As expected, the swing-up times $t_{\mathrm{end}}$ get longer as the motor torques get weaker. Swing-up via mode 2 is generally faster than via mode 1. The period times on mode 2 are shorter and joint velocities $\dot{\boldsymbol{q}}$ are overall higher. Hence, the energy injection can inject more power via the faster mode.

An ✗ in the swing-up time column indicates that the respective setting failed. We consider a swing-up failed when the double pendulum’s state is too far from the eigenmanifols; or when energy suddenly drops; or when energy stagnates before completion of the swing-up. This is the case for very weak actuators and when using mode 2 for swing-up. The characteristic multipliers (Sec. II-D) indicate that mode 2 develops an unstable eigenvalue already at quite a low energy, which makes it harder to stabilize. Due to the very weak actuation, the available forces are not sufficient to stabilize the mode.

Both modes have exhibit unstable multipliers at energy levels close to $E_{\mathrm{crit}}$. This explains why the eigenmanifold stabilizer has significant contributions to the total torque at high energies (Fig. 8a for $t>10s$ and Fig. 8b for $t>12.5s$).

TABLE II: Swing up times

Max. Torque	Perentage	Critical Angle	Mode 1	Mode 2
$\tau_{\mathrm{max}}$	$\nicefrac{{\tau_{\mathrm{max}}}}{{\hat{\tau}_{g}}}$	$q_{\mathrm{crit}1}$	$t_{\mathrm{end}}$	$t_{\mathrm{end}}$
0.5	7.7%	$175.58\mathrm{°}$	15.07	8.67
0.3N	4.6%	$177.35\mathrm{°}$	23.03	13.03
0.2N	3.0%	$178.23\mathrm{°}$	30.47	18.94
0.1N	1.5%	$179.11\mathrm{°}$	60.774	✗
0.05N	0.8%	$179.55\mathrm{°}$	124.05	✗
0.02N	0.3%	$179.82\mathrm{°}$	265.91	✗

V Conclusions

We have shown that we can swing up the double pendulum in gravity with weak actuators thanks to the exploitation of its nonlinear modes. Weak means that the motor torque limits are small compared to the internal model forces. Our contributions are the nonlinear modal analysis of the double pendulum model for high energy levels, the insight that they both approach a homoclinic orbit and the design of an energy-injection controller using the available torque margin to swing up the double pendulum.

Additionally, we have shown the approach for a specific double pendulum. The question if we always obtain modes approaching homoclinic orbits through the upright position for arbitrary mass distribution and lengths remains open. The symmetry of the potential and mass tensor is independent of the mass- and length distribution, so also the NNM generators will be symmetric. This fact and the topological constraints of the torus ensure that the generators will approach homoclinics, if they exist at that energy level. The latter is the open question.

For future work, it remains to validate and replicate the approach on a real system. This entails that we do not have access to the full state and the mathematical model assumptions will deviate from the real hardware. This is especially true for friction and other dissipative effects, which will limit the lowest admissible torque saturation level.