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