IEEE transactions on automatic control.