An algorithm to find maximal state constraint sets for discrete-time linear dynamical systems with bounded controls and states

An algorithm to find a polyhedral approximant to the maximal state constraint set, given state and input bounds, is suggested for linear discrete-time dynamical systems.