The characterization of maximal invariant sets of non-linear discrete-time control dynamical systems

Abstract

The main topic of this paper is the controllability/reachability problems of the maximal invariant sets of non-linear discrete-time multiple-valued iterative dynamical systems. We prove that the controllability/reachability problems of the maximal full-invariant sets of classical control dynamical systems are equivalent to those of the maximal quasi-invariant sets of disturbed control dynamical systems, when modeled by the iterative dynamics of multiple-valued self-maps. Also, we prove that the afore-mentioned maximal full-invariant sets and maximal quasi-invariant sets are countably infinite step controllable under some appropriate conditions. We take an abstract set theoretical approach, so that our main theorems remain valid regardless of the topological structure of the space or the analytical structure of the dynamics.