Reachable Set Estimation of a class of Human-in-the-Loop Control Systems | IEEE Conference Publication | IEEE Xplore