Bemporad, Alberto and Giovanardi, L. and Torrisi, Fabio Danilo Performance driven reachability analysis for optimal scheduling and control of hybrid systems. In: Decision and Control Conference. IEEE, pp. 969-974. (2000)