Algorithm 3From: The computation of the viability kernel for switched systemsThe viability kernel of continuous-time switched systemsBack to article page