Feasible-reachability of 1D and 2D state-space systems*

Abstract

In this paper we define the property of feasible reachability both for 1D state-space systems evolving over Z and for 2D state-space systems evolving over Z2 described by Fornasini-Marchesini models. Feasible reachability consists in the reachability of the feasible subspaces associated with those systems. After characterizing these properties in terms of the system matrices, we compare them with behavioral controllability.