Tom Himel presented the progress with developments of a feedback algorithm for the inertial stabilization project and the recent results of stabilization. Among the latest achievements are the implementation of LQG (linear, quadratic, Gaussian) algorithm based on Kalman filter, good orthogonalization of the modes, etc. See Tom's slides for more details. Among the next things to do are: a) better characterization of the noise of the HS-1 geophones; b) understanding why simulations show little dependence of the performance on the sensor noise; c) understanding the differences of behavior of the simulated and real systems.