IEEE Transactions on Automatic Control Journal