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