查看“︁控制重構”︁的源代码

'''控制重構'''（Control reconfiguration）也稱為'''控制重組態'''，是[[控制理論]]領域中[[动力系统]]的[[容錯]]控制<ref name="#1">{{Harv|Blanke|Kinnaert|Lunze|Staroswiecki|2006}}</ref>，在有故障時調整控制架構。作法在發生嚴重[[故障]]（例如[[致動器]]或是[[感測器]]不運作），影響[[控制迴路]]時，系統可以重新調整其控制組態，以避免系統層的[[失效]]。控制重構不但包括架構的重新調整，也包括控制器參數為了配合新的架構而作的參數調整。控制重構是回授控制系統增加{{link-en|可信任性|dependability}}的重要機能之一<ref>{{Harv|Patton|1997}}</ref>。
== 重構問題 ==
[[Image:ReconfStructure.png|frame|典型主動容錯系統的架構圖。在正常沒有故障的情形，會靠下方的迴路來達到控制目的。故障偵測（FDI）模組會監控閉迴路系統，以檢測並且隔離故障。故障估測訊號會送到重構模組，會調整控制環，在有故障的情形下仍設法達到控制目的]]

=== 故障建模 ===

右圖是一個主動容錯系統的控制器。

系統正常情形下，受控體的線性模型為

<math>\begin{cases}\dot{\mathbf{x}} & = \mathbf{A}\mathbf{x} + \mathbf{B}\mathbf{u}\\
\mathbf{y} & = \mathbf{C}\mathbf{x}\end{cases}</math>

若受控體有故障（圖中的紅色箭頭），受控體會變成

<math>\begin{cases}\dot{\mathbf{x}}_f & = \mathbf{A}_f\mathbf{x}_f + \mathbf{B}_f\mathbf{u}\\
\mathbf{y}_f & = \mathbf{C}_f\mathbf{x}_f\end{cases}</math>

其中下標<math>f</math>表示系統有故障。此模型在有故障時，會改變系統的矩陣。致動器故障的影響會以輸入矩陣 <math>\mathbf{B}_f</math>來表示，感測器故障的影響會以輸出矩陣<math>\mathbf{C}_f</math>來表示，而內模型故障的影響會以系統矩陣<math>\mathbf{A}_f</math>來表示。

圖的上方是監控迴路，其中包括故障偵測及隔離（FDI）模組以及重構模組，會用以下方式調整迴路

# 由{<math>\mathbf{u},\mathbf{y}</math>}中選擇新的輸入及輸出信號以滿足控制目的。
# 調整控制器內部狀態（包括其動態結構及參數）
# 調整參考輸入<math>\mathbf{w}</math>.

最後，輸入向量及輸出向量會包括「所有可用的訊號」，和無故障時的輸入輸出訊號不同。

另外一種作法是在故障時，增加外部信號<math>\mathbf{f}</math>來調整狀態的微分以及輸出：

<math>\begin{cases}\dot{\mathbf{x}}_f & = \mathbf{A}\mathbf{x}_f + \mathbf{B}\mathbf{u} + \mathbf{E}\mathbf{f}\\
\mathbf{y}_f & = \mathbf{C}_f\mathbf{x}_f + \mathbf{F}\mathbf{f}\end{cases}</math>

=== 重構的目的 ===

重構的目的是讓重構後的控制系統維持一定能力的運作，讓整個系統不致於停工。重構的目的會分為以下幾種：

# 穩定
# 還原平衡點
# 還原輸出軌跡
# 還原狀態軌跡
# 還原暫態時間響應

重構後閉迴路的內部穩定是最基本的要求。還原平衡點（也稱為弱目的）是指在給定常數輸入後，重構後的迴路可以回到穩態輸出平衡，當時間趨近無限大時，此平衡點要等於沒有故障時的平衡點，此目標確保在重構後的穩態命令追隨特性。還原輸出軌跡（也稱為強目的）更嚴格，要求重構後系統在一輸入下的動態響應要和原系統相同。更進一步的限制是還原狀態軌跡，要求在任何輸入下，重構後系統的狀態軌跡都要和原系統相同。

在實務上多半會要求上述多個目的的組合，例如還原平衡點及穩定。

在特定故障下是否可以達到上述目標，是{{link-en|可重構性|reconfigurability}}分析所探討的議題。

== 重構方式 ==

=== 故障隱藏 ===
<!--[[Image:FaultHiding with Goals.png|frame|Fault hiding principle. A reconfiguration block is placed between faulty plant and nominal controller. The reconfuigured plant behaviour must match the nominal behaviour. Furthermore, the reconfiguration goals are pointed out.]]-->
故障隱藏（Fault hiding）的目的是維持迴路中的主控制器運作，為了這個目的，在故障的受控體及主控制器之間加入了重構模組。重構模組配合有故障的受控體即為重構後的受控體，重構模組會讓重構後的受控體和原始沒有故障時的受控體有相同的特性<ref>{{Harv|Steffen|2005}}</ref>。

=== 線性模型追隨法 ===
在線性模型追隨法（linear model following）中，會設法恢復主要控制迴路的特性。在傳統的廣義逆陣法，會使用閉迴路系統結構中的閉迴路系統矩陣<math>\bar{\mathbf{A}} = \mathbf{A}-\mathbf{B}\mathbf{K}</math>。會找到新的控制器<math>\mathbf{K}_f</math>，在导出矩阵范数的概念下近似<math>\bar{\mathbf{A}}</math><ref>{{Harv|Gao|Antsaklis|1991}} {{Harv|Staroswiecki|2005}}</ref>。

在完整的模型追隨中，會引入動態補償器，在特定條件下完全的恢復完整的迴路行為。

在特徵架構指定（eigenstructure assignment）架構下，在故障後，會恢復主要控制迴路的特徵向量及特徵值（特徵架構）。

=== 最佳化為基礎的控制架構 ===
最佳化控制架構包括：線性平方控制器設計（LQR)、模型預測控制（MPC）以及特徵結構指定法等<ref>{{Harv|Looze|Weiss|Eterno|Barrett|1985}}{{Harv|Lunze|Rowe-Serrano|Steffen|2003}}{{Harv|Esna Ashari|Khaki Sedigh|Yazdanpanah|2005}}{{Harv|Maciejowski|Jones|2003}}</ref>。

=== 機率性方法 ===
目前已有不少機率性的方法<ref>{{Harv|Mahmoud|Jiang|Zhang|2003}}</ref>。

=== 學習控制 ===
有許多這類應用的學習自動機、類神經網路等<ref>{{Harv|Rauch|1994}}</ref>。

== 數學工具及框架 ==
有許多種達到控制重構的方式。以下是一些常用的作法<ref>{{Harv|Zhang|Jiang|2003}}</ref>。

* [[自适应控制]]（AC）
* 擾動解耦（DD）
* 特徵架構指定（EA）
* [[增益規劃]]（GS）/線性參數變化（LPV）
* 廣義[[內部模型]]控制（GIMC）
* [[智能控制]]（IC）
* [[线性矩阵不等式]]（LMI）
* [[LQR控制器]]（LQR）
* 模型追隨（MF）
* [[模型預測控制]]（MPC）
* [[广义逆阵]]法（PIM）
* [[鲁棒控制]]控術

== 相關技術 ==
在控制重新組態前，需要先知道是否有出現故障（故障檢測），以及故障影響的元件（[[故障檢測和隔離]]）。最好也可以提供故障系統的模型（[[故障識別]]）。這些都是[[診斷 (工程)|工程診斷]]希望得到的資訊。

[[故障適應]]（Fault Accommodation）是另一種達到[[故障容許度]]的技術。故障適應和控制重構不同，故障適應只調整內部的控制器，控制器控制及量測的訊號不變，因此無法達到重新調整控制迴路的目的<ref name="#1"/>。

== 參考資料 ==
{{reflist}}

== 延伸閱讀 ==
* {{Citation
  | last=Blanke | first=M. | last2=Kinnaert | first2=M.
  | last3=Lunze | first3=J. | last4=Staroswiecki | first4=M.
  | year= 2006 | edition=2nd
  | title=Diagnosis and Fault-Tolerant Control | publisher=Springer}}
* {{Citation
  | last=Steffen | first=T. | year= 2005
  | title=Control Reconfiguration of Dynamical Systems | publisher=Springer}}
* {{Citation
  | last=Staroswiecki | first=M. | year=2005
  | chapter=Fault Tolerant Control: The Pseudo-Inverse Method Revisited
  | title=Proceedings of the 16th IFAC World Congress
  | publisher=IFAC | place=Prague, Czech Republic}}
* {{Citation
  | last=Lunze| first=J. | last2=Rowe-Serrano | first2=D.
  | last3=Steffen | first3=T. | year=2003
  | chapter=Control Reconfiguration Demonstrated at a Two-Degrees-of-Freedom Helicopter Model
  | title=Proceedings of European Control Conference (ECC) | place=Cambridge, UK.}}
* {{Citation
  | last=Maciejowski | first=J. | last2=Jones | first2=C. | year=2003
  | chapter=MPC Fault-Tolerant Flight Control Case Study: Flight 1862
  | title=Proceedings of the SAFEPROCESS 2003: 5th Symposium on Detection and Safety for Technical Processes
  | publisher=IFAC | place=Washington D.C., USA | pages=265–276}}
* {{Citation
  | last=Mahmoud | first=M. | last2=Jiang | first2=J.
  | last3=Zhang | first3=Y. | year= 2003
  | title=Active Fault Tolerant Control Systems - Stochastic Analysis and Synthesis
  | publisher=Springer}}
* {{Citation
  | last=Zhang | first=Y. | last2=Jiang | first2=J. | year= 2003
  | chapter=Bibliographical review on reconfigurable fault-tolerant control systems
  | title=Proceedings of the SAFEPROCESS 2003: 5th Symposium on Detection and Safety for Technical Processes
  | publisher=IFAC | place=Washington D.C., USA | pages=265–276}}
* {{Citation
  | last=Patton | first=R. J. | year= 1997
  | chapter=Fault-tolerant control: the 1997 situation
  | title=Preprints of IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes
  | place=Kingston upon Hull, UK | pages=1033–1055}}
* {{Citation
  | last=Rauch | first=H. E. | year= 1995
  | journal=IEEE Control Systems Magazine
  | title=Autonomous control reconfiguration
  | volume=15 | number=6 | pages=37–48 | doi=10.1109/37.476385}}
* {{Citation
  | last=Rauch | first=H. E. | year= 1994
  | journal=IEEE Control Systems Magazine
  | title=Intelligent fault diagnosis and control reconfiguration
  | volume=14 | number=3 | pages=6–12 | doi=10.1109/37.291462}}
* {{Citation
  | last=Gao | first=Z. | last2=Antsaklis | first2=P.J.
  | year= 1991 | journal=International Journal of Control
  | title=Stability of the pseudo-inverse method for reconfigurable control systems
  | volume=53 | number=3 | pages=717–729 | doi=10.1080/00207179108953643}}
* {{Citation
  | last=Looze | first=D. | last2=Weiss | first2=J.L.
  | last3=Eterno | first3=J.S. | last4=Barrett | first4=N.M.
  | year= 1985 | journal=IEEE Control Systems Magazine
  | title=An Automatic Redesign Approach for Restructurable Control Systems|volume=5
  | number=2 | pages=16–22 | doi=10.1109/mcs.1985.1104940}}.
* {{Citation
  | last=Esna Ashari | first=A. | last2=Khaki Sedigh | first2=A.
  | last3=Yazdanpanah | first3=M. J. | year= 2005
  | journal=International Journal of Control
  | title=Reconfigurable control system design using eigenstructure assignment: static, dynamic and robust approaches
  | volume=78 | number=13 | pages=1005–1016 | doi=10.1080/00207170500241817}}.
{{控制理論}}
[[Category:控制理论]]
[[Category:控制论]]
[[Category:控制工程]]
[[Category:容错]]
<!-- [[Category:Fault tolerance]] -->