IEEE transactions on automatic control : a publication of the IEEE Control Systems Society