系統科學 中的平坦性 (Flatness)是一種系統的特性,將線性時不變系統理論 中的可控制性 擴展到非線性 動力系統 。具有平坦性的系統稱為平坦系統 。平坦系統具有(虛擬的)平坦輸出,可以用平坦輸出以及其有限微分的組合來顯式表示所有的狀態以及輸入。
非線性系統
x
˙
(
t
)
=
f
(
x
(
t
)
,
u
(
t
)
)
,
x
(
0
)
=
x
0
,
u
(
t
)
∈
R
m
,
x
(
t
)
∈
R
n
,
Rank
∂
f
(
x
,
u
)
∂
u
=
m
{\displaystyle {\dot {\mathbf {x} }}(t)=\mathbf {f} (\mathbf {x} (t),\mathbf {u} (t)),\quad \mathbf {x} (0)=\mathbf {x} _{0},\quad \mathbf {u} (t)\in R^{m},\quad \mathbf {x} (t)\in R^{n},{\text{Rank}}{\frac {\partial \mathbf {f} (\mathbf {x} ,\mathbf {u} )}{\partial \mathbf {u} }}=m}
具有平坦性,假設存在輸出
y
(
t
)
=
(
y
1
(
t
)
,
.
.
.
,
y
m
(
t
)
)
{\displaystyle \mathbf {y} (t)=(y_{1}(t),...,y_{m}(t))}
滿足以下條件:
信號
y
i
,
i
=
1
,
.
.
.
,
m
{\displaystyle y_{i},i=1,...,m}
可以表示為狀態
x
i
,
i
=
1
,
.
.
.
,
n
{\displaystyle x_{i},i=1,...,n}
及輸入
u
i
,
i
=
1
,
.
.
.
,
m
{\displaystyle u_{i},i=1,...,m}
、以及輸入對時間的有限次微分
u
i
(
k
)
,
k
=
1
,
.
.
.
,
α
i
{\displaystyle u_{i}^{(k)},k=1,...,\alpha _{i}}
的函數:
y
=
Φ
(
x
,
u
,
u
˙
,
.
.
.
,
u
(
α
)
)
{\displaystyle \mathbf {y} =\Phi (\mathbf {x} ,\mathbf {u} ,{\dot {\mathbf {u} }},...,\mathbf {u} ^{(\alpha )})}
。
狀態
x
i
,
i
=
1
,
.
.
.
,
n
{\displaystyle x_{i},i=1,...,n}
及輸入
u
i
,
i
=
1
,
.
.
.
,
m
{\displaystyle u_{i},i=1,...,m}
可以表示為輸出
y
i
,
i
=
1
,
.
.
.
,
m
{\displaystyle y_{i},i=1,...,m}
以及其對時間的有限次微分
y
i
(
k
)
,
i
=
1
,
.
.
.
,
m
{\displaystyle y_{i}^{(k)},i=1,...,m}
的函數。
y
{\displaystyle \mathbf {y} }
的元素是微分獨立的,也就是說,不會使以下的微分方程成立
ϕ
(
y
,
y
˙
,
y
(
γ
)
)
=
0
{\displaystyle \phi (\mathbf {y} ,{\dot {\mathbf {y} }},\mathbf {y} ^{(\gamma )})=\mathbf {0} }
。
若上述條件至少有在局部成立,則(可能是虛擬的)輸出則稱為平坦輸出,系統即為平坦系統。
線性時不變系統
x
˙
(
t
)
=
A
x
(
t
)
+
B
u
(
t
)
,
x
(
0
)
=
x
0
{\displaystyle {\dot {\mathbf {x} }}(t)=\mathbf {A} \mathbf {x} (t)+\mathbf {B} \mathbf {u} (t),\quad \mathbf {x} (0)=\mathbf {x} _{0}}
若
x
,
u
{\displaystyle \mathbf {x} ,\mathbf {u} }
的信號維度相同,對應非線性系統平坦性的充分必要條件是系統有可控制性 。因此線性時不變系統中這二種性質是等效的,可以互換。
平坦性的特性可以用在分析非線性動態系統,以及合成其控制器上。在解決軌跡規劃問題和漸近設定點追隨控制時特別好用。
M. Fliess, J. L. Lévine, P. Martin and P. Rouchon: Flatness and defect of non-linear systems: introductory theory and examples. International Journal of Control 61(6 ), pp. 1327-1361, 1995 [1] (頁面存檔備份 ,存於互聯網檔案館 )
A. Isidori, C.H. Moog et A. De Luca. A Sufficient Condition for Full Linearization via Dynamic State Feedback. 25th CDC IEEE, Athens, Greece, pp. 203 - 208, 1986 [2]