Full-Complexity Characterization of Control-Invariant Domains for Systems With Uncertain Parameter Dependence | IEEE Journals & Magazine | IEEE Xplore