Journal: IEEE Trans. Automat. Contr.