annotate scripts/control/dlqr.m @ 2325:b5568c31ee2c

[project @ 1996-07-15 22:20:21 by jwe]
author jwe
date Mon, 15 Jul 1996 22:20:21 +0000
parents 5ca126254d15
children 8b262e771614
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2313
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
1 ## Copyright (C) 1996 John W. Eaton
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
2 ##
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
3 ## This file is part of Octave.
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
4 ##
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
5 ## Octave is free software; you can redistribute it and/or modify it
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
6 ## under the terms of the GNU General Public License as published by
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
7 ## the Free Software Foundation; either version 2, or (at your option)
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
8 ## any later version.
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
9 ##
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
10 ## Octave is distributed in the hope that it will be useful, but
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
11 ## WITHOUT ANY WARRANTY; without even the implied warranty of
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
12 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
13 ## General Public License for more details.
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
14 ##
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
15 ## You should have received a copy of the GNU General Public License
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
16 ## along with Octave; see the file COPYING. If not, write to the Free
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
17 ## Software Foundation, 59 Temple Place - Suite 330, Boston, MA
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2312
diff changeset
18 ## 02111-1307, USA.
245
16a24e76d6e0 [project @ 1993-12-03 02:00:15 by jwe]
jwe
parents: 202
diff changeset
19
2311
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
20 ## Usage: [k, p, e] = dlqr (A, B, Q, R {,Z})
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
21 ##
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
22 ## Linear quadratic regulator design for the discrete time system
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
23 ##
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
24 ## x[k+1] = A x[k] + B u[k]
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
25 ##
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
26 ## to minimize the cost functional
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
27 ##
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
28 ## J = Sum { x' Q x + u' R u } Z omitted
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
29 ##
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
30 ## or
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
31 ##
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
32 ## J = Sum { x' Q x + u' R u +2 x' Z u} Z included
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
33 ##
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
34 ## Returns:
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
35 ##
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
36 ## k = state feedback gain, (A - B K) is stable
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
37 ## p = solution of algebraic Riccati equation
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
38 ## e = closed loop poles of (A - B K)
201
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
39
2312
204cc7db6f4a [project @ 1996-07-11 21:20:36 by jwe]
jwe
parents: 2311
diff changeset
40 ## Author: A. S. Hodel <scotte@eng.auburn.edu>
204cc7db6f4a [project @ 1996-07-11 21:20:36 by jwe]
jwe
parents: 2311
diff changeset
41 ## R. B. Tenison <btenison@eng.auburn.edu>
204cc7db6f4a [project @ 1996-07-11 21:20:36 by jwe]
jwe
parents: 2311
diff changeset
42 ## Created: August 1993
204cc7db6f4a [project @ 1996-07-11 21:20:36 by jwe]
jwe
parents: 2311
diff changeset
43 ## Adapted-By: jwe
201
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
44
2312
204cc7db6f4a [project @ 1996-07-11 21:20:36 by jwe]
jwe
parents: 2311
diff changeset
45 function [k, p, e] = dlqr (a, b, q, r, zz)
201
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
46
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
47 if (nargin != 4 && nargin != 5)
904
3470f1e25a79 [project @ 1994-11-09 21:22:15 by jwe]
jwe
parents: 245
diff changeset
48 error ("dlqr: invalid number of arguments");
201
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
49 endif
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
50
2303
5cffc4b8de57 [project @ 1996-06-24 09:15:24 by jwe]
jwe
parents: 1887
diff changeset
51 ## Check a.
201
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
52 if ((n = is_square (a)) == 0)
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
53 error ("dlqr: requires 1st parameter(a) to be square");
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
54 endif
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
55
2303
5cffc4b8de57 [project @ 1996-06-24 09:15:24 by jwe]
jwe
parents: 1887
diff changeset
56 ## Check b.
201
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
57 [n1, m] = size (b);
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
58 if (n1 != n)
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
59 error ("dlqr: a,b not conformal");
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
60 endif
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
61
2303
5cffc4b8de57 [project @ 1996-06-24 09:15:24 by jwe]
jwe
parents: 1887
diff changeset
62 ## Check q.
2325
b5568c31ee2c [project @ 1996-07-15 22:20:21 by jwe]
jwe
parents: 2313
diff changeset
63
201
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
64 if ((n1 = is_square (q)) == 0 || n1 != n)
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
65 error ("dlqr: q must be square and conformal with a");
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
66 endif
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
67
2303
5cffc4b8de57 [project @ 1996-06-24 09:15:24 by jwe]
jwe
parents: 1887
diff changeset
68 ## Check r.
201
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
69 if((m1 = is_square(r)) == 0 || m1 != m)
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
70 error ("dlqr: r must be square and conformal with column dimension of b");
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
71 endif
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
72
2303
5cffc4b8de57 [project @ 1996-06-24 09:15:24 by jwe]
jwe
parents: 1887
diff changeset
73 ## Check if n is there.
201
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
74 if (nargin == 5)
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
75 [n1, m1] = size (zz);
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
76 if (n1 != n || m1 != m)
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
77 error ("dlqr: z must be identically dimensioned with b");
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
78 endif
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
79
2303
5cffc4b8de57 [project @ 1996-06-24 09:15:24 by jwe]
jwe
parents: 1887
diff changeset
80 ## Incorporate cross term into a and q.
201
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
81
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
82 ao = a - (b/r)*zz';
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
83 qo = q - (zz/r)*zz';
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
84 else
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
85 zz = zeros (n, m);
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
86 ao = a;
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
87 qo = q;
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
88 endif
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
89
2303
5cffc4b8de57 [project @ 1996-06-24 09:15:24 by jwe]
jwe
parents: 1887
diff changeset
90 ## Check that q, (r) are symmetric, positive (semi)definite
201
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
91
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
92 if (is_symmetric (q) && is_symmetric (r) ...
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
93 && all (eig (q) >= 0) && all (eig (r) > 0))
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
94 p = dare (ao, b, qo, r);
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
95 k = (r+b'*p*b)\b'*p*a + r\zz';
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
96 e = eig (a - b*k);
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
97 else
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
98 error ("dlqr: q (r) must be symmetric positive (semi) definite");
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
99 endif
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
100
a5d54ad5cf9a [project @ 1993-11-08 21:39:23 by jwe]
jwe
parents:
diff changeset
101 endfunction