Abstract-This paper addresses the problem of exponentially stabilizing periodic orbits in a special class of hybrid modelssystems with impulse effects-through control Lyapunov functions. The periodic orbit is assumed to lie in a C 1 submanifold Z that is contained in the zero set of an output function and is invariant under both the continuous and discrete dynamics; the associated restriction dynamics are termed the hybrid zero dynamics. The orbit is furthermore assumed to be exponentially stable within the hybrid zero dynamics. Prior results on the stabilization of such periodic orbits with respect to the fullorder dynamics of the system with impulse effects have relied on input-output linearization of the dynamics transverse to the zero dynamics manifold. The principal result of this paper demonstrates that a variant of control Lyapunov functions that enforce rapid exponential convergence to the zero dynamics surface, Z, can be used to achieve exponential stability of the periodic orbit in the full-order dynamics, thereby significantly extending the class of stabilizing controllers. The main result is illustrated on a hybrid model of a bipedal walking robot through simulations and is utilized to experimentally achieve bipedal locomotion via control Lyapunov functions.

This paper presents a novel method for directly incorporating user-defined control input saturations into the calculation of a control Lyapunov function (CLF)-based walking controller for a biped robot. Previous work by the authors has demonstrated the effectiveness of CLF controllers for stabilizing periodic gaits for biped walkers [2], and the current work expands on those results by providing a more effective means for handling control saturations. The new approach, based on a convex optimization routine running at a 1 kHz control update rate, is useful not only for handling torque saturations but also for incorporating a whole family of user-defined constraints into the online computation of a CLF controller. The paper concludes with an experimental implementation of the main results on the bipedal robot MABEL.

Abstract-Hybrid zero dynamics extends the Byrnes-Isidori notion of zero dynamics to a class of hybrid models called systems with impulse effects. Specifically, given a smooth submanifold that is contained in the zero set of an output function and is invariant under both the continuous flow of the system with impulse effects as well as its reset map, the restriction dynamics is called the hybrid zero dynamics. Prior results on the stabilization of periodic orbits of the hybrid zero dynamics have relied on input-output linearization of the transverse variables. The principal result of this paper shows how control Lyapunov functions can be used to exponentially stabilize periodic orbits of the hybrid zero dynamics, thereby significantly extending the class of stabilizing controllers. An illustration of this result on a model of a bipedal walking robot is provided.

We specify and analyse models that capture the geometry of purposeful motion of a collective of mobile agents, with a focus on planar motion, dyadic strategies and attention graphs which are static, directed and cyclic. Strategies are formulated as constraints on joint shape space and are implemented through feedback laws for the actions of individual agents, here modelled as self-steering particles. By reduction to a labelled shape space (using a redundant parametrization to account for cycle closure constraints) and a further reduction through time rescaling, we characterize various special solutions (relative equilibria and pure shape equilibria) for cyclic pursuit with a constant bearing (CB) strategy. This is accomplished by first proving convergence of the (nonlinear) dynamics to an invariant manifold (the CB pursuit manifold), and then analysing the closedloop dynamics restricted to the invariant manifold. For illustration, we sketch some low-dimensional examples. This formulation-involving strategies, attention graphs and sensor-driven steering lawsand the resulting templates of collective motion, are part of a broader programme to interpret the mechanisms underlying biological collective motion.

No abstract