授業
Advanced Automation†
[lecture #1] 2015.9.3 outline of the lecture, review of classical and modern control theory (1/3)†
- outline of this lecture
- syllabus
- evaluation
- mini report #1 ... 10%
- mini exam #1 ... 10%
- mini report #2 ... 10%
- mini exam #2 ... 10%
- final report ... 60%
- schedule2015 (tentative)
- map
- review : stabilization of 1st-order unstable plant by classical and modern control theory
- transfer function
- differential equation
- eigenvalue and pole
- ...
!!! the remaining page is under construction (the contents below are from 2014) !!!
#ref(): File not found: "2014.09.11-1.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.09.11-2.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.09.11-3.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.09.11-4.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.09.11-5.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.09.11-6.jpg" at page "授業/制御工学特論2015"
[lecture #2] 2014.9.18 CACSD introduction with review of classical and modern control theory (2/3)†
- introduction of Matlab and Simulink
text_fixed.pdf Basic usage of MATLAB and Simulink used for 情報処理演習及び考究II/Consideration and Practice of Information Processing II: Advanced Course of MATLAB
- How to define open-loop system
- TF
s = tf('s');
T1 = 1 / (s+1);
T2 = 1 / (s^2 + 0.1*s + 1);
- SSR
A = [-0.3, -1; 1, 0];
B = [1; 0];
C = [0, 1];
D = 0;
S3 = ss(A, B, C, D);
- Bode plot
bode(T1, 'b-', T2, 'g', S3, 'r--');
grid on;
- open-loop stability can be checked by
- poles of TF
roots(T2.den{:})
- eigenvalues of A-matrix in SSR
eig(S3.a)
- also by simulation
#ref(): File not found: "mod0918_1.mdl" at page "授業/制御工学特論2015"
- closed-loop stability
L = 1/(s^3+1.5*s^2+1.5*s+1); % example of open-loop system
roots(L.den{:}) % confirm the open-loop system is stable
- graphical test by Nyquist stability criterion and Bode plot with GM(gain margin) and PM(phase margin)
nyquist(L)
bode(L)
- numerical test by closed-loop system
clp_den = L.den{:} + L.num{:};
roots(clp_den)
- simulation
#ref(): File not found: "mod0918_2.mdl" at page "授業/制御工学特論2015"
%-- 9/18/2014 1:06 PM --%
t = [1 2 3]
u = [1;2;3]
V = [1 2 3; 4 5 6; 7 8 9]
t'
t'*t
who
k=0:0.1:10:
k=0:0.1:10;
y = sin(k);
whos
plot(x,y)
plot(k,y)
foo
print -djpeg sin.jpg
s = tf('s');
T1 = 1/(s+1)
T2 = 1/(s^2+0.1*s+1);
A = [-0.3, -1; 1, 0];
B = [1; 0];
C = [0, 1];
D = 0;
S3 = ss(A, B, C, D);
A
B
S3
bode(T1, 'b-', T2, 'g', S3, 'r--');
grid on;
T2
T3 = tf(S3);
T3
T2
T2.num
T2.num{:}
T2.den{:}
roots(T2.den{:})
S3
S3.a
eig(S3.a)
mod0918_1
bode(T1, 'b-', T2, 'g', S3, 'r--');
grid on;
roots(L.den{:})
L
L = 1/(s^3+1.5*s^2+1.5*s+1);
L
roots(L.den{:})
nyquist(L)
bode(L)
grid on
nyquist(L)
L
clp_den = L.den{:} + L.num{:};
clp_den
roots(clp_den)
mod0918_2
#ref(): File not found: "2014.09.18-1.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.09.18-2.jpg" at page "授業/制御工学特論2015"
[] 2015.9.17 cancelled†
[lecture #3] 2014.9.25 CACSD introduction with review of classical and modern control theory (3/3)†
- LQR problem
- controllability
- cost function J >= 0
- (semi)-positive definiteness
- solution of LQR problem
- ARE and quadratic equation
- closed loop stability ... Lyapunov criterion
- Jmin
proof4.pdf (from B
43「動的システムの解析と制御」)
- example
&ref(): File not found: "mod0925.mdl" at page "授業/制御工学特論2015";
A = [1, 2; 0, -1]; % unstable plant
B = [0; 1];
Uc = ctrb(A,B);
det(Uc) % should be nonzero
C = eye(2); % dummy
D = zeros(2,1); % dummy
F = [0, 0]; % without control
x0 = [1; 1]; % initial state
Q = eye(2);
R = 1;
P = are(A, B/R*B', Q);
P-P' % should be zero
eig(P) % should be positive
F = R\B'*P;
%-- 9/25/2014 2:17 PM --%
A = [1, 2; 0, -1]; % unstable plant
B = [0; 1];
Uc = ctrb(A,B);
Uc
det(Uc)]
det(Uc)
C = eye(2); % dummy
D = zeros(2,1); % dummy
F = [0, 0]; % without control
x0 = [1; 1]; % initial state
mod0925
Q = eye(2);
R = 1;
P = are(A, B/R*B', Q);
P-P' % should be zero
eig(P) % should be positive
F = R\B'*P;
F
J
x0
x0'*P*x0
&ref(): File not found: "2014.09.25-1.jpg" at page "授業/制御工学特論2015"; ... sorry for the mistake in Uc ! The correct one is
\[ U_c := \left[\begin{array}{ccccc} B & AB & A^2 B & \cdots & A^{n-1} B \end{array}\right] \]
#ref(): File not found: "2014.09.25-2.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.09.25-3.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.09.25-4.jpg" at page "授業/制御工学特論2015"
[lecture #4] 2014.10.2 Intro. to robust control theory (H infinity control theory) 1/3†
- review map_v1.0_intro1.pdf
- advantage and disadvantage of the modern control theory
- explicit consideration of plant uncertainty ---> robust control theory
- Typical design problems of H infinity control theory
- robust stabilization
- performance optimization
- robust performance problem (robust stability and performance optimization are simultaneously considered)
- H infinity norm
- H infinity control problem
- performance optimization example : reference tracking problem
- relation to the sensitivity function S(s) (S(s) -> 0 is desired but impossible)
- given control system
&ref(): File not found: "ex1002_1.m" at page "授業/制御工学特論2015";
- controller design with H infinity control theory
&ref(): File not found: "ex1002_2.m" at page "授業/制御工学特論2015";
%-- 10/2/2014 12:57 PM --%
ex1002_1
ex1002_2
s = tf('s')
T1 = 1/(s+1)
norm(T1,inf)
T2 = s/(s+1)
norm(T2,inf)
bode(T1)
T3 = 10/(s+2)
bode(T3)
ex1002_1
ex1002_2
K
K_hinf
ex1002_2
eig(K_hinf.a)
#ref(): File not found: "2014.10.02-1.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.10.02-2.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.10.02-3.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.10.02-4.jpg" at page "授業/制御工学特論2015"
[lecture #5] 2014.10.09 Intro. to Robust Control Theory (H infinity control theory) 2/3†
- Typical design problems
- robust stabilization
- performance optimization
- robust performance problem (robust stability and performance optimization are simultaneously considered)
- connection between [H infinity control problem] and [robust stabilization problem]
- small gain theorem
- normalized uncertainty \Delta
- sketch proof ... Nyquist stability criterion
- How to design robust stabilizing controller with H infinity control problem ?
- practical example : unstable plant with perturbation
#ref(): File not found: "ex1009_1.m" at page "授業/制御工学特論2015"
- how to use uncertainty model (multiplicative uncertainty model)
#ref(): File not found: "ex1009_2.m" at page "授業/制御工学特論2015"
- how to set generalized plant G ?
#ref(): File not found: "ex1009_3.m" at page "授業/制御工学特論2015"
- simulation
#ref(): File not found: "mod1009.mdl" at page "授業/制御工学特論2015"
%-- 10/9/2014 1:01 PM --%
ex1009_1
ex1009_2
ex1009_3
mod1009
c
#ref(): File not found: "2014.10.09-1.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.10.09-2.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.10.09-3.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.10.09-4.jpg" at page "授業/制御工学特論2015"
[lecture #6] 2014.10.16 Intro. to robust control theory (H infinity control theory) (3/3)†
- review
- robust stabilization ... (1) ||WT T||_inf < 1 (for multiplicative uncertainty)
- performance optimization ... (2) ||WS S||_inf < gamma -> min
- mixed sensitivity problem ... simultaneous consideration of stability and performance
- a sufficient condition for (1) and (2) ... (*) property of maximum singular value
- definition of singular value
- mini report #1
- write by hand
- submit at the beginning of next lecture on 23 Oct.
- check if your answer is correct or not before submission by using Matlab
- You will have a mini exam #1 related to this report on 30 Oct.
- meaning of singular value ... singular value decomposition (SVD)
- proof of (*)
- example
#ref(): File not found: "ex1016.m" at page "授業/制御工学特論2015"
%-- 10/16/2014 1:00 PM --%
M = [j, 0; -j, 1]
M
svd(M)
sqrt((3+sqrt(5))/2)
M'
M'*M
ex1016
#ref(): File not found: "2014.10.16-1.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.10.16-2.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.10.16-3.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.10.16-4.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.10.16-5.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.10.16-6.jpg" at page "授業/制御工学特論2015"
[lecture #7] 2014.10.23 review of SVD, robust performance problem 1/3 (motivation of robust performance)†
- submission of mini report #1
- review of SVD : graphical image and rotation matrix for 2-by-2 real matrix case
#ref(): File not found: "ex1023_1.m" at page "授業/制御工学特論2015"
- motivation of robust performance : nominal performance to robust performance
#ref(): File not found: "ex1023_2.m" at page "授業/制御工学特論2015"
#ref(): File not found: "ex1023_3.m" at page "授業/制御工学特論2015"
%-- 10/23/2014 12:58 PM --%
ex1023_1
A
S
V
V'*V
V'*V(:,1)
ex1009_1
ex1009_2
ex1023_2
ex1023_3
#ref(): File not found: "2014.10.23-1.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.10.23-2.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.10.23-3.jpg" at page "授業/制御工学特論2015"
- Q1: Is H infinity control theory available for discrete-time system ?
- A1: The answer is yes. You can use the same tool hinfsyn in Matlab to design discrete-time controller. If the question is to ask how to implement digital (discrete-time) controller for given continuous-time plant, there are 3 ways to do this: (i) continuous-time H infinity control based design (continuous-time controller is designed, then it is discretized); (ii) discretized H infinity control design (continuous-time plant is discretized first, then discrete-time controller is designed); (iii) sampled-data H infinity control design (discrete-time controller is directly designed for continuous-time plant)
[lecture #8] 2014.10.30 Robust performance problem (2/3)†
- return of mini report #1
- review of the limitation of mixed sensitivity problem
- diffinition of robust performance (R.P.) problem (cf. nominal performance problem on white board #6 in photo #4 of lecture #4) ... S is changed to S
- review of robust stability (R.S.) problem on white board #5 in photo #5 of lecture #3 ... robust stability against Delta <=> closed-loop system without Delta has less-than-or-equal-to-one H infinity norm (by small gain theorem)
- equivalent R.P. problem with structured uncertainty Delta_hat
- a conservative problem to R.P. with 2-by-2 unstructured uncertainty Delta_tilde
- Delta_tilde is larger set than Delta_hat ... conservativeness
- mini exam #1
&ref(): File not found: "exam1.pdf" at page "授業/制御工学特論2015";
%-- 10/30/2014 1:10 PM --%
ex1023_2
ex1023_3
gam_opt
ex1030_1
gam_opt
#ref(): File not found: "2014.10.30-1.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.10.30-2.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.10.30-3.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.10.30-4.jpg" at page "授業/制御工学特論2015"
[lecture #9] 2014.11.13 Robust performance problem (3/3)†
%-- 11/13/2014 12:58 PM --%
ex1023_2
gam_opt
ex1023_3
ex1030_1
gam_opt
ex1113
ex1113_1
gam_opt
ex1113_2
#ref(): File not found: "2014.11.13-1.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.11.13-2.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.11.13-3.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.11.13-4.jpg" at page "授業/制御工学特論2015"
[lecture #10] 2014.11.20 Robust performance problem (1/3) (cont.)†
- review - effect of scaling
- mini report #2
- write by hand
- submit at the beginning of next lecture on 27 Nov.
- check if your answer is correct or not before submission by using Matlab
- You will have a mini exam #2 related to this report on 4 Dec.
- how to obtain generalized plant by hand
example: H infinity controller design by hand
%-- 11/20/2014 1:11 PM --%
ex1023_2
ex1023_3
ex1030_1
ex1030_2
k
ex1113_1
ex1113_2
k
Delta_hat
#ref(): File not found: "2014.11.20-1.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.11.20-2.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.11.20-3.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.11.20-4.jpg" at page "授業/制御工学特論2015"
[lecture #11] 2014.11.27 relation between H infinity control and modern control theory†
- mini report #2 submit
- outline
- state-feedback H infinity control and LQR
- output-feedback H infinity control and LQG
- simple example
- find controller by hand <---> ans. by hinfsyn
&ref(): File not found: "ex1127.m" at page "授業/制御工学特論2015";
- relation to LQR
- H infinity norm = L2 induced norm
- how to construct the worst case input ?
&ref(): File not found: "mod1127.mdl" at page "授業/制御工学特論2015";
- general case
&ref(): File not found: "J_hinf.pdf" at page "授業/制御工学特論2015";
%-- 11/27/2014 1:51 PM --%
ex1127
1/sqrt(2)
ex1127
2*(sqrt(2)-1)
mod1127
x0 = 0
h = 1
f = 1
zz
ww
#ref(): File not found: "2014.11.27-1.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.11.27-2.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.11.27-3.jpg" at page "授業/制御工学特論2015"
- Q: \[ \dot x, z \] の導出過程(ホワイトボード◯2)がわからなかった
- A: \[ \left[ \begin{array}{c} w \\ u \end{array} \right], \left[ \begin{array}{c} z \\ y \end{array} \right] \] をそれぞれ入力、出力とする一般化プラント \[ G = \left[ \begin{array}{c|c} A & B \\ \hline C & D \end{array} \right] \] に対して、次式が成り立ちます。
\[ \dot x = A x + B \left[ \begin{array}{c} w \\ u \end{array} \right] \]
\[ \left[ \begin{array}{c} z \\ y \end{array} \right] = C x + D \left[ \begin{array}{c} w \\ u \end{array} \right] \]
ただし、x は G の状態で、
\[
A = a = -1, \quad
B = \left[ \begin{array}{cc} 1 & b \end{array} \right] = \left[ \begin{array}{cc} 1 & 1 \end{array} \right], \quad
C = \left[ \begin{array}{c} \sqrt{q} \\ 0 \\ 1 \end{array} \right]
= \left[ \begin{array}{c} 1 \\ 0 \\ 1 \end{array} \right], \quad
D = \left[ \begin{array}{cc} 0 & 0 \\ 0 & \sqrt{r} \\ 0 & 0 \end{array} \right]
= \left[ \begin{array}{cc} 0 & 0 \\ 0 & 1 \\ 0 & 0 \end{array} \right]
\]
です。状態空間表現の表記によります。これと、u = -f x より、導出されます。
[lecture #12] 2014.12.4 relation between H infinity control and modern control theory (cont.); Speed control of two inertia system with servo motor (1/4)†
- return of mini report #2
- contents for the last lecture
speed control of two inertia system with servo motor
&ref(): File not found: "setup.pdf" at page "授業/制御工学特論2015";
frequency response experiment and physical model of speed control system
&ref(): File not found: "ex1204_1.m" at page "授業/制御工学特論2015";
&ref(): File not found: "ex1204_2.dat" at page "授業/制御工学特論2015";
- mini exam #2
%-- 12/4/2014 1:28 PM --%
ex1127
mod1127
x0 = 0
h = 1
f = 1
ww
zz
h = 10
ww
zz
h = 50
zz
h
zz
#ref(): File not found: "2014.12.4-1.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.12.4-2.jpg" at page "授業/制御工学特論2015"
[lecture #13] 2014.12.11 Robust control design for a practical system : Speed control of two inertia system with servo motor (1/3)†
- return of mini exam #2
- introduction of experimental setup
#ref(): File not found: "setup.pdf" at page "授業/制御工学特論2015"
#ref(): File not found: "photo1.jpg" at page "授業/制御工学特論2015"
- objective of control system
- to reduce the tracking error of the driving motor against disturbance torque
- robust stabilization against plant variation due to aging degradation
- frequency response experiment and physical model of speed control system
#ref(): File not found: "ex1211_1.m" at page "授業/制御工学特論2015"
#ref(): File not found: "ex1211_2.dat" at page "授業/制御工学特論2015"
#ref(): File not found: "ex1211_3.dat" at page "授業/制御工学特論2015"
#ref(): File not found: "ex1211_4.dat" at page "授業/制御工学特論2015"
determination of nominal plant
&ref(): File not found: "ex1211_5.m" at page "授業/制御工学特論2015";
determination of weighting function
&ref(): File not found: "ex1211_6.m" at page "授業/制御工学特論2015";
%-- 12/11/2014 1:24 PM --%
ex1211_1
frdata
frdata(:,1)
P1_jw
P1_g
ex1211_1
#ref(): File not found: "2014.12.11-1.jpg" at page "授業/制御工学特論2015"
- Q: What is the inertia moment of the load disk ?
- A: It is about 0.0002 (kg m^2) (60mm in diameter, 16mm in inner diameter, 20mm in thick, made by SS400)
- Q: 周波数応答実験について、定常応答になるのにどのくらい待っているか?音が大きくなるのはゲインが高いから?周波数変化のきざみは?
- A: 待ち時間は3秒です。音の発生源はよくわかりませんし、騒音計などで計測したこともありませんが、大きな音が聞こえるのは共振周波数付近です。周波数変化の刻みは常用対数で0.01です。以下に掲載するプログラムソースの freqresp.h 中で指定しています。
[lecture #14] 2014.12.18 Robust control design for a practical system : Speed control of two inertia system with servo motor (2/3)†
- design example
- m-files
#ref(): File not found: "freqresp.m" at page "授業/制御工学特論2015"
#ref(): File not found: "perf.m" at page "授業/制御工学特論2015"
>> freqresp
>> nominal
>> weight
>> cont
>> perf
- control experiment ... see participant list2014
- report
- design your controller(s) so that the system performance is improved compared with the design example above
- Draw the following figures and explain the difference between two control systems (your controller and the example above):
- bode diagram of controllers
- gain characteristic of sensitivity function
- time response of control experiment
- Why is the performance of your system improved(or unfortunately deteriorated)?
- due date: 9th(Fri) Jan 17:00
- submit your report(pdf or doc) by e-mail to kobayasi@nagaokaut.ac.jp
- You can use Japanese
- maximum controller order is 20
- submit your cont.dat, cont_order.dat, and cont.mat to kobayasi@nagaokaut.ac.jp not later than 26th(Fri) Dec
- program sources for frequency response experiment
#ref(): File not found: "freqresp.h" at page "授業/制御工学特論2015"
#ref(): File not found: "freqresp_module.c" at page "授業/制御工学特論2015"
#ref(): File not found: "freqresp_app.c" at page "授業/制御工学特論2015"
- format of datafile
- 1st column ... frequency (Hz)
- 2nd column ... gain from T_M to omega_M
- 3rd column ... phase from T_M to omega_M
- 4th column ... gain from T_M to omega_L
- 5th column ... phase from T_M to omega_L
- program sources for control experiment
#ref(): File not found: "hinf.h" at page "授業/制御工学特論2015"
#ref(): File not found: "hinf_module.c" at page "授業/制御工学特論2015"
#ref(): File not found: "hinf_app.c" at page "授業/制御工学特論2015"
- format of result.dat file
- 1st column: time (s)
- 2nd column: omega_M (rad/s)
- 3rd column: T_M (Nm)
- 4th column: reference speed (rad/s)
- 5th column: T_L (Nm)
- configuration of control experiment
- calculation of rotational speed
The rotational speed is approximately calculated by using difference for one sampling period in hinf_module.c and freqresp_module.c like:
theta_rad = (double)read_theta(0) / (double)Pn212 * 2 * M_PI;
speed_rad = (theta_rad - theta_rad_before) / msg->sampling_period;
theta_rad_before = theta_rad
where the sampling period is given as 0.25 ms.
participant list2014
%-- 12/18/2014 1:01 PM --%
freqresp
nominal
help fitfrd
weight
cont
help c2d
perf
#ref(): File not found: "2014.12.18-1.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.12.18-2.jpg" at page "授業/制御工学特論2015"
[lecture #15] 2014.12.25 Robust control design for a practical system : Speed control of two inertia system with servo motor (3/3)†
- preparation of your own controller(s)
%-- 12/25/2014 12:58 PM --%
load cont.mat
who
K_opt
who
Kd
who
Ghat
load result.dat
plot(result(:,1), result(:,2))
plot(result(:,1), result(:,3))
who
bode(K_opt)
bode(Kd)
Kd1 = Kd
K_opt1 = K_opt
load cont.mat
bode(K_opt1, 'b', K_opt, 'r')
bode(Kd1, 'b', Kd, 'r')
Kd_tmp = c2d(K_opt1, 0.000001);
bode(Kd1, 'b', Kd, 'r', Kd_tmp, 'm')
clear all
load cont.mat
who
bode(K_opt)
K_example = K_opt;
load cont.mat
bode(K_example, 'b', K_opt, 'r')
#ref(): File not found: "2014.12.25-1.jpg" at page "授業/制御工学特論2015"
#ref(): File not found: "2014.12.25-2.jpg" at page "授業/制御工学特論2015"