Reachability of Dimension-Bounded Linear Systems
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.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton-Jacobi Reachability
Hamilton-Jacobi reachability (HJR) provides a value function that encodes the set of states from which a system with bounded control inputs can reach or avoid a target despite any bounded disturbance, and the correspondi…
Koopman-Hopf Hamilton-Jacobi Reachability and Control
The Hopf formula for Hamilton-Jacobi reachability (HJR) analysis has been proposed to solve high-dimensional differential games, producing the set of initial states and corresponding controller required to reach (or avoi…
Time-to-reach Bounds for Verification of Dynamical Systems Using the Koopman Spectrum
In this work, we present a novel Koopman spectrum-based reachability verification method for nonlinear systems. Contrary to conventional methods that focus on characterizing all potential states of a dynamical system ove…
Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees
We present a data-driven framework for reachability analysis of nonlinear dynamical systems that requires no explicit model. A denoising diffusion probabilistic model learns the time-evolving state distribution of a dyna…
Forward completeness does not imply bounded reachability sets and global asymptotic stability is not necessarily uniform for time-delay systems
An example of a time-invariant time-delay system that is uniformly globally attractive and exponentially stable, hence forward complete, but whose reachability sets from bounded initial conditions are not bounded over co…