Terrestrial locomotion is a complex phenomenon that is often linked to the survival of an individual and of an animal species. Mathematical models seek to express in quantitative terms how animals move, but this is challenging because the ways in which the nervous and musculoskeletal systems interact to produce body movement is not completely understood. Models with many variables tend to lack biological interpretability and describe the motion of an animal with too many independent degrees of freedom. Instead, reductionist models aim to describe the essential features of a gait with the smallest number of variables, often concentrating on the center of mass dynamics. In particular, spring–mass models have been successful in extracting and describing important characteristics of running. In this paper, we consider the spring loaded inverted pendulum model under the regime of constant angular velocity, small compression, and small angle swept during stance. We provide conditions for the asymptotic stability of periodic trajectories for the full range of parameters. The hypothesis of linear angular dynamics during stance is successfully tested on publicly available human data of individuals running on a treadmill at different velocities. Our analysis highlights a novel bifurcation phenomenon for varying Froude number: there are periodic trajectories of the spring loaded inverted pendulum model that are stable only in a restricted range of Froude numbers, while they become unstable for smaller or larger Froude numbers.
more »
« less
This content will become publicly available on October 1, 2026
Sharp conditions for the existence and multiplicity of smooth periodic solutions to a hybrid dynamical system for human running
In this paper, we provide necessary and sufficient conditions for the existence and multiplicity of periodic smooth solutions to a hybrid system of differential equations that describes animal running at constant angular velocity during stance. We show that solutions to this system exist if and only if the angular velocity during stance is lower than the angular velocity of the corresponding linear harmonic oscillator and satisfies a non-resonance condition. The proof of our main theorem relies on a combination of tools from oscillation theory for ODEs, intersection theory for real plane conics and the analysis of Poincaré maps. Furthermore, we demonstrate the validity of our result with numerical simulations for combinations of parameters corresponding to periodic, resonant, and unbounded solutions. Finally, we show that our model fits accurately publicly available data on human running on different conditions, including comfortable and fast running on a treadmill and overground.
more »
« less
- Award ID(s):
- 2152789
- PAR ID:
- 10646279
- Publisher / Repository:
- 2025 The Authors. Published by the Royal Society under the terms of the Creative Commons Attribution License http://creativecommons.org/licenses/ by/4.0/, which permits unrestricted use, provided the original author and source are credited
- Date Published:
- Journal Name:
- Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
- Volume:
- 481
- Issue:
- 2324
- ISSN:
- 1364-5021
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract This article studies the dynamical behaviour of classical solutions of a hyperbolic system of balance laws, derived from a chemotaxis model with logarithmic sensitivity, with time-dependent boundary conditions. It is shown that under suitable assumptions on the boundary data, solutions starting in the$$H^2$$-space exist globally in time and the differences between the solutions and their corresponding boundary data converge to zero as time goes to infinity. There is no smallness restriction on the magnitude of the initial perturbations. Moreover, numerical simulations show that the assumptions on the boundary data are necessary for the above-mentioned results to hold true. In addition, numerical results indicate that the solutions converge asymptotically to time-periodic states if the boundary data are time-periodic.more » « less
-
This paper presents a method to design a nonholonomic virtual constraint (NHVC) controller that produces multiple distinct stance-phase trajectories for corresponding walking speeds. NHVCs encode velocity-dependent joint trajectories via momenta conjugate to the unactuated degree(s)-of-freedom of the system. We recently introduced a method for designing NHVCs that allow for stable bipedal robotic walking across variable terrain slopes. This work extends the notion of NHVCs for application to variable-cadence powered prostheses. Using the segmental conjugate momentum for the prosthesis, an optimization problem is used to design a single stance-phase NHVC for three distinct walking speed trajectories (slow, normal, and fast). This stance-phase controller is implemented with a holonomic swing phase controller on a powered knee-ankle prosthesis, and experiments are conducted with an able-bodied user walking in steady and non-steady velocity conditions. The control scheme is capable of representing 1) multiple, task-dependent reference trajectories, and 2) walking gait variance due to both temporal and kinematic changes in user motion.more » « less
-
ABSTRACT The isometric force–length (F–L) and isotonic force–velocity (F–V) relationships characterize the contractile properties of skeletal muscle under controlled conditions, yet it remains unclear how these properties relate to in vivo muscle function. Here, we map the in situ F–L and F–V characteristics of guinea fowl (Numida meleagris) lateral gastrocnemius (LG) to the in vivo operating range during walking and running. We test the hypothesis that muscle fascicles operate on the F–L plateau, near the optimal length for force (L0) and near velocities that maximize power output (Vopt) during walking and running. We found that in vivo LG velocities are consistent with optimizing power during work production, and economy of force at higher loads. However, LG does not operate near L0 at higher loads. LG length was near L0 at the time of electromyography (EMG) onset but shortened rapidly such that force development during stance occurred on the ascending limb of the F–L curve, around 0.8L0. Shortening across L0 in late swing might optimize potential for rapid force development near the swing–stance transition, providing resistance to unexpected perturbations that require rapid force development. We also found evidence of in vivo passive force rise in late swing, without EMG activity, at lengths where in situ passive force is zero, suggesting that dynamic viscoelastic effects contribute to in vivo force development. Comparison of in vivo operating ranges with F–L and F–V properties suggests the need for new approaches to characterize muscle properties in controlled conditions that more closely resemble in vivo dynamics.more » « less
-
Abstract Navigating complex terrains requires dynamic interactions between the substrate, musculoskeletal, and sensorimotor systems. Current perturbation studies have mostly used visible terrain height perturbations, which do not allow us to distinguish among the neuromechanical contributions of feedforward control, feedback-mediated, and mechanical perturbation responses. Here, we use treadmill-belt speed perturbations to induce a targeted perturbation to foot speed only, and without terrain-induced changes in joint posture and leg loading at stance onset. Based on previous studies suggesting a proximo-distal gradient in neuromechanical control, we hypothesized that distal joints would exhibit larger changes in joint kinematics, compared to proximal joints. Additionally, we expected birds to use feedforward strategies to increase the intrinsic stability of gait. To test these hypotheses, seven adult guinea fowl were video recorded while walking on a motorized treadmill, during both steady and perturbed trials. Perturbations consisted of repeated exposures to a deceleration and acceleration of the treadmill-belt speed. Surprisingly, we found that joint angular trajectories and center of mass fluctuations remain very similar, despite substantial perturbation of foot velocity by the treadmill belt. Hip joint angular trajectories exhibit the largest changes, with the birds adopting a slightly more flexed position across all perturbed strides. Additionally, we observed increased stride duration across all strides, consistent with feedforward changes in the control strategy. The speed perturbations mainly influenced the timing of stance and swing, with the largest kinematic changes in the strides directly following a deceleration. Our findings do not support the general hypothesis of a proximo-distal gradient in joint control, as distal joint kinematics remain largely unchanged. Instead, we find that leg angular trajectory and the timing of stance and swing are most sensitive to this specific perturbation, and leg length actuation remains largely unchanged. Our results are consistent with modular task-level control of leg length and leg angle actuation, with different neuromechanical control and perturbation sensitivity in each actuation mode. Distal joints appear to be sensitive to changes in vertical loading but not foot fore-aft velocity. Future directions should include in vivo studies of muscle activation and force–length dynamics to provide more direct evidence of the sensorimotor control strategies for stability in response to belt-speed perturbations.more » « less
An official website of the United States government
