State Equation Fundamentals
informationcontrolundergraduatelecture
data/lecture/information/control/feedback-control-basics.lecture.n.md
1Introduction
This lecture represents a system's internal state as a vector and uses a state equation to analyze its evolution, output, and stability under a given input.
data/lecture/math/linear-algebra/linear-maps-and-matrices.lecture.n.md
2State and State-Space Representation
The state is sufficient internal information whose value at a given time, together with the subsequent input, uniquely determines the system's future evolution. A state choice need not be unique, and a representation may contain redundant variables. For finite-dimensional LTI systems, any two minimal realizations of the same input-output relation are related by a similarity transformation.
A continuous-time LTI state-space representation is
\dot{\mathbf x}(t)=A\mathbf x(t)+B\mathbf u(t),\qquad \mathbf y(t)=C\mathbf x(t)+D\mathbf u(t).
For state \mathbf x\in\mathbb R^n, input \mathbf u\in\mathbb R^m, and output \mathbf y\in\mathbb R^p,
A\in\mathbb R^{n\times n},\quad B\in\mathbb R^{n\times m},\quad C\in\mathbb R^{p\times n},\quad D\in\mathbb R^{p\times m}.
A represents coupling among states, B the action of inputs, C the map from state to output, and D the direct term from input to output.
3Construction from a Second-Order Equation
Consider the system
m\ddot q+c\dot q+kq=u(t)
with mass m>0, damping coefficient c\ge 0, and spring constant k\ge 0. Define x_1=q and x_2=\dot q. Then
\frac{d}{dt}\begin{pmatrix}x_1\\x_2\end{pmatrix}
=\begin{pmatrix}0&1\\-k/m&-c/m\end{pmatrix}
\begin{pmatrix}x_1\\x_2\end{pmatrix}
+\begin{pmatrix}0\\1/m\end{pmatrix}u(t).
Position and velocity have different physical dimensions, so the entries of A do not all have the same units. Each row of the product A\mathbf x, however, has the same physical dimension as the corresponding state derivative. This dimensional consistency provides a model check.
4State Transition
When A and B are constant matrices, the solution for initial state \mathbf x(0)=\mathbf x_0 is
\boxed{\mathbf x(t)=e^{At}\mathbf x_0+\int_0^t e^{A(t-\tau)}B\mathbf u(\tau)\,d\tau}.
The state-transition matrix e^{At} describes zero-input state evolution, while the integral describes the contribution of the input history.
5Eigenvalues and Internal Stability
data/lecture/math/linear-algebra/eigenvalues-and-eigenvectors.lecture.n.md
The origin of the zero-input system \dot{\mathbf x}=A\mathbf x is asymptotically stable if solutions starting sufficiently near the origin remain near it and satisfy \mathbf x(t)\to0 as t\to\infty.
For a finite-dimensional continuous-time LTI system, all eigenvalues of A lying in the open left half-plane, \operatorname{Re}\lambda<0, is equivalent to global exponential stability of the origin. An eigenvalue with positive real part makes the origin unstable. If an eigenvalue lies on the imaginary axis, solutions may remain bounded or may diverge according to the Jordan structure, but the origin is not asymptotically stable.
6Relationship to the Transfer Function
With zero initial state, take Laplace transforms and consider s for which sI-A is invertible. Then
\mathbf X(s)=(sI-A)^{-1}B\mathbf U(s),
and hence
\boxed{G(s)=C(sI-A)^{-1}B+D}.
Here, G(s)\in\mathbb C^{p\times m} is the transfer-function matrix. A mode that cannot be excited through the input is an uncontrollable mode; a mode that does not appear in the output is an unobservable mode. If a state-space representation contains either type, an eigenvalue of A may not appear as a pole of G(s). A transfer function alone therefore need not reveal every internal stability property.
7Key Points
- State is internal information that, together with the future input, determines the future response.
- The dimensions of A,B,C,D follow from the dimensions of state, input, and output.
- e^{At} describes zero-input evolution, and the eigenvalues of A determine internal stability.
- G(s)=C(sI-A)^{-1}B+D is a zero-initial-state input-output relation and need not expose every internal mode.