可控制性(Controllability)是控制系统中的重要特性,在许多控制问题中都很重要,例如是否可以透过回授稳定一个本身不稳定的系统,或是最佳控制的相关问题。
可控制性及可观测性是同一个问题上的对偶概念。
简单来说,可控制性是指是否可以透过一些允许的程序让系统调整到其组态空间内的任何一个组态。随著其系统模型或是框架的不同,定义也会略有改变。
以下是一些在系统或是控制文献中出现过的可控制性定义:
- 状态可控制性(State controllability)
- 输出可控制性(Output controllability)
- 行为框架中的可控制性(Controllability in the behavioural framework)
状态可控制性是指在确定性系统的状态空间内,也就是系统所有状态变数数值组成的集合,可以完全描述系统在任一时间以下的状态。特别是不需要有关系统以往的资讯,只要知道目前的状态,以后所有的状态都是已知的。
完全状态可控制性(有时也称为状态可控制性)是指外在输入(由控制变数组成的向量)可以在有限时间内将系统由任意状态改变为另一个状态[1]:737。
可控制性表示可以使系统到达任意状态,但不表示系统可以维持在该状态,有可能系统只是在该状态停留短暂间而已。
考虑连续时间下的线性系统[note 1]
![{\displaystyle {\dot {\mathbf {x} }}(t)=A(t)\mathbf {x} (t)+B(t)\mathbf {u} (t)}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/02603a7005b817856c28fac41861ed05c286eeff)
![{\displaystyle \mathbf {y} (t)=C(t)\mathbf {x} (t)+D(t)\mathbf {u} (t).}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/dd880a736823c1010f5153b344e0ea8f9b264005)
存在一个控制
使系统在时间
至时间
,由状态
改变为状态
,若且唯若
是以下的列空间中
![{\displaystyle W(t_{0},t_{1})=\int _{t_{0}}^{t_{1}}\phi (t_{0},t)B(t)B(t)^{T}\phi (t_{0},t)^{T}dt}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/985fc571750a90ddab0e71bffbaf347a291c57d0)
其中
是状态转移矩阵,而
是可控制性格拉姆矩阵。
其实上,若
是
的解,则控制
即为所需的控制输入。
注意上述定义的
有以下的特质:
是对称矩阵
是正定矩阵,![{\displaystyle t_{1}\geq t_{0}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/d8ceb42464df69817cb989e7a3de11c126be34fb)
满足以下的线性矩阵微分方程
![{\displaystyle {\frac {d}{dt}}W(t,t_{1})=A(t)W(t,t_{1})+W(t,t_{1})A(t)^{T}-B(t)B(t)^{T},\;W(t_{1},t_{1})=0}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/819b24bc634f78adc35dbbd973b0eab0c3f00ae0)
满足以下方程
[2]
可控制性格拉姆矩阵和状态转移矩阵的积分有关。另外有一个较简单,类似在非时变系统下的可控制性判断方式。
考虑连续时间的线性系统
,在时间区间
内光滑变化:
![{\displaystyle {\dot {\mathbf {x} }}(t)=A(t)\mathbf {x} (t)+B(t)\mathbf {u} (t)}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/02603a7005b817856c28fac41861ed05c286eeff)
![{\displaystyle \mathbf {y} (t)=C(t)\mathbf {x} (t)+D(t)\mathbf {u} (t).}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/dd880a736823c1010f5153b344e0ea8f9b264005)
其状态转移矩阵也是光滑的,引入n x m的矩阵函数
,并且定义
=
.
考虑一个由
,
组成的矩阵:
.
若存在
以及非负整数k使得
,则
为可控制系统[3]。
若
在区间
内也是解析变化,则
在
中的每个非平凡子区间内可控制,若且唯若存在
及非负变数使得![{\displaystyle rank}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/4416b8a2a57c26b3d9e4749d8de891f07b6db882)
[3]。
上述方式仍然很不容易确认,因为包括了状态转移矩阵
的计算。另一个等效的条件如下:令
,对于每一个
0,定义
= ![{\displaystyle A(t)B(t)-{\frac {\mathrm {d} }{\mathrm {d} t}}B_{i}(t).}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/06c5b7924846eb0e1ed717fb0261123f88006621)
此例中,每一个
是直接由
求得。此系统有稳定性的充份必要条件是存在
及非负整数
使得下式成立:
[3]
考虑一个在
内解析变化的系统及矩阵
,
则
,其矩阵秩为3,因此在
之内的每一个非平凡区间都是可控制的。
考虑以下的连续线性时不变系统
![{\displaystyle {\dot {\mathbf {x} }}(t)=A\mathbf {x} (t)+B\mathbf {u} (t)}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/91ce452100d1882beaa790fd662d93e1a05b7a3e)
![{\displaystyle \mathbf {y} (t)=C\mathbf {x} (t)+D\mathbf {u} (t)}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/8d25251998fe1f8740ab2dc0b499a1d6e7aefc12)
其中
为
状态向量
为
输出向量
为
输入(或控制)向量
为
状态矩阵
为
输入矩阵
为
输出矩阵
为
前馈矩阵
可控制矩阵为
![{\displaystyle R={\begin{bmatrix}B&AB&A^{2}B&...&A^{n-1}B\end{bmatrix}}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/22e15bce4c188de0cf2adcd0ab7fbce4a24f34f2)
系统可控制的充份必要条件是其可控制矩阵为满秩(也就是
)。
针对离散时间,状态方程如下的线性状态空间系统(也就是时间变数
):
![{\displaystyle {\textbf {x}}(k+1)=A{\textbf {x}}(k)+B{\textbf {u}}(k)}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/de20397ab5d43af969f2e6fe0acfabaf16b007c1)
其中
是
的矩阵,
是
的矩阵,(也就是
是
个输入,整理成
的向量)。测试其可控制性的方式为以下
矩阵
![{\displaystyle {\mathcal {C}}={\begin{bmatrix}B&AB&A^{2}B&\cdots &A^{n-1}B\end{bmatrix}}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/4066bb07332108ab276e27181720ab040059f4ca)
有全秩(也就是
)。因此,若此系统可控制,
会有
个线性独立的列;若
中有
个列是线性独立的,
个状态中的每一个都可以用适当的输入变数
来达到。
假设在初始时间(表示为k=0)状态
,状态方程可以得到
,则
,以此类推,利用反复将状态变数反向代回,可以得到
![{\displaystyle {\textbf {x}}(n)=B{\textbf {u}}(n-1)+AB{\textbf {u}}(n-2)+\cdots +A^{n-1}B{\textbf {u}}(0)+A^{n}{\textbf {x}}(0)}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/99f03a4e3d73d36e87ed417e8c8ace67f8b2cf5c)
或者等效的
![{\displaystyle {\textbf {x}}(n)-A^{n}{\textbf {x}}(0)=[B\,\,AB\,\,\cdots \,\,A^{n-1}B][{\textbf {u}}^{T}(n-1)\,\,{\textbf {u}}^{T}(n-2)\,\,\cdots \,\,{\textbf {u}}^{T}(0)]^{T}.}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/45c3c559eebef6585d90e88cbb179df044cd41ec)
将状态向量
想要的值放在左侧时,可解出一连串控制向量的条件是若且唯若等号右侧的第一个矩阵有全秩。
例如,考虑
和
的例子(只有一个控制输入)。因此,
和
是
的向量。若
为秩2(满秩),因此
和
为线性独立,可以生成整个平面。若秩为1,则
和
平行,无法生成整个平面。
假设初始状态为0。
在时间
时:
在时间
时:
在时间
时,所有可到达的状态是在由向量
组成的直线上。
在时间
时,所有可到达的状态是在由向量
和
组成的线性组合上。
若系统可控制,这二个向量可以生成整个平面,在时间
时即可完成。
前面有假设初始状态为0,此一假设只是为了推导方便,若可以从原点到达所有的状态,就可以由任意的初始状态到所有的状态(只要进行坐标平移)
上述例子对于所有正整数的
都成立,不过
的例子比较容易视觉化。
以下是一个用汽车类比上述范例的例子。
一个人坐在车上,车在一个无穷大的平面上,车头朝向北方。
目的是透过驾驶(直线前进或是直线倒车)一段距离、停车、转弯、再驾驶(直线前进或是直线倒车)一段距离的方式到平面上的任何一点。
假如车上没有方向盘,因此车只能直线前进或后退,车所能到的方向只有车的正南方或正北方的位置上。
没有方向盘类似
的秩为1(二次所走的位移均平行)的情形。
假如车有方向盘,可以任意的旋转,自然可以到平面上的任何一点,这类似
的秩为2的例子。
若将此范围延伸到
,则例子会变成让飞机到三维空间中的任何一点(不考虑飞机本身的机头面对方向。
可做的事为:
- 以直线航行
- 左转或是右转任意角度(偏摆,yaw)
- 飞机朝上或是朝下任意角度(俯仰,pitch)
虽然三维的例子比较不容易视觉化,不过原理类似。
以下控制仿射形式的非线性系统
![{\displaystyle {\dot {\mathbf {x} }}=\mathbf {f(x)} +\sum _{i=1}^{m}\mathbf {g} _{i}(\mathbf {x} )u_{i}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/5d60de8e6a722afbd5d563d2366c1c6d276625b3)
其在
附近局部可到达(accessible)的条件是可到达分布
可以生成
个空间,其中
等于
的秩,而且R可以由下式表示[4]:
![{\displaystyle R={\begin{bmatrix}\mathbf {g} _{1}&\cdots &\mathbf {g} _{m}&[\mathrm {ad} _{\mathbf {g} _{i}}^{k}\mathbf {\mathbf {g} _{j}} ]&\cdots &[\mathrm {ad} _{\mathbf {f} }^{k}\mathbf {\mathbf {g} _{i}} ]\end{bmatrix}}.}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/2e3b24ee016206794a54a11ae71f7852d9dfe11e)
此处
是重复的李括号运算,定义如下
![{\displaystyle [\mathrm {ad} _{\mathbf {f} }^{k}\mathbf {\mathbf {g} } ]={\begin{bmatrix}\mathbf {f} &\cdots &j&\cdots &\mathbf {[\mathbf {f} ,\mathbf {g} ]} \end{bmatrix}}.}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/b70a20434e1fbbc49d3433e0102ccef1eb0b48d6)
线性系统的可控制性矩阵可以由此式推导而得。
若离散控制系统具有零可控制性(null-controllable),表示针对某一初始状态
,存在可控制的
使得
。此条件和存在矩阵
使得
为幂零矩阵的条件等价。
此条件可以由可控制-不可控制分离推导而得。
输出可控制性(Output controllability)是有关系统输出(以上表示为y)的特性,输出可控制性描述外在输入是否可以在有限时间内,将输出从任意初始状态控制到特定输出。输出可控制性和状态可控制性不一定会有相关性。尤其:
- 状态可控制性的系统不一定会是输出可控制性的系统。例如矩阵D = 0,且矩阵C没有全秩,因为输出矩阵的结构限制,有些输出是无法达到的。即使系统的所有状态都可以在有限时间内达到,但仍然有些特定的输出是无法产生的。一个明显的例子是D=0,且矩阵C至少有一行为零,因此此系统无法让该输出有不为零的输出。
- 输出可控制性的系统也不一定会是状态可控制性的系统。例如,假如状态空间的维度大于输出的维度,针对每一个输出,都有一组可能的对应状态组态。也就是说,系统可能会有零动态(zero dynamics),也就是系统状态有变化,但是在输出上完全看不出来。因此,可以在有限时间将输出控制到特定输出,和状态的可控制性完全没有关系。
针对线性连续时间系统,例如由矩阵
、
、
及
描述的系统,其
输出可控制性矩阵
![{\displaystyle {\begin{bmatrix}CB&CAB&CA^{2}B&\cdots &CA^{n-1}B&D\end{bmatrix}}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/8baa0f6973f3be71577173c1e0330e620f2f506a)
有满行秩(rank
)若且唯若此系统为输出可控制系统[1]:742,此结果也是卡尔曼的可控制性准则[来源请求]。
在一些没有完全控制权的系统,常常无法在可控制子空间内将系统从任意初始位置移到从任意结束位置。会出现此一现象的原因可能是因为系统本身就有的输入信号限制(例如致动器的饱和)或是因为其他原因而给系统的限制(例如因为安全相关的考量)。在输入及状态有限制时的系统可控制性,是可到达性(reachability)[5]及生存理论[6]探讨的内容。
在所谓的行为系统理论方法(behavioral system theoretic approach)中,不会直接定义模型输入-输出的结构。在此框架内,系统由是由变数集合的允许轨迹来表示,其中有些可能是输入或是输出。
在此框架中,可控制的系统是指,系统过去的行为(外在变数的轨迹)可以和任何未来的行为连接,而其连接方式都在可允允许的系统行为内[7]:151。
可稳定性(stabilizability)是比可控制性要弱的一个条件。系统具有可稳定性若所有不可控的状态都有稳定的动态特性。因此虽然系统中有一些状态是不可控的,在系统动作时,所有的状态都还是维持在一定的范围内(有界)[8]。Hautus引理有针对可稳定性的判断
令T ∈ Т,且x ∈ X(其中X是所有可能状态的集合,Т是一段时间区间)。在时间T内从x开始的可达到集合(reachable set)定义为[9]:
,其中 xT→z表示存在一个在时间T内从x到z的状态转换。
针对自主系统,其可达到集合为:
,
其中R为可控制性矩阵。
若以可达到集合来表示,系统有可控制性若且唯若
。
证明
根据以下的等式:
![{\displaystyle R=[B\ AB....A^{n-1}B]}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/889cad4ff18a610f17ef68f915152a41468ebb26)
![{\displaystyle Im(R)=Im([B\ AB....A^{n-1}B])}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/ac41fdb2bc2a6ca3a6b1283decabc685bd5c2dad)
![{\displaystyle dim(Im(R))=rank(R)}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/8ee84fe18ee35623ab79507fa4d647d0c033258c)
考虑系统可控制,因此R的列需为线性独立,因此
![{\displaystyle dim(Im(R))=n}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/f2a9fd6d49021778b79b73d46ecdf01c7a6d40c1)
![{\displaystyle rank(R)=n}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/a1519d1e50afeeedbb854c03bd13e15835bf8889)
![{\displaystyle Im(R)=\mathbb {R} ^{n}\quad \blacksquare }](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/1d8be3f4b7beb6ac90f1b486cd1e2effe99286c0)
另一个和可达到集合有关的集合为可控制集合(controllable set),定义如下:
.
Sontag提出了可达到性(reachability)和可控制性的关系[9]:
(a) n维离散线性系统可控制,若且唯若:
(其中X为x的所有可能值或是状态,且k为时间)
(b) 连结时间线性系统可控制,若且唯若:
针对所有e>0。
若且唯若
针对所有e>0。