Performance driven reachability analysis for optimal scheduling and control of hybrid systems