Stav dette: V. 46, № 10; IEEE Transactions on Automatic Control