Nonlinear Controller Synthesis for HIV Dynamics Based on SOS. - Yi Ding 002; Yong Zhang; Wei Liu 171; Jinrong Li; Zhongliang Meng (IEEE Access, 2024)