Control reconfiguration: Difference between revisions

Content deleted Content added
Adding short description: "Approach in control theory to achieve fault-tolerant control for dynamic systems"
 
(47 intermediate revisions by 21 users not shown)
Line 1:
{{Short description|Approach in control theory to achieve fault-tolerant control for dynamic systems}}
[[Control]] reconfiguration is an active approach to achieve [[Fault-Tolerant Control|fault-tolerant control]] for [[Dynamic systems|dynamic systems]] {{Harv|Blanke|Kinnaert|Lunze|Staroswiecki|2006}}. It is used when severe [[Fault (technology)|faults]], such as actuator or sensor outages, cause a break-up of the [[Control loop|control loop]], which must be restructured to prevent [[Failure|failure]] at the system level. In addition to loop restructuring, the [[Controller (control theory)|controller]] parameters must be adjusted to accommodate changed plant dynamics. Control reconfiguration is a building block towards increasing the [[Dependability|dependability]] of systems under [[Feedback|feedback]] control {{Harv|Patton|1997}}.
'''Control reconfiguration''' is an active approach in [[control theory]] to achieve [[Fault-Tolerant Control|fault-tolerant control]] for [[dynamic systems]].<ref>{{Harv|Blanke|Kinnaert|Lunze|Staroswiecki|2006}}</ref> It is used when severe [[Fault (technology)|faults]], such as actuator or sensor outages, cause a break-up of the [[control loop]], which must be restructured to prevent [[failure]] at the system level. In addition to loop restructuring, the [[Controller (control theory)|controller]] parameters must be adjusted to accommodate changed plant dynamics. Control reconfiguration is a building block toward increasing the [[dependability]] of systems under [[feedback]] control.<ref>{{Harv|Patton|1997}}</ref>
 
== Reconfiguration Problemproblem ==
 
[[Image:ReconfStructure.png|frame|ControlSchematic loopdiagram withof supervisorya typical active fault-tolerant control levelsystem. In the nominal, i. e. fault-free situation, the lower control loop operates to meet the control goals. The fault -detection (FDI) module monitors the closed-loop system to detect and isolate faults. The fault estimate is passed to the reconfiguration block, which modifies the control loop to reach the control goals in spite of the fault.]]
 
=== Fault Modellingmodelling ===
 
The figure to the right shows a plant controlled by a controller in a standard control loop. The plant is subject to a fault indicated by a red arrow and modelled by
 
The nominal linear model of the plant is
<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>\begin{cases}\dot{\mathbf{x}} & = \mathbf{A}\mathbf{x} + \mathbf{B}\mathbf{u}\\
where the index <math>f</math> indicates that the system is faulty. This approach models multiplicative faults by modified system matrices. Not all matrices need to change after every fault. In particular, actuator faults are represented by the input matrix <math>\mathbf{B}_f</math>, sensor faults are represented by the output map <math>\mathbf{C}_f</math>, and internal plant faults are represented by the system matrix <math>\mathbf{A}_f</math>. Alternative scenarios model faults as an additive external signal <math>\mathbf{f}</math>,
\mathbf{y} & = \mathbf{C}\mathbf{x}\end{cases}</math>
 
The plant subject to a fault (indicated by a red arrow in the figure) is modelled in general by
<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>.
 
<math>\begin{cases}\dot{\mathbf{x}}_f & = \mathbf{A}_f\mathbf{x}_f + \mathbf{B}_f\mathbf{u}\\
The upper part of the figure shows a supervisory loop consisting of fault detection and isolation (FDI) and a reconfiguration which changes the loop by
\mathbf{y}_f & = \mathbf{C}_f\mathbf{x}_f\end{cases}</math>
 
where the subscript <math>f</math> indicates that the system is faulty. This approach models multiplicative faults by modified system matrices. Specifically, actuator faults are represented by the new input matrix <math>\mathbf{B}_f</math>, sensor faults are represented by the output map <math>\mathbf{C}_f</math>, and internal plant faults are represented by the system matrix <math>\mathbf{A}_f</math>.
# choosing new input and output signals from the available inputs <math>\mathbf{u},\mathbf{y}</math> to reach the control goal,
 
The upper part of the figure shows a supervisory loop consisting of ''fault detection and isolation'' (FDI) and ''reconfiguration'' which changes the loop by
 
# choosing new input and output signals from {<math>\mathbf{u},\mathbf{y}</math>} to reach the control goal,
# changing the controller internals (including dynamic structure and parameters),
# adjusting the reference input <math>\mathbf{w}</math>.
Line 25 ⟶ 30:
To this end, the vectors of inputs and outputs contain ''all available signals'', not just those used by the controller in fault-free operation.
 
Alternative scenarios can model faults as an additive external signal <math>\mathbf{f}</math> influencing the state derivatives and outputs as follows:
=== Reconfiguration Goals ===
 
<math>\begin{cases}\dot{\mathbf{x}}_f & = \mathbf{A}\mathbf{x}_f + \mathbf{B}\mathbf{u} + \mathbf{E}\mathbf{f}\\
The goal of reconfiguration is to keep the reconfigured control loop performance sufficient for preventing plant shutdown. The following goals are distinguished:
\mathbf{y}_f & = \mathbf{C}_f\mathbf{x}_f + \mathbf{F}\mathbf{f}\end{cases}</math>
 
=== Reconfiguration goals ===
# Stabilisation goal,
# Equilibrium recovery goal,
# Output trajectory recovery goal,
# State trajectory recovery goal.
 
The goal of reconfiguration is to keep the reconfigured control-loop performance sufficient for preventing plant shutdown. The following goals are distinguished:
Internal stability of the reconfigured closed loop is usually the minimum requirement. The equilibrium recovery goal (also referred to as weak goal) refers to the steady-state output equlibrium which the reconfigured loop reaches after a given constant input. This equilibrium must equal the nominal equilibrium under the same input (as time tends to infinity). This goal ensures reference tracking for step-shape reference signals after reconfiguration. The output trajectory recovery goal (also referred to as strong goal) is even stricter. It requires that the dynamic response to an input must equal the nominal response at all times. Further restrictions are imposed by the state trajectory recovery goal, which requires that the state trajectory be restored to the nominal case by the reconfiguration under any input.
 
# Stabilization
Usually a combination of goals is pursued in practice, such as the equilibrium recovery goal with stability.
# Equilibrium recovery
# Output trajectory recovery
# State trajectory recovery
# Transient time response recovery
 
Internal stability of the reconfigured closed loop is usually the minimum requirement. The equilibrium recovery goal (also referred to as weak goal) refers to the steady-state output equilibrium which the reconfigured loop reaches after a given constant input. This equilibrium must equal the nominal equilibrium under the same input (as time tends to infinity). This goal ensures steady-state reference tracking after reconfiguration. The output trajectory recovery goal (also referred to as strong goal) is even stricter. It requires that the dynamic response to an input must equal the nominal response at all times. Further restrictions are imposed by the state trajectory recovery goal, which requires that the state trajectory be restored to the nominal case by the reconfiguration under any input.
The question whether or not these or similar goals can be reached for specific faults is addressed by [[Reconfigurability|reconfigurability]] analysis.
 
Usually a combination of goals is pursued in practice, such as the equilibrium-recovery goal with stability.
== Reconfiguration Approaches ==
 
The question whether or not these or similar goals can be reached for specific faults is addressed by [[reconfigurability]] analysis.
=== Fault hiding ===
[[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.]]
This paradigm aims at keeping the nominal controller in the loop. To this end, a reconfiguration block is placed between the faulty plant and the nominal controller. Together with the faulty plant, it forms the reconfigured plant. The reconfiguration block has to fulfill the requirement that the behaviour of the reconfigured plant matches the behaviour of the nominal, that is fault-free plant {{Harv|Steffen|2005}}.
 
== Reconfiguration approaches ==
 
=== Fault hiding ===
[[Image:FaultHiding with Goals.png|frame|Fault hiding principle. A reconfiguration block is placed between faulty plant and nominal controller. The reconfigured plant behaviour must match the nominal behaviour. Furthermore, the reconfiguration goals are pointed out.]]
This paradigm aims at keeping the nominal controller in the loop. To this end, a reconfiguration block can be placed between the faulty plant and the nominal controller. Together with the faulty plant, it forms the reconfigured plant. The reconfiguration block has to fulfill the requirement that the behaviour of the reconfigured plant matches the behaviour of the nominal, that is fault-free plant.<ref>{{Harv|Steffen|2005}}</ref>
 
=== Linear model following ===
In linear model following, a formal feature of the nominal closed loop is attempted to be recovered. In the classical pseudo-inverse method, the closed loop system matrix <math>\bar{\mathbf{A}} = \mathbf{A}-\mathbf{B}\mathbf{K}</math> of a state-feedback control structure is used. The new controller <math>\mathbf{K}_f</math> is found to approximate <math>\bar{\mathbf{A}}</math> in the sense of an induced matrix norm.<ref>{{Harv|Gao|Antsaklis|1991}} {{Harv|Staroswiecki|2005}}</ref>
Pseudo-inverse method, perfect model following, eigenstructure assignment {{Harv|Gao|Antsaklis|1991}},{{Harv|Staroswiecki|2005}}
 
In perfect model following, a dynamic compensator is introduced to allow for the exact recovery of the complete loop behaviour under certain conditions.
 
In eigenstructure assignment, the nominal closed loop eigenvalues and eigenvectors (the eigenstructure) is recovered to the nominal case after a fault.
 
=== Optimisation-based control schemes ===
LinearOptimisation control schemes include: linear-quadratic regulator design (LQR), model predictive control (MPC) and eigenstructure assignment methods.<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>
 
=== StochasticProbabilistic analysisapproaches ===
Some probabilistic approaches have been developed.<ref>{{Harv|Mahmoud|Zhang|Jiang|Zhang|2003}}</ref>
 
=== Learning control ===
LearningThere are learning automata, neural networks, etc. <ref>{{Harv|Rauch|1994}}.</ref>
 
== Mathematical Toolstools and frameworks ==
The methods by which reconfiguration is achieved differ considerably. The following list gives an overview of mathematical approaches that are commonly used .<ref>{{Harv|Zhang|Jiang|2003}}.</ref>
 
* [[Adaptive control]] (AC)
Line 75 ⟶ 89:
* [[Robust control]] techniques
 
== RelatedSee Topicsalso ==
Prior to control reconfiguration, it must be at least determined whether a fault has occurred ([[Fault Detection|fault detection]]) and if so, which components are affected ([[Fault Isolation|fault isolation]]). Preferably, a model of the faulty plant should be provided ([[Fault Identification|fault identification]]). These questions are addressed by [[Fault diagnosis|fault diagnosis]] methods.
 
[[Fault Accommodation|Fault accommodation]] is another common approach to achieve [[Fault Tolerance|fault tolerance]]. In contrast to control reconfiguration, accommodation is limited to internal controller changes. The sets of signals manipulated and measured by the controller are fixed, which means that the loop cannot be restructured .<ref>{{Harv|Blanke|Kinnaert|Lunze|Staroswiecki|2006}}.</ref>
 
== References ==
<references/>
* {{ Harvard reference | Surname1=Blanke | Given1=M. | Surname2=Kinnaert | Given2=M. | Surname3=Lunze | Given3=J. | Surname4=Staroswiecki | Given4=M. | Year= 2006 | Edition=2nd | Title=Diagnosis and Fault-Tolerant Control | Publisher=Springer}}
* {{ Harvard reference | Surname1=Steffen | Given1=T. | Year= 2005 | Title=Control Reconfiguration of Dynamical Systems | Publisher=Springer}}
* {{ Harvard reference | Surname1=Staroswiecki | Given1=M. | Year=2005 | Chapter=Proceeding of the 16th IFAC World Congress | Title=Fault Tolerant Control: The Pseudo-Inverse Method Revisited | Publisher=IFAC | Place=Prague, Czech Republic}}
* {{ Harvard reference | Surname1=Lunze| Given1=J. | Surname2=Rowe-Serrano | Given2=D. | Surname3=Steffen | Given3=T. | Year=2003 | Chapter=Proceedings of Europeran Control Conference (ECC) | Title=Control Reconfiguration Demonstrated at a Two-Degrees-of-Freedom Helicopter Model | Place=Cambridge, U.K.}}
* {{ Harvard reference | Surname1=Maciejowski | Given1=J. | Surname2=Jones | Given2=C. | Year= 2003 | Chapter=Proceeding of the SAFEPROCESS 2003: 5th Symposium on Detection and Safety for Technical Processes | Title=MPC Fault-Tolerant Flight Control Case Study: Flight 1862 | Publisher=IFAC | Place=Washington D.C., USA | Page=265-276}}
* {{ Harvard reference | Surname1=Mahmoud | Given1=M. | Surname2=Jiang | Given2=J. | Surname3=Zhang | Given3=Y. | Year= 2003 | Title=Active Fault Tolerant Control Systems - Stochastic Analysis and Synthesis | Publisher=Springer}}
* {{ Harvard reference | Surname1=Zhang | Given1=Y. | Surname2=Jiang | Given2=J. | Year= 2003 | Chapter=Proceeding of the SAFEPROCESS 2003: 5th Symposium on Detection and Safety for Technical Processes | Title=Bibliographical review on reconfigurable fault-tolerant control systems | Publisher=IFAC | Place=Washington D.C., USA | Page=265-276}}
* {{ Harvard reference | Surname1=Patton | Given1=R. J. | Year= 1997 | Chapter=Preprints of IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes | Title=Fault-tolerant control: the 1997 situation | Place=Kingston upon Hull, U.K. | Page=1033-1055}}
* {{ Harvard reference | Surname1=Rauch | Given1=H. E. | Year= 1995 | Journal=IEEE Control Systems Magazine | Title=Autonomous control reconfiguration | Volume=15 | Number=6 | Page=37-48}}
* {{ Harvard reference | Surname1=Rauch | Given1=H. E. | Year= 1994 | Journal=IEEE Control Systems Magazine | Title=Intelligent fault diagnosis and control reconfiguration | Volume=14 | Number=3 | Page=6-12}}
* {{ Harvard reference | Surname1=Gao | Given1=Z. | Surname2=Antsaklis | Given2=P. J. | Year= 1991 | Journal=International Journal of Control | Title=Stability of the pseudo-inverse method for reconfigurable control systems | Volume=53 | Number=3 | Page=717-729}}
* {{ Harvard reference | Surname1=Looze | Given1=D. | Surname2=Weiss | Given2=J. L. | Surname3=Eterno | Given3=J. S. | Surname4=Barrett | Given4=N. M. | Year= 1985 | Journal=IEEE Control Systems Magazine | Title=An Automatic Redesign Approach for Restructurable Control Systems| Volume=5 | Number=2 | Page=16-22}}.
 
== Further reading ==
* {{Citation
| last1=Blanke | first1=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
| last1=Lunze| first1=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
| last1=Maciejowski | first1=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
| last1=Mahmoud | first1=M. | last2=Jiang | first2=J.
| last3=Zhang | first3=Y. | year= 2003
| title=Active Fault Tolerant Control Systems - Stochastic Analysis and Synthesis
| publisher=Springer}}
* {{Citation
| last1=Zhang | first1=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| s2cid=39931526 }}
* {{Citation
| last1=Gao | first1=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
| last1=Looze | first1=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| s2cid=12684489 }}.
* {{Citation
| last1=Esna Ashari | first1=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| s2cid=121350006 }}.
 
[[Category:Control theory| ]]
[[Category:Cybernetics]]
[[Category:Control Engineeringengineering]]
[[Category:Fault tolerance]]