Optimal control theory applied to the anti-viral treatment of AIDS | IEEE Conference Publication | IEEE Xplore