IEEE transactions on automatic control