Biped robots form a subclass of legged or walking robots. The study of mech
anical legged motion has been motivated by its potential use as a means of
locomotion in rough terrain, as well as its potential benefits to prothesis
development and testing. This paper concentrates on issues related to the
automatic control of biped robots. More precisely, its primary goal is to c
ontribute a means to prove asymptotically-stable walking in planar, under a
ctuated biped robot models. Since normal walking can be viewed as a periodi
c solution of the robot model, the method of Poincare sections is the natur
al means to study asymptotic stability of a walking cycle. However, due to
the complexity of the associated dynamic models, this approach has had Limi
ted success. The principal contribution of the present work is to show that
the control strategy can be designed in a way that greatly simplifies the
application of the method of Poincare to a class of biped models, and, in f
act, to reduce the stability assessment problem to the calculation of a con
tinuous map from a subinterval of IR to itself. The mapping in question is
directly computable from a simulation model. The stability analysis is base
d on a careful formulation of the robot model as a system with impulse effe
cts and the extension of the method of Poincare sections to this class of m
odels.