Common formation mechanism of basin of attraction for bipedal walking models by saddle hyperbolicity and hybrid dynamics
Abstract
In this paper, we investigate the mathematical structures and mechanisms of bipedal walking from a dynamical viewpoint. Especially, we focus on the basin of attraction since it determines the stability of bipedal walking. We treat two similar but different bipedal walking models (passive and active dynamic walking models) and examine common mathematical structure between these models. We find that the saddle hyperbolicity and hybrid system play important roles for the shape of the basin of attraction in both models, which are quite common for more general bipedal models and important for understanding the stability mechanism of bipedal walking.
Keywords
Dynamical system Bipedal walking Basin of attraction Hyperbolicity Hybrid systemMathematics Subject Classification
37N25 Dynamical systems in biology 34K34 Hybrid systems1 Introduction
In this paper, we study bipedal walking using the mathematical models. Especially, we focus on the basin of attraction of stable walking. In a bipedal walking model, a limit cycle corresponds to stable walking and the size and shape of the basin of attraction of the limit cycle determine the robustness of walking for various noises and disturbances. The study for the stability of walking will contribute to designing a biped robot and walking support system, as well as to understanding human walking.
The study using a mathematical model often has a question as to whether the result of analysis using the model is essential for the phenomenon or model specific. One method to answer this question is to compare various models and to find a common mechanism, which may suggest an essential feature of the phenomenon beyond mathematical models. In this paper, we compare two models (passive and active dynamic walking models) and search for a common mechanism of formation of the basin of attraction of their stable walking.
The passive dynamic walking was proposed by McGeer [10], which walks down a shallow slope without any actuator or controller. To investigate the linear stability, the simplest walking model was introduced by Garcia et al. [6] and the basin of attraction was computed by Schwab and Wisse [16] (we use this model as a passive dynamic walking model). They showed that the basin of attraction is very small and thin, and it has a fractallike shape. However, why the basin of attraction has such a shape remains as an open question. In [13], we introduced some new ideas about a mechanism of forming the shape of basin of attraction and showed that the saddle hyperbolicity of the upright equilibrium point plays an important role to form the basin of attraction.
In this paper, in addition to the passive dynamic walking model, we take an active dynamic walking model. Different from the passive dynamic walking model, it walks on even ground using an actuator controlled by a phase oscillator, which is inspired by central pattern generator [2, 17]. This paper shows that the basic formation mechanism of basin of attraction of the passive dynamic walking model in [13] is common to that of the active dynamic walking model, despite such differences in their models.
When we observe human walking more closely, we find that the stance leg is almost straight, and it rotates around the foot contact point like an inverted pendulum. Therefore, the center of mass is at its highest position during the midstance phase and at its lowest position during the double support phase. In contrast, the locomotion speed is lowest during the midstance phase and highest during the double support phase. This means that humans produce efficient walking through the pendular exchange of potential and kinetic energy while conserving mechanical energy [3, 4, 5]. This is called the inverted pendulum mechanism [9, 14], and inverted pendulums have been widely used as the simplest model for the movement of the center of mass, when investigating the underlying mechanism in human walking [1, 7, 8, 11, 12].
In the present study, we aim to clarify the mechanism that determines the geometric characteristics of the basin of attraction for our bipedal walking models by considering the theory of dynamical systems and focusing on the saddle point or the saddle periodic orbit that is inherent in the governing dynamics related to the inverted pendulum. We show that the basin of attraction is quite thin, and that its reason is common between these two models. In [13], we showed that the saddle property (hyperbolicity) of the upright equilibrium point and the \(\lambda \)lemma, one of the most basic properties of the hyperbolicity of dynamical systems, are important for the thin basin of attraction in the passive dynamic walking model.
In this paper, we show that the saddlecenter periodic orbit of the active dynamic walking model plays a similar role. Indeed, we show that the basic formation mechanism of the basin of attraction is common between the two models, although the detailed structure is rather different. We have already shown that Poincaré sections and centerstable/centerunstable manifolds play important roles for such a shape to be formed by the passive dynamic walking model [13]. In this paper, a similar formation mechanism is also found in the active dynamic walking model.
Because the saddle property is embedded in general locomotor systems (that are not limited to our models), our results may contribute not only to elucidating the stability mechanism in our bipedal walking models, but also to improving the understanding of the stability mechanism in human walking and thus to producing design principles for the control of biped robots and walkingsupport systems.
2 Model
In this model, the typical walking behavior is as follows. A new step starts when both feet are on the slope, just after the swing leg makes contact with the slope. The front leg is the stance leg, and the other leg is the swing leg. The stance foot is fixed on the slope, and the stance leg rotates freely without friction. The stance and swing legs move as a double pendulum. The swing leg swings forward, and the swing foot contacts the slope. In this model, the collision is assumed to be fully inelastic (no slip, nobound). The swing leg immediately becomes the new stance leg, and vice versa (double support duration is infinitesimal).
The passive dynamic walking model describes walking down the slope (\(\gamma > 0\)) without any torque (\(u=0\)) by balancing the energy dissipation due to foot contact with the energy generation due to the gravitational potential energy. In contrast, the active dynamic walking model walks on even ground (\(\gamma =0\)) controlled by the input torque (\(u \not =0\)).
We note that since the legs are rigid links, the swing leg collides with the slope when the stance leg is nearly vertical. We can avoid this foot scuffing by adding complications to the model, such as passive knees. However, for simplicity, we ignore the foot scuffing and allow the leg to pass through the slope in our models.
2.1 Equations of motion for the single support phase
In the passive dynamic walking model, the phase space is four dimensional with variables \((\theta _1, \theta _2, \dot{\theta }_1, \dot{\theta }_2)\). On the other hand, in the active dynamic walking model the phase space is five dimensional with \((\theta _1, \theta _2, \dot{\theta }_1, \dot{\theta }_2, \phi )\).
2.2 Foot contact
2.3 Structure of phase space by hybrid dynamics
The models are hybrid systems composed of the continuous dynamics during the single support phase and the discontinuous dynamics at foot contact. The hybrid dynamics determines the structure of the phase space, as shown in Fig. 2a. H is the section of foot contact defined by the conditions (2)–(4). T is the jump in the phase space from the state just before foot contact to the state just after foot contact, defined by the relationship (6). Therefore, the image of T, T(H), is the region representing all states just after foot contact and a new step starts from T(H). U is the map from the start of a step to the foot contact. In other words, U is the map from T(H) to H, defined by the equations of motion (1). The Poincaré map S is defined by \(S = T \circ U:T(H) \rightarrow T(H)\) on the Poincaré section T(H). This Poincaré map represents one gait cycle, and an attractor of the Poincaré map represents stable walking.
To investigate the basin of attraction, the domain of T is important. The map S is not defined for all T(H), since the model may fall down from some initial conditions. We define the domain, D, by the collection of initial conditions on which the model takes at least one step. In other words, if \(x \not \in D\), the orbit from x does not reach the section H, and the model falls down. D is in T(H) and bounded, as shown in Fig. 2b. H has two boundaries (orange lines) defined by \(\theta _1=0\) and \(2\dot{\theta }_1  \dot{\theta }_2=0\) from the conditions (3) and (4), and the backward flows of these boundaries by the equations of motion (1) determine the boundaries of D (red lines).
We also consider the sequence of inverse images of D, \(S^{n}(D)\ (n=1,2,\ldots )\). The region \(S^{n}(D)\) indicates the collections of initial conditions on which the model takes at least \(n+1\) steps. The sequence approximates the basin of attraction, and we investigate the mechanism by which the shape of the basin of attraction is formed from the geometric structure of these inverse images.
In the following sections, we numerically compute \(D, S^{1}(D), S^{2}(D), \ldots \). Numerical computation of the region D is rather straightforward. We take many initial points in T(H), numerically integrate the equations of motion from these initial points and check whether the orbit can take one step or falls down. We use fall down threshold at \(\theta _1 = \pm \pi /2\). T(H) is two dimensional and parameterized by two variable \(\theta _1, \dot{\theta }_1\) in the passive dynamic dynamic walking model, and T(H) is three dimensional and parameterized by three variable \(\theta _1, \dot{\theta }_1, \phi \) in the active dynamic dynamic walking model. Therefore we use these variables to compute and show the numerical results. We can compute \(S^{1}(D), S^{2}(D), \ldots \) in a similar way. Because \(S^{n}(D)\) for sufficiently large n is considered to be a sharp approximation of the basin of attraction, we compute \(S^{n}(D)\) for \(n=50\) and \(n=200\) and take them as the basin of attraction if the two numerical results are same^{1}.
In this paper, we choose the following parameters to analyze the models. In the passive dynamic walking model, we use \(A_0 = 0, \beta = 0, \gamma = 0.011\), where we consider a limit case in which the foot mass is much smaller than the hip mass as in [6]. With this parameter, the corresponding Poincaré map has a unique attracting fixed point at \((\theta _1, \dot{\theta }_1) \approx (0.214, 0.212)\) on the Poincaré section. In the active dynamic walking model, we use \(A_0 = 0.29135, \beta = 0.15, \gamma = 0, \omega _0 = 1.1191\). We use these parameters so that the corresponding Poincaré map has a unique attracting fixed point at \((\theta _1, \dot{\theta }_1, \phi ) \approx (0.144, 0.179, 0.0535)\) on the Poincaré section. More complicated cases for the passive dynamic walking model (for example, the Poincaré map has a chaotic attractor) were analyzed in the paper [13].
2.4 Centerstable and centerunstable manifolds
The equations of motion (1) for the passive dynamic walking model have an equilibrium point \((\theta _1, \dot{\theta }_1, \theta _2, \dot{\theta }_2) = (\gamma , 0, 0, 0)\), where the legs remain upright. The equilibrium point is deeply related to the geometric structure of the basin of attraction, as explained in Sect. 3. The eigenvalues of the linearized equations of motion at the equilibrium point are \(\pm 1\) and \(\pm i\), and the equilibrium point is a saddlecenter with one stable direction, one unstable direction, and two neutral directions.
The equations of motion (1) for the active dynamic walking model (at the selected parameters) have a \(2\pi /\omega _0\)periodic orbit^{2}. We can find this periodic orbit by the Newton method. The time\(2\pi {/}\omega _0\) map of the equations of motion from \(\phi = 0\) to \(2\pi \) can be considered as a map from \({\mathbb {R}}^4\) to itself, which has a saddlecenter fixed point at \((\theta _1, \dot{\theta }_1, \theta _2, \dot{\theta }_2) \sim (0.041, 0.000, 0.891 , 0.000)\). The eigenvalues of the linearized matrix of the map are approximately \(316.8, 0.003157, 0.4021 \pm 0.9156i\): one is greater than 1, another is positive and less than 1, and the other two are complex conjugate and on the unit circle, which shows that the periodic orbit is of the saddlecenter type.
3 Basin of attraction in passive dynamic walking model
In this section, we briefly summarize results on the passive dynamic walking model given in [13] for comparison with the active dynamic walking model.
3.1 Geometric characteristics

D is a long, thin region in \((\theta _1, \dot{\theta }_1)\)space;

Two boundary curves of D are almost parallel, and one of them is very close to \(W^{cs}\).

B is located inside D and is thinner than D;

B is Vshaped;

There are fractallike slits in B and a stripe pattern in the cusp of the Vshaped region.

\(S^{1}(D)\) is contained in D and is Vshaped;

\(S^{2}(D)\) is located inside \(S^{1}(D)\), is Vshaped, and has a slit.
3.2 The formation mechanism of thin domain

A region intersecting the unstable manifold of a saddle equilibrium point moves toward the stable manifold of the saddle under the backward flow (timereversal of the flow);

When the region comes close to the stable manifold under the backward flow, the region becomes thinner due to the hyperbolicity of the dynamics near the saddle.
3.3 The formation mechanism of Vshaped region and slits
Since the sequence of the inverse images \(S^{n}(D)\ (n=1,2,\ldots )\) converges to the basin of attraction, it is important to clarify how the geometric structure of the inverse images is formed, and hence the shape of the basin of attraction. In particular, we show why the inverse images are Vshaped and why they have slits and stripe patterns.
First, \(S^{1}(D)\) is Vshaped in the thin region D, as shown in Fig. 5. The formation of this shape is explained as follows (Fig. 7a, b). D is a thin region along the center stable manifold, as described in Sect. 3.2. Since \(S=T\circ U\), we have \(S^{1}(D) = U^{1}(T^{1}(D))\), where \(T^{1}(D)\) is contained in H (green region in Fig. 7a). Since D is a thin strip, \(T^{1}(D)\) is also a thin strip. Since \(U^{1}\) is given by the backward flow of the equations of motion, \(T^{1}(D)\) is strongly expanded along the direction of the stable manifold and strongly contracted along the direction of the unstable manifold by \(U^{1}\), as shown in Fig. 6. In addition, the flow of \(\theta _1(t)\) becomes slow near the equilibrium point due to the saddle hyperbolicity and this causes nonuniform expansion by \(U^{1}\) near \(W^{cu}\). Therefore, \(S^{1}(D)\) becomes Vshaped, as shown in Fig. 7b.
We can also explain why the inverse image \(S^{2}(D)\) has a slit in the same way (Fig. 7c, d). We can also give a similar explanation for the stripe pattern, which is formed by the repeated expansion of nested regions.
4 Basin of attraction in active dynamic walking model
In this section, we investigate the basin of attraction for the active dynamic walking model in comparison with the passive dynamic walking model. We will see the same mechanisms as in Sect. 3 for this model.
4.1 Geometric characteristics
4.2 The formation mechanism of the basin of attraction
The thin domain in the active dynamic walking model is caused by the same reason as the passive dynamic walking model. The region H deforms to the thin region by the timebackward flow of the equations of motion because of the contraction and expansion properties of the saddlecenter periodic orbit, as shown in Fig. 6.
4.3 Transition between “two horns without head” and “two horns with head”
The change of the shape of \(S^{1}(D)\) comes from the transition from Fig. 10a to Fig. 11a. Between Fig. 13b and c, the boundary of \(S^{1}(D)\) becomes tangent to the center unstable manifold, and the shape changes drastically. \(S^{2}(D), S^{3}(D),\ldots \) also change similarly as the slicing position changes, and finally the shape of the basin of attraction changes drastically as in Fig. 12a, b.
We created a movie ^{3} about the structural changes of D, \(S^{n}(D)\) for \(n=1,\ldots ,5\) and the basin of attraction. You can see the details of the change of the shapes of these regions from the movie.
5 Conclusion and future works
In the present study, we clarified the formation mechanism of the basin of attraction for two bipedal walking models by focusing on the intrinsic hyperbolicity in the governing dynamics and based on the viewpoint of the theory of dynamical systems. We showed that the formation mechanism of the basin of attraction for the passive dynamic walking model in [13] is not specific to that model, but is applicable also to the active dynamic walking model studied in this paper.
The thin basin of attraction of the passive dynamic walking model is closely related to the onedimensional instability of the upright equilibrium. The thin basin of attraction of the active dynamic walking model is also closely related to the onedimensional instability of the periodic orbit. In these models, there is a codimension one centerstable manifold. For the both models, the onedimensional instability comes from the saddle hyperbolicity of an inverted pendulum. Although the present study focuses on these two models, our analysis strongly suggests that the results are not specific to them, but are widely applicable to more general bipedal walking models due to the intrinsic saddle hyperbolicity of bipedal walking.
The detailed structures of the basin of attraction are, however, rather different between the passive and active dynamic walking models. We showed that the difference came from the relative position of the centerunstable manifold and \(T^{1}(S^{n}(D))\ (n=0,1,\ldots )\). The formation mechanism of basin of attraction by the relative position of the centerunstable manifold and inverse images can explain various types of shapes of basin of attraction. Furthermore, we can use the mechanism to deform the basin of attraction by regulating the relative position of those objects under additional controllers and support systems. Therefore, the present study will hopefully contribute to improving the understanding of the stability mechanism in human walking and to producing design principles for the control of biped robots and walking support systems. This will be a subject of our future work.
Footnotes
 1.
This method does not work in some cases, for example, if the Poincaré map is bistable. But in this paper any orbits whose initial points are in the numerically computed basin of attraction converge to a unique attracting fixed point by the iterations of the Poincaré map. The fact is numerically checked.
 2.
The movie of this periodic orbit is shown at: https://www.math.kyotou.ac.jp/%7eobayashi/bipedalwalking/periodic.gif.
 3.
Supplementary material
Supplementary material 1 (mpeg 8004 KB)
References
 1.Alexander, R.: Mechanics of bipedal locomotion. In: SpencerDavies, P. (ed.) Perspectives in Experimental Biology, vol. 1, pp. 493–504. Pergamon Press, Oxford (1980)Google Scholar
 2.Aoi, S., Ogihara, N., Funato, T., Sugimoto, Y., Tsuchiya, K.: Evaluating functional roles of phase resetting in generation of adaptive human bipedal walking with a physiologically based model of the spinal pattern generator. Biol. Cybern. 102(5), 373–387 (2010). doi: 10.1007/s004220100373y CrossRefGoogle Scholar
 3.Cavagna, G.A., Heglund, N.C., Taylor, C.R.: Mechanical work in terrestrial locomotion: two basic mechanisms for minimizing energy expenditure. Am. J. Physiol. Regul. Integr. Comp. Physiol. 233(5), R243–R261 (1977)Google Scholar
 4.Cavagna, G.A., Margaria, R.: Mechanics of walking. J. Appl. Physiol. 21(1), 271–278 (1966)Google Scholar
 5.Cavagna, G.A., Saibene, F.P., Margaria, R.: External work in walking. J. Appl. Physiol. 18(1), 1–9 (1963)Google Scholar
 6.Garcia, M., Chatterjee, A., Ruina, A., Coleman, M.: The simplest walking model: stability, complexity, and scaling. ASME J. Biomech. Eng. 120(2), 281–288 (1998). doi: 10.1115/1.2798313 CrossRefGoogle Scholar
 7.Kuo, A.D.: Energetics of actively powered locomotion using the simplest walking model. ASME J. Biomech. Eng. 124(1), 113–120 (2001). doi: 10.1115/1.1427703 CrossRefGoogle Scholar
 8.Kuo, A.D.: A simple model of bipedal walking predicts the preferred speedstep length relationship. ASME J Biomech. Eng. 123(3), 264–269 (2001). doi: 10.1115/1.1372322 CrossRefGoogle Scholar
 9.Kuo, A.D.: The six determinants of gait and the inverted pendulum analogy: a dynamic walking perspective. Hum. Mov. Sci. 26(4), 617–656 (2007)CrossRefGoogle Scholar
 10.McGeer, T.: Passive dynamic walking. Int. J. Robotics Res. 9(2), 62–82 (1990). doi: 10.1177/027836499000900206 CrossRefGoogle Scholar
 11.Mochon, S., McMahon, T.A.: Ballistic walking. J. Biomech. 13(1), 49–57 (1980)CrossRefGoogle Scholar
 12.Mochon, S., McMahon, T.A.: Ballistic walking: an improved model. Math. Biosci. 52(3–4), 241–260 (1980)MathSciNetCrossRefzbMATHGoogle Scholar
 13.Obayashi, I., Aoi, S., Tsuchiya, K., Kokubu, H.: Construction mechanism of a basin of attraction for passive dynamic walking induced by intrinsic hyperbolicity. Preprint (2014). arXiv:1407.5720
 14.Ogihara, N., Aoi, S., Sugimoto, Y., Tsuchiya, K., Nakatsukasa, M.: Forward dynamic simulation of bipedal walking in the Japanese macaque: investigation of causal relationships among limb kinematics, speed, and energetics of bipedal locomotion in a nonhuman primate. Am. J. Phys. Anthropol. 145(4), 568–580 (2011). doi: 10.1002/ajpa.21537 CrossRefGoogle Scholar
 15.Robinson, C.: Dynamical systems: stability, symbolic dynamics, and chaos. In: Studies in Advanced Mathematics. CRC Press, Boca Raton (2008)Google Scholar
 16.Schwab, A.L., Wisse, M.: Basin of attraction of the simplest walking model. In: ASME Design Engineering Technical Conferences (2001)Google Scholar
 17.Taga, G., Yamaguchi, Y., Shimizu, H.: Selforganized control of bipedal locomotion by neural oscillators in unpredictable environment. Biol. Cybern. 65(3), 147–159 (1991). doi: 10.1007/BF00198086 CrossRefzbMATHGoogle Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.