Algorithm 2From: The calculation of discriminating kernel based on viability kernel and reachabilityUnderapproximation of the discriminating kernelBack to article page