Time-optimal control for circadian entrainment for a model with circadian and sleep dynamics.