Time-optimal control for circadian entrainment for a model with circadian and sleep dynamics | IEEE Conference Publication | IEEE Xplore