IEEE Transactions on automatic control