Exercise 3

Problem 1

Consider the systems LaTeX: P_1(s)  = 87.5 \frac{s + 1/5}{(s-5)(s + 10)}P1(s)=87.5s+1/5(s5)(s+10) and LaTeX: P_2(s) = 50 \frac{(1/5 - s)(s + 5)}{ (1/5 + s)(5 - s) (s + 10)}
P2(s)=50(1/5s)(s+5)(1/5+s)(5s)(s+10)

  1. Factorize both systems into minimum phase and normalized nonminimum phase components.
  2. Compute step responses for both systems. As the systems are unstable, simulate for LaTeX: t\in\left\lbrack0,1\right\rbrackt[0,1]. Are the systems very different?
  3. Plot the nyquists, nichols and bode diagrams for the loop transfer function LaTeX: L = PCL=PC where the controller is given by LaTeX: C=1+\frac{1}{s}C=1+1s. Which (if any) of the closed loops are stable? Why/Why not?
  4. Where applicable, design a low-pass filtered PI controller that does not inject too much noise, gives closed-loop bandwidth of about 15 rad/s, and Ms < 1.4 and Mt < 2.

Problem 2

Show that LaTeX: \left| \frac{z \bar p - 1}{z - p} \right| = 1|zˉp1zp|=1 for all LaTeX: zz on the unit circle.

Problem 3

The purpose of this exercise is to translate the nonminimum phase elements of lecture 4 to discrete time. Factor the following systems into minimum phase and all-pass nonminimum phase elements, LaTeX: P = P_\text{mp} P_\text{nmp}P=PmpPnmpsuch that LaTeX: P_\text{mp}(1) > 0Pmp(1)>0 and LaTeX: |P_\text{nmp}(z)| = 1, \quad \forall |z| = 1|Pnmp(z)|=1,|z|=1. Furthermore, for sampling time LaTeX: h = 0.01h=0.01 plot the bode diagrams of LaTeX: P_\text{nmp}Pnmp.

  1. Unstable zero in LaTeX: z_0 = 1.02z0=1.02 , LaTeX: P(z) = z_0 - zP(z)=z0z
  2. Unstable pole LaTeX: p_0 = 1.01p0=1.01, LaTeX: P(z) = \frac{1}{z - p_0}P(z)=1zp0
  3. unstable pole zero pair with LaTeX: p_0 = 1.01p0=1.01, LaTeX: z_0 = 1.02z0=1.02, LaTeX: P(z) = \frac{z_0 - z}{z - p}P(z)=z0zzp
  4. Unstable pole zero pair with LaTeX: p_0 = 1.02p0=1.02 ,LaTeX: z_0 = 1.01z0=1.01, LaTeX: P(z) = \frac{z_0 - z}{z - p}P(z)=z0zzp

Problem 4

In continuous time, a rhp zero in LaTeX: z_0z0 limits the bandwidth of the sensitivity function: let LaTeX: S_\text{req}(s) = \frac{s M_s}{s + aM_s}Sreq(s)=sMss+aMs and requireLaTeX: |S(i\omega)| < |S_\text{req}(i\omega)||S(iω)|<|Sreq(iω)| for LaTeX: \omega \in [0, \infty)ω[0,), then LaTeX: a < z \frac{M_s - 1}{M_s}a<zMs1Ms. Derive a discrete-time version.

Problem 5

Sketch the level curves in the complex plane of LaTeX: \textrm{Re}(1/z) = cRe(1/z)=c

Problem 6

Use QFT design on the uncertain system

LaTeX: P(s) = \frac{k}{(s + a)(s + b)}, \quad k \in [1, 10], \quad a \in [1, 5], \quad b \in [20, 30]P(s)=k(s+a)(s+b),k[1,10],a[1,5],b[20,30].

The specifications are:

  • LaTeX: \max_\omega |T(i\omega| < 1.2maxω|T(iω|<1.2
  • LaTeX: |S(i\omega)| \leq \left| \frac{0.02s^3 + 1.28s^2 + 14.96s + 48}{s^2 + 14.4\textcolor{red}{s} + 169}\right||S(iω)||0.02s3+1.28s2+14.96s+48s2+14.4s+169| for LaTeX: \omega \in [0, 10]ω[0,10] rad/s
  • LaTeX: |PS(i\omega)| \leq 0.01|PS(iω)|0.01 forLaTeX: \omega \in [0, 50]ω[0,50] rad/s

HINT: This is Example 1 in the manual for the QFTIT tool.

Problem 7

  1. Let LaTeX: H(s)H(s) be a strictly proper transfer function that has all its poles in the half plane LaTeX: \textrm{Re}\ s \leq - \alphaRe sα for some LaTeX: \alpha > 0α>0, i.e. LaTeX: H(s)H(s) is analytic on LaTeX: \textrm{Re } s > -\alphaRe s>α. Let LaTeX: h(t)h(t) be the corresponding time domain function, i.e. LaTeX: H = \mathcal L hH=Lh, where LaTeX: \mathcal LL denotes the Laplace transform. Show that for any LaTeX: \textrm{Re } s_0 > -\alphaRe s0>α we have LaTeX: \int_0^\infty e^{-s_0 t}h(t) dt = \lim_{s\to s_0} H(s)0es0th(t)dt=limss0H(s). Hint: Look at the definition of the (one-sided) Laplace transform.
  2. For a process LaTeX: P(s)P(s) and controller LaTeX: C(s)C(s). Consider our standard error feedback configuration, i.e. the 2-DOF configuration with LaTeX: F = IF=I. Suppose that the closed loop is stable. Show that for a reference step input
    1. If LaTeX: \lim_{s\to0}\textcolor{red}{s}P(s)C(s)=c_1lims0sP(s)C(s)=c1, for some LaTeX: 0 < |c_1| < \infty0<|c1|<, then LaTeX: \lim_{t \to \infty} e(t) = 0limte(t)=0 and LaTeX: \int_0^\infty e(t)dt = \frac{1}{c_1}0e(t)dt=1c1
    2. If LaTeX: \lim_{s \to 0}s^2 P(s)C(s) = c_2lims0s2P(s)C(s)=c2, for some LaTeX: 0 < |c_2| < \infty0<|c2|<, then LaTeX: \lim_{t \to \infty} e(t) = 0limte(t)=0 and LaTeX: \int_0^\infty e(t) dt = 00e(t)dt=0
      Hint: Consider LaTeX: P(s)C(s) = \tilde L(s) / sP(s)C(s)=˜L(s)/s where LaTeX: \lim_{s \to 0}\tilde L(s) = c_1lims0˜L(s)=c1 and apply the final value theorem.
  3. Suppose that a process LaTeX: P(s)P(s) has an unstable pole at LaTeX: s = ps=p such that LaTeX: \textrm{Re}\ p > 0Re p>0. Show that if the closed loop is stable, then for a reference step input
    1. LaTeX: \int_0^\infty e^{-pt}e(t) dt = 00epte(t)dt=0
    2. LaTeX: \int_0^\infty e^{-pt}y(t)dt = \frac{1}{p}0epty(t)dt=1p
      Hint: Interpolation constraints, use the result in A
  4. Suppose instead that LaTeX: P(s)P(s) has an unstable zero at LaTeX: s = zs=z such that LaTeX: \textrm{Re}\ p > 0Re p>0. Show that if the closed loop is stable, then for a reference step input
    1. LaTeX: \int_0^\infty e^{-qt}e(t)dt = \frac{1}{q}0eqte(t)dt=1q
    2. LaTeX: \int_0^\infty e^{-qt}y(t) = 00eqty(t)=0
  5. Discuss implications of B, C and D on overshoot and undershoot.