Guaranteed characterization of stability domains via set inversion | IEEE Journals & Magazine | IEEE Xplore