I. Introduction
Switched systems are used for modelling in many different fields [1]. Examples for their use range from the biological sciences [2], for example, the dynamics of human body thermoregulation during sleep abruptly changes when sleep transitions from non-rapid eye movement (REM) sleep to REM sleep [3], to mechanical engineering, where one example is the dynamics of an engine with shifting gears [4]. Switched systems can describe systems, whose dynamics are affected by instantaneous changes, by considering a set of continuous-time sub-systems and a rule governing the switching between them. Analysing switched systems is also important in the field of hybrid systems [1].