Fb2Gratis.com

PID Passivity-Based Control of Nonlinear Systems with Applications. Romeo Ortega
Чтение книги онлайн.

Читать онлайн книгу PID Passivity-Based Control of Nonlinear Systems with Applications - Romeo Ortega страница 12

Информация о книге:

Название: PID Passivity-Based Control of Nonlinear Systems with Applications

Автор: Romeo Ortega

Издательство: John Wiley & Sons Limited

Жанр: Отраслевые издания

Серия:

isbn: 9781119694182

isbn:

СКАЧАТЬ K Subscript upper D Baseline greater-than-or-equal-to 0"/> are the PID tuning gains. The key property of PID controllers that we exploit in the book is that it defines an output strictly passive map normal upper Sigma Subscript c Baseline colon y right-arrow from bar left-parenthesis negative u right-parenthesis

normal upper Sigma Subscript c Baseline colon y right-arrow from bar left-parenthesis negative u right-parenthesis

. This well‐known property (Ortega and García‐Canseco, 2004; van der Schaft, 2016) is summarized in the lemma below.

Lemma 2.1

Consider the PID controller 2.1. The operator normal upper Sigma Subscript c Baseline colon y right-arrow from bar left-parenthesis negative u right-parenthesis is output strictly passive. More precisely, there exists beta element-of double-struck upper R such that the following inequality holds:

integral Subscript 0 Superscript t Baseline y left-parenthesis s right-parenthesis left-parenthesis minus u left-parenthesis s right-parenthesis right-parenthesis d s greater-than-or-equal-to lamda Subscript min Baseline left-parenthesis upper K Subscript upper P Baseline right-parenthesis integral Subscript 0 Superscript t Baseline StartAbsoluteValue y left-parenthesis s right-parenthesis EndAbsoluteValue squared d s plus beta comma for-all t greater-than-or-equal-to 0 comma

Proof. To prove the lemma, we compute

StartLayout 1st Row 1st Column y Superscript down-tack Baseline left-parenthesis negative u right-parenthesis 2nd Column equals double-vertical-bar y double-vertical-bar Subscript upper K Sub Subscript upper P Superscript 2 Baseline plus y Superscript down-tack Baseline upper K Subscript upper I Baseline x Subscript c Baseline plus y Superscript down-tack Baseline upper K Subscript upper D Baseline ModifyingAbove y With dot 2nd Row 1st Column Blank 2nd Column greater-than-or-equal-to lamda Subscript min Baseline left-parenthesis upper K Subscript upper P Baseline right-parenthesis StartAbsoluteValue y EndAbsoluteValue squared plus ModifyingAbove x With dot Subscript c Superscript down-tack Baseline upper K Subscript upper I Baseline x Subscript c Baseline plus y Superscript down-tack Baseline upper K Subscript upper D Baseline ModifyingAbove y With dot period EndLayout

Integrating the expression above, we get

StartLayout 1st Row 1st Column Blank 2nd Column integral Subscript 0 Superscript t Baseline y left-parenthesis s right-parenthesis left-parenthesis minus u left-parenthesis s right-parenthesis right-parenthesis d s 2nd Row 1st Column Blank 2nd Column greater-than-or-equal-to lamda Subscript min Baseline left-parenthesis upper K Subscript upper P Baseline right-parenthesis integral Subscript 0 Superscript t Baseline StartAbsoluteValue y left-parenthesis s right-parenthesis EndAbsoluteValue squared d s minus double-vertical-bar x Subscript c Baseline left-parenthesis 0 right-parenthesis double-vertical-bar Subscript upper K Sub Subscript upper I Subscript Superscript 2 Baseline minus double-vertical-bar y left-parenthesis 0 right-parenthesis double-vertical-bar Subscript upper K Sub Subscript upper D Subscript Superscript 2 Baseline comma for-all t greater-than-or-equal-to 0 period EndLayout

The proof is completed setting beta colon equals minus double-vertical-bar x Subscript c Baseline left-parenthesis 0 right-parenthesis double-vertical-bar Subscript upper K Sub Subscript upper I Subscript Superscript 2 Baseline minus double-vertical-bar y left-parenthesis 0 right-parenthesis double-vertical-bar Subscript upper K Sub Subscript upper D Subscript Superscript 2 .

The main idea of PID‐PBC is to exploit the passivity property of PIDs and, invoking the Passivity Theorem, see Section A.2 of Appendix A, wrap the PID around a passive output of the system normal upper Sigma to ensure script upper L 2 ‐stability of the closed‐loop system. This result is summarized in the proposition below, whose proof follows directly from the Passivity Theorem, passivity of the mapping normal upper Sigma colon u right-arrow from bar y and output strict passivity of the mapping defined by the PID‐PBC.

Proposition 2.1:

Consider the feedback system depicted in Figure 2.1, where is the nonlinear system (1), is the PID controller of 2.1 and is an external signal. Assume the interconnection is well defined.1 If the mapping is passive, the operator is ‐stable. More precisely, there exists such that

integral Subscript 0 Superscript t Baseline StartAbsoluteValue y left-parenthesis s right-parenthesis EndAbsoluteValue squared d s less-than-or-equal-to StartFraction 1 Over lamda Subscript min Baseline left-parenthesis upper K Subscript upper P Baseline right-parenthesis EndFraction integral Subscript 0 Superscript t Baseline StartAbsoluteValue d left-parenthesis s right-parenthesis EndAbsoluteValue squared d s plus beta comma for-all t greater-than-or-equal-to 0 period

Schematic illustration of a block diagram of the closed-loop system of Proposition 2.1.

Figure 2.1 Block diagram representation of the closed‐loop system of Proposition 2.1.

Remark 2.1:

From Proposition 2.1, we have that, for all signals d left-parenthesis t right-parenthesis element-of script upper L 2 , the output y left-parenthesis t right-parenthesis element-of script upper L 2 . Under some additional assumptions, it also follows that limit Underscript t right-arrow infinity Endscripts y left-parenthesis t right-parenthesis equals 0 . For instance, the latter property holds true, with d left-parenthesis t right-parenthesis equals 0 , under the very weak assumption that there exists a steady‐state with and constants. Invoking Theorem A.2 it follows that convergence of the output to zero is also achieved if normal upper Sigma is passive with a positive definite (with respect to the origin) storage function and the output is zero‐state detectable. Also, we note that the use of passivity in the design can potentially produce, in some cases, slow responses that cannot be improved due to limited tuning parameters, see, for instance, Section 4.5.

Remark 2.2:

There are many СКАЧАТЬ

PID Passivity-Based Control of Nonlinear Systems with Applications. Romeo Ortega Чтение книги онлайн.