2021/08/09 by Yiliang Li, Li, Yiliang, Haitao Li +6
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Formal Methods in Verification #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #cs.SY #eess.SY #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.2108.03889
openalex publication_date 2021/08/09 · arxiv created 2021/09/20 · arxiv updated 2021/09/21 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper, the reachability of dimension-bounded linear systems is investigated.Since state dimensions of dimension-bounded linear systems vary with time, the expression of state dimension at each time is provided.A method for judging the reachability of a given vector space is proposed. In addition, this paper proves that the t-step reachable subset is a linear space, and gives a computing method. The t-step reachability of a given state is verified via a rank condition. Furthermore, annihilator polynomials are discussed and used to illustrate the relationship between the invariant space and the reachable subset after the invariant time point t*. The inclusion relation between reachable subsets at times t*+i and t*+j is shown via an example.