discrete-time switched linear systems; switching; PDT; generalised robust positive invariant; GRPI