720 likes | 855 Views
دانشگاه صنعتي اميركبير دانشكده مهندسي پزشكي Constraints in MPC. کنترل پيش بين-دکتر توحيدخواه. Feasibility in MPC. Infeasibility implies that, for the current state, the constraints within the MPC algorithm cannot be satisfied.
E N D
دانشگاه صنعتي اميركبير دانشكده مهندسي پزشكي Constraints in MPC کنترل پيشبين-دکتر توحيدخواه
Feasibility in MPC • Infeasibility implies that, for the current state, the constraints within the MPC algorithm cannot be satisfied. • Without feasibility the MPC optimisation is ill posed and there is no assurance that the answer has any useful meaning. • MPC looks at mechanisms for overcoming or avoiding this.
Hard constraints Hard constraints are constraints which must be satisfied.
Soft constraints • Soft constraints are those which should be satisfied if possible. Soft constraints can be violated (ignored). • Usually soft constraints are on outputs/states although they could also be applied to inputs. Such violations may have no effect on nominal stability results.
Summary: Constraints are a combination of hard, soft and terminal constraints.
Model uncertainty Model uncertainty may cause infeasibility because the actual behaviour differs from the predicted behaviour. Hence, even though the nominal predictions could satisfy constraints over the entire future, a small change in the model will cause the actual behaviour to differ, and the associated predictions at the subsequent sampling instant could then violate constraints.
Model uncertainty (cont.) One can form algorithms based on invariant sets (Section 11.11) to handle model uncertainty; however, the results are usually very conservative, as guarantees must allow for the worst case (which will arise with negligible probability). A more pragmatic approach is to accept that guarantees cannot be given where there is significant uncertainty and make other contingencies for the rare occasions where infeasibility arises.
The stronger a guarantee you want, the more conservative your control law will be. • In practise there must be a compromise between feasibility assurances and performance. • Feasibility would usually be ensured by a systematic relaxation of soft constraints. This would be determined at a supervisory level.
Using artificially tight constraints on future predictions automatically builds in some slack which can be used to retain feasibility in the presence of moderate uncertainty. The slack should be montonically increasing with the horizon. Example: input limits:
Example 1. A mathematical model for an undamped oscillator is given by:
What happens if the control amplitude is limited to +/- 25 ?
If we do not pay attention to the saturation of the control, then in the presence of constraints, the closed-loop control performance could severely deteriorate.
Example 2: A common practice in dealing with saturation is to let the model know the difference in Δu(k) when saturation becomes effective.
over-shoot in the closed-loop response is significantly reduced.
There are three major types of constraints frequently encountered in applications: The first two types deal with constraints imposed on the control variables u(k), and the third type of constraint deals with output y(k) or state variable x(k) constraints.
Constraints on the Amplitude of the Control Variable
Constraints on the Control Variable Incremental Variation در بيهوشی بعنوان مثال:
Output Constraints Output constraints are often implemented as ‘soft’ constraints in the way thata slack variable sv > 0 is added to the constraints
Constraints in a Multi-input and Multi-output Setting
Numerical Solutions Using Quadratic Programming E is assumed to be symmetric and positive definite.
Quadratic Programming for Equality Constraints Example 4. Minimize Solution. The global minimum, without constraint, is at
Example 5. Minimize subject to:
Solution: Without the equality constraints, the optimal solution is:
Example 6. what happens to the constrained optimal solution when the linear constraints are dependent. There is no feasible solution of x1 and x2 Matrix MTE−1M is not invertible
Illustration of no feasible solution of the constrained optimization problem. Solid-line x1 + x2 = 1; darker-solid-line 2x1 +2x2 = 6
Example 7: How the number of equality constraints is also an issue in the constrained optimal solution? (Ex. 5) We add an extra constraint to the original constraints so that:
The only feasible solution: In summary, the number of equality constraints is required to be less than or equal to the number of decision variables (i.e., x). If the number of equality constraints equals the number of decision variables, the only feasible solution is the one that satisfies the constraints and there is no additional variable in x that can be used to optimize the original objective function.
Minimization with Inequality Constraints In the minimization with inequality constraints, the number of constraints could be larger than the number of decision variables. An inequality Mix ≤ γi is said to be active if Mix = γi and inactive if Mix < γi.