I. Introduction
Most real-world systems and processes are too complex to be represented using smooth linear or nonlinear dynamics, and are often modeled as switched dynamical systems made up of many subsystems or modes [1]. A switching law then acts as a control variable to determine the active subsystem from a given a set of modes. The resulting mode sequence, combined with the mode durations, is referred to as a mode schedule [2]. Switched systems arise in many application areas, such as humanoid and mobile robotics, cyber-physical systems, power converters, air traffic management, chemical processes, autopilots etc., see e.g., [3] and [4], and as such, their optimal control has recently been an active area of research.