CDS 110b: Introduction to Robust Control: Difference between revisions

From Murray Wiki
Jump to navigationJump to search
No edit summary
 
 
(6 intermediate revisions by the same user not shown)
Line 10: Line 10:


== Lecture Materials ==
== Lecture Materials ==
* {{cds110b-pdfs|L6-2_sysnorm.mp3|MP3 of lecture}})
* Blackboard lecture; no slides. MP3 lost (technical error)
* {{cds110b-pdfs|sysnorm.pdf|Lecture Notes on system norms}}
* {{cds110b-pdfs|sysnorm.pdf|Lecture Notes on system norms}}
* Reading: DFT, Chapter 2
* Reading: DFT, Chapter 2
Line 17: Line 17:


== Frequently Asked Questions ==
== Frequently Asked Questions ==
'''Q: What did you mean when you wrote <math>V = R^n</math>, <math>V = C[-\infty, \infty]</math>?'''
<blockquote>
This appeared in a table that listed different norms.  The two columns above were showing what the <math>\|\cdot\|_k</math> norms were for different <math>k</math>.  For example,
<center>
{|
|-
| align=center | <math>V = R^n</math>
| &nbsp;&nbsp;&nbsp;&nbsp;
| align = center | <math>V = C[-\infty, \infty]</math>
|-
| <math> \|x\|_2 = \sqrt{\sum_{i=1}^n x_i^2} </math> || || <math> \|u\|_2 = \left( \int_{-\infty}^\infty u^2(t)\, dt \right)^{1/2} </math>
|-
|}
</center>
The first column shows the 2-norm on the set of vectors of length <math>n</math>, the second column shows the 2-norm on the set of continuous functions.
</blockquote>
'''Q: What is a "vector space with norm <math>\|\cdot\| = a</math>" for some <math>a</math> = some number?'''
<blockquote>
A vector space specifies the operations of additional and (scalar) multiplication.  We can also put a norm on a vector space, but there are different norms for a given vector space (for example, the 2-norm and the <math>\infty</math>-norm.  For the space of functions <math>V = C[-\infty, \infty]</math>, the <math>k</math> norm is defined as
<center><math>
\|u\|_k = \left( \int_{-\infty}^\infty |u(t)|^k\, dt \right)^{1/k}
</math></center>
</blockquote>
'''Q: How do you find <math>\sup_{\|v\|_a \leq 1} \|w\|_b</math>?'''
<blockquote>
It can be very difficult to compute the induced norm for a general function.  As we shall see, the induced 2-norm for a linear system turns out to be the <math>\infty</math>-norm of the corresponding transfer functions, which is just the maximum gain as a function of the frequency.  Hence for this particular norm, it can be computed by looking at the magnitude portion of a Bode plot (more on this in the next lecture).
</blockquote>
'''Q: What are the criteria for a function to be piecewise continuous?'''
<blockquote>
A function is piecewise continuous if it is continuous in finite length intervalsintervals. 
<center>
{|
|-
| Piecewise continuous
| align=center | <math>\qquad\qquad</math>
| align=center | Not piecewise continuous
|-
| <math>f(x) = \left\{ \begin{matrix} 0 \quad {if\,\, x < 0} \\ 1 \quad{if\,\, x > 0}\end{matrix} \right.</math>
|
| <math>f(x) = \left\{ \begin{matrix} 0 \quad {if\,\, x \neq 0} \\ 1 \quad{if\,\, x = 0}\end{matrix} \right.</math>
|}
</center>
The first function is a step function, the second function is identically zero except at the single point <math>x = 0</math> (which is not a finite interval).  [http://en.wikipedia.org/wiki/Piecewise Wikipedia] has a pretty good description of this.
</blockquote>
'''Q: How do ou evaluate <math>C e^{A(t - \tau)}</math>'''
<blockquote>
The matrix exponential can be computing using the Jordan form for the matrix.  [http://en.wikipedia.org/wiki/Matrix_exponential Wikipedia] has a pretty good description of this.
</blockquote>
'''Q: Is <math>\|x\|_\infty</math> the same as <math>\lim_{k \to \infty} \|x\|_k</math>?'''
<blockquote>
Yes.
</blockquote>
'''Q: What is <math>C^n[t_0, t_1]</math>?  A polynomial?'''
<blockquote>
<math>C^n[t_0, t_1]</math> is the set of all continuous, <math>R^n</math>-value functions defined on the interval <math>[t_0, t_1]</math>.  If <math>n = 1</math>, then a polynomial would be an example of a function that is in the set <math>C^n[t_0, t_1]</math>.  Similarly, the function <math>e^t</math> is also in <math>C^n[t_0, t_1]</math>.  The function <math>1/(t-0.5)</math> is ''not'' in <math>C^n[0, 1]</math> since is not continuos at 0.5.
</blockquote>

Latest revision as of 19:52, 21 February 2006

WARNING: This page is for a previous year.
See current course homepage to find most recent page available.
Course Home L7-2: Sensitivity L8-1: Robust Stability L9-1: Robust Perf Schedule

This lecture provides an introduction to some of the signals and systems concepts required for the study of robust (H∞) control.

Lecture Outline

  1. Overview of the robust performance problem
  2. Linear spaces and norms
  3. Norm of a linear system

Lecture Materials

References and Further Reading

Frequently Asked Questions

Q: What did you mean when you wrote V=Rn, V=C[−∞,∞]?

This appeared in a table that listed different norms. The two columns above were showing what the ‖⋅‖k norms were for different k. For example,

V=Rn      V=C[−∞,∞]
‖x‖2=∑i=1nxi2 ‖u‖2=(∫−∞∞u2(t)dt)1/2

The first column shows the 2-norm on the set of vectors of length n, the second column shows the 2-norm on the set of continuous functions.

Q: What is a "vector space with norm ‖⋅‖=a" for some a = some number?

A vector space specifies the operations of additional and (scalar) multiplication. We can also put a norm on a vector space, but there are different norms for a given vector space (for example, the 2-norm and the ∞-norm. For the space of functions V=C[−∞,∞], the k norm is defined as

‖u‖k=(∫−∞∞|u(t)|kdt)1/k

Q: How do you find sup‖v‖a≤1‖w‖b?

It can be very difficult to compute the induced norm for a general function. As we shall see, the induced 2-norm for a linear system turns out to be the ∞-norm of the corresponding transfer functions, which is just the maximum gain as a function of the frequency. Hence for this particular norm, it can be computed by looking at the magnitude portion of a Bode plot (more on this in the next lecture).

Q: What are the criteria for a function to be piecewise continuous?

A function is piecewise continuous if it is continuous in finite length intervalsintervals.

Piecewise continuous Not piecewise continuous
f(x)={0ifx<01ifx>0 f(x)={0ifx≠01ifx=0

The first function is a step function, the second function is identically zero except at the single point x=0 (which is not a finite interval). Wikipedia has a pretty good description of this.

Q: How do ou evaluate CeA(t−τ)

The matrix exponential can be computing using the Jordan form for the matrix. Wikipedia has a pretty good description of this.

Q: Is ‖x‖∞ the same as limk→∞‖x‖k?

Yes.

Q: What is Cn[t0,t1]? A polynomial?

Cn[t0,t1] is the set of all continuous, Rn-value functions defined on the interval [t0,t1]. If n=1, then a polynomial would be an example of a function that is in the set Cn[t0,t1]. Similarly, the function et is also in Cn[t0,t1]. The function 1/(t−0.5) is not in Cn[0,1] since is not continuos at 0.5.