Switched systems are embedded devices widespread in industrial applications such as
power electronics and automotive control. They consist of continuous-time dynamical
subsystems and a rule that controls the switching between them. Under a suitable control
rule, the system can improve its steady-state performance and meet essential properties
such as safety and stability in desirable operating zones. We explain that such controller
synthesis problems are related to the construction of appropriate invariants of the state …