The Gyrover is a single-wheel gyroscopically stabilized mobile robot develo
ped at Carnegie Mellon University. An internal pendulum serves as a counter
weight for a drive motor that causes fore/aft motion, while a large gyrosc
ope on a tilt mechanism provides for lateral balance and steering actuation
. In this paper, we develop a detailed dynamic model for the Gyrover and us
e this model in an extended Kalman filter to estimate the complete state. A
linearized version of the model is used to develop a state feedback contro
ller. The design methodology is based on a semi-definite programming proced
ure which optimizes the stability region subject to a set of linear matrix
inequalities that capture stability and pole placement constraints. Finally
, the controller design combined with the extended Kalman filter are verifi
ed on the robot prototype.