The subject of this paper is hybrid control of nonlinear systems with large-scale uncertainty. We describe a high-level controller, called a "supervisor", which orchestrates logic-based switching among a family of candidate controllers. We show that in this framework, the problem of controller design at the lower level can be reduced to
João P. Hespanha, Daniel Liberzon, A. Steph