IEEE transactions on automatic control publication of the IEEE control systems society