On maximal positive invariant set computation for rank-deficient linear systems

Bogdan Gheorghe, Daniel Ioan, Cristian Flutur +2

The maximal positively invariant (MPI) set is obtained through a backward reachability procedure involving the iterative computation and intersection of predecessor sets under stat…