24.04.2013 Views

Nonlinear Control Sy.. - Free

Nonlinear Control Sy.. - Free

Nonlinear Control Sy.. - Free

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

98 CHAPTER 3. LYAPUNOV STABILITY I. AUTONOMOUS SYSTEMS<br />

(i) Choose an arbitrary symmetric, positive definite matrix Q.<br />

(ii) Find P that satisfies equation (3.22) and verify that it is positive definite.<br />

Equation (3.22) appears very frequently in the literature and is called Lyapunov equation.<br />

Remarks: There are two important points to notice here. In the first place, the approach<br />

just described may seem unnecessarily complicated. Indeed, it seems to be easier to first<br />

select a positive definite P and use this matrix to find Q, thus eliminating the need for<br />

solving the Lyapunov equation. This approach may however lead to inconclusive results.<br />

Consider, for example, the system with the following A matrix,<br />

taking P = I, we have that<br />

=<br />

0 4<br />

`4 -8 -12<br />

-Q = PA + AT P = [<br />

0 -4<br />

4 -24 ]<br />

and the resulting Q is not positive definite. Therefore no conclusion can be drawn from this<br />

regarding the stability of the origin of this system.<br />

The second point to notice is that clearly the procedure described above for the<br />

stability analysis based on the pair (P, Q) depends on the existence of a unique solution<br />

of the Lyapunov equation for a given matrix A. The following theorem guarantees the<br />

existence of such a solution.<br />

Theorem 3.10 The eigenvalues at of a matrix A E R T satisfy te(A1) < 0 if and only<br />

if for any given symmetric positive definite matrix Q there exists a unique positive definite<br />

symmetric matrix P satisfying the Lyapunov equation (3.22)<br />

Proof: Assume first that given Q > 0, 2P > 0 satisfying (3.22). Thus V = xTPx > 0<br />

and V = -xT Qx < 0 and asymptotic stability follows from Theorem 3.2. For the converse<br />

assume that te(A1) < 0 and given Q, define P as follows:<br />

P = 10<br />

00<br />

eATtQeAt<br />

dt<br />

this P is well defined, given the assumptions on the eigenvalues of A. The matrix P is also<br />

symmetric, since (eATt)T = eAt. We claim that P so defined is positive definite. To see

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!