Switched systems with average dwell time: Computation of the robust positive invariant set. (November 2017)