IEEE Transactions on Automatic Control | IEEE Xplore