Multi-objective hybrid controller synthesis: least restrictive controls

We present a methodology for synthesizing hybrid controllers that meet multiple control objectives. Our methodology uses game theoretic techniques to classify all controls that can be used to meet the high priority objectives. Lower priority objectives are then optimized within this class.