Paper accepted at IEEE Transactions on Automatic Control!