
doi: 10.1007/pl00009881
In this paper we consider the problem of controllability for a discrete linear control system xk+1 = Axk + Buk, uk ∈ U, where (A, B) is controllable and U is a finite set. We prove the existence of a finite set U ensuring density for the reachable set from the origin under the necessary assumptions that the pair (A, B) is controllable and A has eigenvalues with modulus greater than or equal to 1. In the case of A only invertible we obtain density on compact sets. We also provide uniformity results with respect to the matrix A and the initial condition. In the one-dimensional case the matrix A reduces to a scalar λ and for λ andgt; 1 the reachable set R(0, U) from the origin is R(0, U)(λ) = {∑j=0n ujλj uj ∈ U, n ∈ N} When 0 andlt; λ andlt; 1 and U = {0, 1, 3}, the closure of this set is the subject of investigation of the well-known {0, 1, 3}-problem. It turns out that the nondensity of R(0, Ũ(λ))(λ) for the finite set of integers Ũ(λ) = {0, ±1, ..., ±[λ]} is related to special classes of algebraic integers. In particular if λ is a Pisot number, then the set is nowhere dense in R for any finite control set U of rationals.
Controllability, constrained controls, linear systems, eigenvalues, Reachability, [MATH] Mathematics [math], discrete-time control systems, Pisot numbers, controllability, Finite control set, Discrete-time control/observation systems, Discrete systems, Attainable sets, reachability, Linear systems in control theory, Eigenvalue problems, reachability
Controllability, constrained controls, linear systems, eigenvalues, Reachability, [MATH] Mathematics [math], discrete-time control systems, Pisot numbers, controllability, Finite control set, Discrete-time control/observation systems, Discrete systems, Attainable sets, reachability, Linear systems in control theory, Eigenvalue problems, reachability
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 30 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
