IEEE Transactions on Automatic Control, 65(2) (2020), 741-748 https://doi.org/10.1109/TAC.2019.2919341