Globally stable nonlinear control of HIV-1 systems | IEEE Conference Publication | IEEE Xplore