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.

8.2. DEFINITIONS 205<br />

Example 8.1 Let X be Rn. Then the usual "dot product" in IRn, defined by<br />

x.y=xTy=xlyl+x2y2+...±xnyn<br />

defines an inner product in IRn. It is straightforward to verify that defining properties (i)-(v)<br />

are satisfied.<br />

For the most part, our attention will be centered on continuous-time systems. Virtually all<br />

of the literature dealing with this type of system makes use of the following inner product<br />

(x, y) = f 0 00 x(t)<br />

y(t) dt (8.7)<br />

where x y indicates the usual dot product in Htn. This inner product is usually referred to<br />

as the natural inner product in G2. Indeed, with this inner product, we have that X = G2,<br />

and moreover<br />

r 00<br />

IIxIIc, = (x, x) = f IIx(t)II2 dt. (8.8)<br />

We have chosen, however, to state our definitions in more general terms, given that our<br />

discussion will not be restricted to continuous-time systems. Notice also that, even for<br />

continuous time systems, there is no a priori reason to assume that this is the only interesting<br />

inner product that one can find.<br />

In the sequel, we will need the extension of the space X (defined as usual as the space<br />

of all functions whose truncation belongs to X), and assume that the inner product satisfies<br />

the following:<br />

(XT, y) = (x, yT) = (xT, yT) (x, y)T<br />

Example 8.2 : Let X = £2, the space of finite energy functions:<br />

X = {x : IR -+ ]R, and satisfy}<br />

f00<br />

IIxIIc2 = (x, x) = x2(t) dt < oo<br />

0<br />

Thus, X,, = Lee is the space of all functions whose truncation XT belongs to £2, regardless<br />

of whether x(t) itself belongs to £2. For instance, the function x(t) = et belongs to Gee even<br />

though it is not in G2. El<br />

Definition 8.2 : (Passivity) A system H : Xe 4 Xe is said to be passive if<br />

(u, Hu)T > 0 Vu E Xe, VT E R+. (8.10)

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

Saved successfully!

Ooh no, something went wrong!