Approximate computation of the invariance kernel of differential inclusions

A backward method is proposed for approximately computing the invariance kernel of differential inclusions. The method is based on discretization of a time interval and a state space. The invariance kernel for the differential inclusion corresponding to a nonlinear controlled system is determined.