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