Considere \begin {equation*} \dot {x} = Ax + Bu, \quad x \in\mathbb {R}^n,\Ny u \in\mathbb {R}^m, \quad A \in\mathbb {R}^{n \times n},\NB \in \mathbb {R}^{n \times m} \end {equation*} \begin {equation*} \text {Rango}( \mathcal {C} = [B \ AB \ A^2B \ A^2B \cdots \ A^{n-1}B]) = n \iff \text { (A,B) es observable } \end {equation*} Me encontré con el siguiente reclamo: \begin {equation} Rango( \mathcal {C}) = \text {Todos los estados alcanzables} \end {Ecuación} Pero,
-
Rango( C ) = ∑n−1i=0AiB⋅vi, ∀vi∈Rm
-
Estados alcanzables = { x∈Rn | x=∫t10eA(t1−τ)Bu(τ)dτ ∀u(τ)∈piecewise continuous }, como eAt=∑n−1i=0Aici(t) \begin {Ecuación} x(t_1) = \sum_ {i=0}^{n-1}A^iB \int_0 ^{t_1} c_i(t_1- \tau )u( \tau )d \tau = \sum_ {i=0}^{n-1}A^iB \alpha_i (t_1) \end {Ecuación}
En (1) los vectores se multiplican por AiB son todos los vectores posibles mientras que en (2) αi(t1)=∫t10ci(t1−τ)u(τ)dτ pueden no ser todos los vectores posibles en Rm
Entonces, ¿cómo demostramos que αi(t1) puede ser cualquier vector posible en Rm variando u(t) ?