【状态空间】
状态空间是控制工程中的一个名词。状态是指在系统中可决定系统状态、最小数目变量的有序集合。而所谓状态空间则是指该系统全部可能状态的集合。简单来说，状态空间可以视为一个以状态变数为坐标轴的空间，因此系统的状态可以表示为此空间中的一个向量。
状态空间表示法即为一种将物理系统表示为一组输入、输出及状态的数学模式，而输入、输出及状态之间的关系可用许多一阶微分方程来描述。
为了使数学模式不受输入、输出及状态的个数所影响，输入、输出及状态都会以向量的形式表示，而微分方程（若是线性非时变系统，可将微分方程转变为代数方程）则会以矩阵的形式来表示。
状态空间表示法提供一种方便简捷的方法来针对多输入、多输出的系统进行分析并建立模型。一般频域的系统处理方式需限制在常系数，启始条件为0的系统。而状态空间表示法对系统的系数及启始条件没有限制。
== 状态变量 ==
使用状态变数的系统方块图表示
系统的状态变数是指系统变数中，可以表示任一时间系统完整状态的最小子集合。要表示一系统需要的状态变数最小值n，通常也是该系统微分方程式的阶数。若系统是以传递函数来表示，状态变数的最小个数等于传递函数分母多项式的阶数。在电路中状态变数的个数常常就是电路中储能元件（如电容器及电感器）的个数。
==线性系统==
一个有个输入、个输出及个状态变数的线性系统，可以用以下的状态空间表示法来表示：
其中:
称为状态向量，  ;
称为输出向量，  ;
称为输入向量（或控制向量），  ;
称为状态矩阵，  ,
称为输入矩阵，  ,
称为输出矩阵，  ,
称为前馈矩阵（若系统没有直接从输入到输出的路径，此矩阵为零矩阵），  ,
.
通式中所有的矩阵均允许随著时间而变化，此时所表示的就是线性时变系统。若表示的是线性非时变系统，则通式的矩阵都不会随著时间变化。时间变数可以是连续的（例如）或是离散的（例如）。若是后者，其时间变数一般会标示为。混合系统允许同时使用连续及离散的时域。依不同的假设，状态空间表示法可以是以下的这些形式：
===连续非时变系统的例子===
连续线性非时变系统的稳定性及响应特性可以由矩阵A的特征值得到，也可以由系统对应的乘积型传递函数中得到。其型式如下所示：
传递函数的分母等于的行列式所得的特征多项式：
.
其多项式的根即为矩阵A的特征值，也是传递函数的极点。极点可以用来分析系统是否为指数稳定、临界稳定或者根本不稳定。李雅普诺夫稳定性是另一种不需计算特征值，也可以判断稳定性的方式。
由传递函数的分子可以找到多项式的零点，可用来判断系统是否是最小相位。
即使系统没有内部稳定性，仍有可能是输入输出稳定系统。此情形时的不稳定极点和零点相消，为一个可去奇点。
=== 传递函数 ===
传递函数可用来描述线性非时变系统的特性。一个连续时间的线性非时变系统，可以用以下的方式，将其状态空间表示式转换为传递函数：
首先，对下式进行拉氏转换，在初始条件为0（）时
可得到
再针对化简，可得到
可以用此式来替换以下输出方程式中的
结果如下
传递函数定义为系统输出相对于输入的比值
因此可得到
必须是的矩阵。
若线性非时变系统有多个输入及输出时，其传递函数（也称为传递矩阵）表示每一组输入及输出的关系，传递矩阵的每一个元素都是一组特定输入及输出的传递函数，不过多重输入多重输出（MIMO）的系统多使用状态空间的方式进行分析，较少使用传递函数或传递矩阵。
将一个系统由状态空间表示式转换为传递函数时，系统内部的资讯无法完整的转换，可能系统表示为状态空间表示式中在特定位置时会不稳定，但是用传递函数表示时却是一个稳定的系统。
=== 可控制性 ===
一系统的状态可控制性表示对于系统的一组初始状态及一组终止状态，存在一组输入，使得此系统在有限时间内，可以由初始状态转移到终止状态。一个连续线性时不变系统以状态空间表示时，系统若且唯若在以下秩的等式成立时才有可控制性
（秩就是矩阵中线性独立横行的数目）
=== 可观察性 ===
可观察性是可以依一系统的输出得知其系统内部的初始状态。一系统的可观察性及可控制性有数学上的对偶关系，可控制性是指可以利用输入将系统由初始状态转换成任意的最终状态，而可观察性是指系统的输出轨迹预测其初始状态。
一个连续时间的线性非时变系统可观察性，若且唯若下式成立：
=== 传递函数 ===
连续时间线性时不变的状态空间模型可以用以下方式推导其传递函数：
首先，对下式进行拉普拉斯变换
可得
接下来，化简，可得
因此
替换以下输出方程中的
可得
传递函数 定义为在初始条件为0（）时，系统输出和输入的比值。不过因为向量和向量的比例不存在，因此考虑让传递函数可以满足下式
比较的方程，可得
可以看出的维度需要是乘，共有 个元素。
针对每一个输入，有个传递函数，每个对应一个输出。因此在多重输入多重输出（MIMO）的系统，会比较倾向用状态空间表示法来表达。罗森布罗克系统矩阵提供了状态空间表示法和其传递函数之间的桥梁。
=== 正则实现 ===
任一个严格真分的传递函数，可以依以下的方式转换为状态空间的表示法（以下以一个4阶、单一输入及输出的系统为例）：
先将传递函数分子分母展开成以下的形式：
.
其分子分母的系数可以放进以下的状态空间表示式中：
.
这种状态空间的实现方式称为“可控制正则型”（controllable canonical form），方便判断系统的可控制性（控制输入经过一连串的积分器后，即可影响每一个状态），因此。
传递函数也可以转换为以下的状态空间表示式：
.
这种状态空间的实现方式称为“可观察正则型”（observable canonical form），方便判断系统的可观察性（输出是经过状态变数一连串积分后的输出，因此可经由状态变数影响系统的输出）。
=== 真分传递函数 ===
若传递函数只是真分传递函数，不满足严格真分的条件，可以将传递函数分为一严格真分数及常数的和，即可转换为状态空间的表示方式
利用上一段的作法可以将严格真分传递函数转换为正则型的状态空间表示式。而常数部份可以转换为。因此状态空间表示式的矩阵A、B及C可利用传递函数的严格真分部份求得，而矩阵D可利用常数部份求得。
例如以下的真分传递函数
其可控制正则型的实现如下
其输出直接受到输入的影响，原因就是因为传递函数的常数部份。
=== 反馈 ===
典型有反馈的状态空间模型
要为系统增加反馈，可以将输出乘以一矩阵K，当作系统的输入：.
因此系统
可改写为以下的形式
求解，代入状态方程式中可得
此作法的好处是整个系统的特性不止是由矩阵A的特征值决定，也可以由K的适当设定及的特征值分解来调整。不过此作法的前提是开回路系统本身是可控制的，或者矩阵A的不稳定特征值可以由适当的K调整为稳定。
有一种常见的简化法是令矩阵D为零矩阵，矩阵C为单位矩阵，因此方程式可以简化为以下的形式：
需进行特征值分解的矩阵缩小为。
=== 有回授及目标值输入 ===
输出回授及目标值输入
回授信号也可以再加上目标值输入，此时的回授值信号为.
变成以下的形式
求解，代入状态方程式中可得
一个常见的简化是令矩阵D为零矩阵，方程式可简化为以下的形式
=== 移动物体的范例 ===
以下以物体的一维移动来作为范例。
考虑一物体在一平面上水平移动，物体和墙壁之间有弹簧相连接，依牛顿第二运动定律，其受力如下
其中
*为位置，及分别是速度及加速度
*为施力
*为粘滞摩擦系数
*为弹簧的弹性常数
*为物体的质量
其状态方程式可以下式表示
其中
*为物体的位置
*为物体的速度
*为物体的加速度
*输出为物体的位置
依可控制性测试，结果为
对所有非零的，上述矩阵皆为full rank。
依可观察性测试，结果为
对所有非零的，上述矩阵也皆为full rank。
因此，此系统具有可控制性及可观察性。
== 非线性系统 ==
以下将状态空间模型以函数的形式来表示。
第一个方程式为状态方程式，第二个方程式为输出方程式。
此表示法可以表示线性系统及非线性系统。若函数是状态及输入的线性组合，则以上方程式可以改写为矩阵的形式。
若系统没有外力（没有输入项），则以上方程式中的可以省略。
=== 单摆的范例 ===
单摆即为一个非线性系统的例子。
其中
*为单摆偏离垂线的角度
*为单摆的质量（单摆的线或杆的质量假设为零）
*为重力加速度
*为摩擦系数
*为单摆的半径（以质量的重心位置为准）
其状态方程式为
其中
*为单摆的角度
*为单摆的角速度
*为单摆的角加速度
其状态方程式可写成以下的形式
一系统的机械平衡点或驻点为的位置，因此单摆系统的平衡点如下
其中n为整数。
==相关条目==
*离散化
*相空间：物理学和数学中有关相空间（例如连续的状态空间）的资讯。
*状态空间 (计算机科学)：计算机科学中有关状态空间的资讯。
*机率空间：机率中关于状态空间的资讯。
*卡尔曼滤波
==参考来源==
== 延伸阅读 ==
* Antsaklis, P.J. and Michel, A.N. 2007. A Linear Systems Primer, Birkhauser. (ISBN 978-0-8176-4434-50)
* Chen, Chi-Tsong 1999. Linear System Theory and Design, 3rd. ed., Oxford University Press (ISBN 978-0-19-511777-6)
* Khalil, Hassan K. 2001 Nonlinear Systems, 3rd. ed., Prentice Hall (ISBN 978-0-13-067389-3)
* Nise, Norman S. 2004. Control Systems Engineering, 4th ed., John Wiley & Sons, Inc. (ISBN 978-0-471-44577-7)
* Hinrichsen, Diederich and Pritchard, Anthony J. 2005. Mathematical Systems Theory I, Modelling, State Space Analysis, Stability and Robustness. Springer. (ISBN 978-3-540-44125-0)
* Sontag, Eduardo D. 1999. Mathematical Control Theory: Deterministic Finite Dimensional Systems. Second Edition.  Springer.  (ISBN 978-0-387-98489-6) ( available free online date=20160303173842 )
* Friedland, Bernard. 2005. Control System Design: An Introduction to State Space Methods.  Dover. (ISBN 978-0-486-44278-5).
* Zadeh, Lofti A. and Desoer, Charles A. 1979. Linear System Theory, Krieger Pub Co. (ISBN 978-0-88275-809-1)