Reachability and stabilization of discrete-time affine systems with disturbances

This paper studies the fundamental problems: whether an affine system affected by additive disturbances is robustly transferable from a source set (simplex) to a target set (polytope) and whether it is robustly stabilizable with its state constrained in a simplex. First, a necessary and sufficient condition is derived for the existence of affine feedback control that solves the robust reachability problem. Further investigation is provided for two situations relying on whether the union of the source set and the target set is convex or non-convex. For the former one, a necessary and sufficient condition is obtained in the form of linear inequalities, while for the latter, several computationally feasible sufficient conditions are found. Second, we show that robust stabilization subject to a state constraint is equivalent to find a feasible solution to a linear equation. Once it is known that either of the problems has a solution by checking the derived conditions, design of control laws is then straightforward.