状态空间是控制工程中的一个名词。状态是指在系统中可决定系统状态、最小数目变量的有序集合。而所谓状态空间则是指该系统全部可能状态的集合。简单来说，状态空间可以视为一个以状态变数为座标轴的空间，因此系统的状态可以表示为此空间中的一个向量。

系统的状态变数是指系统变数中，可以表示任一时间系统完整状态的最小子集合。要表示一系统需要的状态变数最小值n，通常也是该系统微分方程式的阶数。若系统是以传递函数来表示，状态变数的最小个数等于传递函数分母多项式的阶数。在电路中状态变数的个数常常就是电路中储能元件（如电容器及电感器）的个数。

一个有p个输入、q个输出及n个状态变数的线性系统，可以用以下的状态空间表示法来表示：

其中：

称为状态向量，

称为输出向量，

称为输入向量（或控制向量），

称为状态矩阵，

称为输入矩阵，

称为输出矩阵，

称为前馈矩阵（若系统没有直接从输入到输出的路径，此矩阵为零矩阵），

通式中所有的矩阵均允许随着时间而变化，此时所表示的就是线性时变系统。若表示的是线性非时变系统，则通式的矩阵都不会随着时间变化。时间变数t可以是连续的（例如 ）或是离散的（例如 ）。若是后者，其时间变数一般会标示为k。混合系统允许同时使用连续及离散的时域。依不同的假设，状态空间表示法可以是以下的这些形式：

连续线性非时变系统的稳定性及响应特性可以由矩阵A的特征值得到，也可以由系统对应的乘积型传递函数中得到。其型式如下所示：

传递函数的分母等于 的行列式所得的特征多项式：

其多项式的根即为矩阵A的特征值，也是传递函数的极点。极点可以用来分析系统是否为指数稳定、临界稳定或者根本不稳定。李雅普诺夫稳定性是另一种不需计算特征值，也可以判断稳定性的方式。

由传递函数的分子 可以找到多项式的零点，可用来判断系统是否是最小相位。

即使系统没有内部稳定性，仍有可能是输入输出稳定系统。此情形时的不稳定极点和零点相消，为一个可去奇点。

传递函数可用来描述线性非时变系统的特性。一个连续时间的线性非时变系统，可以用以下的方式，将其状态空间表示式转换为传递函数：

首先，对下式进行拉氏转换

可得到

再针对 化简，可得到

可以用此式来替换以下输出方程式中的

结果如下

传递函数定义为系统输出相对于输入的比值

因此可得到

必需是 的矩阵。

若线性非时变系统有多个输入及输出时，其传递函数（也称为传递矩阵）表示每一组输入及输出的关系，传递矩阵的每一个元素都是一组特定输入及输出的传递函数，不过多重输入多重输出（MIMO）的系统多仍使用状态空间的方式进行分析，较少使用传递函数或传递矩阵。

将一个系统由状态空间表示式转换为传递函数时，系统内部的资讯无法完整的转换，可能系统表示为状态空间表示式中在特定位置时会不稳定，但是用传递函数表示时却是一个稳定的系统。

一系统的状态可控制性表示对于系统的一组初始状态及一组终止状态，存在一组输入，使得此系统在有限时间内，可以由初始状态转移到终止状态。一个连续线性时不变系统以状态空间表示时，系统当且仅当在以下秩的等式成立时才有可控制性：

（秩就是矩阵中线性独立横行的数目）

可观察性是可以依一系统的输出得知其系统内部的初始状态。一系统的可观察性及可控制性有数学上的对偶关系，可控制性是指可以利用输入将系统由初始状态转换成任意的最终状态，而可观察性是指系统的输出轨迹预测其初始状态。

一个连续时间的线性非时变系统可观察性，当且仅当下式成立：

任一个严格真分的传递函数，可以依以下的方式转换为状态空间的表示法（以下以一个4阶、单一输入及输出的系统为例）：

先将传递函数分子分母展开成以下的形式：

其分子分母的系数可以放进以下的状态空间表示式中：

这种状态空间的实现方式称为“可控制正则型”（controllable canonical form），方便判断系统的可控制性（控制输入经过一连串的积分器后，即可影响每一个状态），因此。

传递函数也可以转换为以下的状态空间表示式：

这种状态空间的实现方式称为“可观察正则型”（observable canonical form），方便判断系统的可观察性（输出是经过状态变数一连串积分后的输出，因此可经由状态变数影响系统的输出）。

若传递函数只是真分传递函数，不满足严格真分的条件，可以将传递函数分为一严格真分数及常数的和，即可转换为状态空间的表示方式

利用上一段的作法可以将严格真分传递函数转换为正则型的状态空间表示式。而常数部分可以转换为 。因此状态空间表示式的矩阵A、B及C可利用传递函数的严格真分部分求得，而矩阵D可利用常数部分求得。

例如以下的真分传递函数

其可控制正则型的实现如下

其输出直接受到输入的影响，原因就是因为传递函数的常数部分。

典型有反馈的状态空间模型

要为系统增加反馈，可以将输出乘以一矩阵K，当作系统的输入： 。因此系统

可改写为以下的形式

求解 ，代入状态方程式中可得

此作法的好处是整个系统的特性不止是由矩阵A的特征值决定，也可以由K的适当设定及 的特征值分解来调整。不过此作法的前提是开回路系统本身是可控制的，或者矩阵A的不稳定特征值可以由适当的K调整为稳定。

有一种常见的简化法是令矩阵D为零矩阵，矩阵C为单位矩阵，因此方程式可以简化为以下的形式：

需进行特征值分解的矩阵缩小为 。

以下将状态空间模型以函数的形式来表示。

第一个方程式为状态方程式，第二个方程式为输出方程式。

此表示法可以表示线性系统及非线性系统。若函数 是状态及输入的线性组合，则以上方程式可以改写为矩阵的形式。

若系统没有外力（没有输入项），则以上方程式中的u(t)可以省略。

状态空间表示法即为一种将物理系统表示为一组输入、输出及状态的数学模式，而输入、输出及状态之间的关系可用许多一阶微分方程来描述。

为了使数学模式不受输入、输出及状态的个数所影响，输入、输出及状态都会以向量的形式表示，而微分方程（若是线性非时变系统，可将微分方程转变为代数方程）则会以矩阵的形式来来表示。

状态空间表示法提供一种方便简捷的方法来针对多输入、多输出的系统进行分析并建立模型。一般频域的系统处理方式需限制在常系数，启始条件为0的系统。而状态空间表示法对系统的系数及启始条件没有限制。