IEEE Transactions on Automatic Control 2009