Differential inclusion