annotate scripts/control/lqr.m @ 76:c69be6819009

[project @ 1993-08-30 15:29:38 by jwe] Initial revision
author jwe
date Mon, 30 Aug 1993 15:29:38 +0000
parents
children 16a24e76d6e0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
76
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
1 function [k, p, e] = lqr (a, b, q, r, zz)
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
2
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
3 # Usage: [k, p, e] = lqr (A, B, Q, R {,Z})
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
4 #
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
5 # Linear quadratic regulator design for the continuous time system
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
6 #
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
7 # dx/dt = A x + B u
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
8 #
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
9 # to minimize the cost functional
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
10 #
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
11 # J = int_0^\infty{ x' Q x + u' R u } Z omitted
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
12 #
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
13 # or
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
14 #
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
15 # J = int_0^\infty{ x' Q x + u' R u +2 x' Z u} Z included
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
16 #
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
17 # Returns:
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
18 #
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
19 # k = state feedback gain, (A - B K) is stable
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
20 # p = solution of algebraic Riccati equation
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
21 # e = closed loop poles of (A - B K)
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
22
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
23 # Written by A. S. Hodel (scotte@eng.auburn.edu) August 1993.
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
24
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
25 if (nargin != 4 && nargin != 5)
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
26 error ("lqr: illegal number of arguments");
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
27 endif
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
28
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
29 # Check a.
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
30 if ((n = is_square (a)) == 0)
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
31 error ("lqr: requires 1st parameter(a) to be square");
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
32 endif
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
33
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
34 # Check b.
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
35 [n1, m] = size (b);
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
36 if (n1 != n)
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
37 error ("lqr: a,b not conformal");
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
38 endif
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
39
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
40 # Check q.
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
41
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
42 if ((n1 = is_square (q)) == 0 || n1 != n)
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
43 error ("lqr: q must be square and conformal with a");
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
44 endif
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
45
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
46 # Check r.
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
47 if((m1 = is_square(r)) == 0 || m1 != m)
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
48 error ("lqr: r must be square and conformal with column dimension of b");
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
49 endif
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
50
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
51 # Check if n is there.
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
52 if (nargin == 5)
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
53 [n1, m1] = size (zz);
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
54 if (n1 != n || m1 != m)
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
55 error ("lqr: z must be identically dimensioned with b");
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
56 endif
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
57
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
58 # Incorporate cross term into a and q.
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
59
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
60 ao = a - (b/r)*zz';
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
61 qo = q - (zz/r)*zz';
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
62 else
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
63 zz = zeros (n, m);
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
64 ao = a;
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
65 qo = q;
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
66 endif
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
67
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
68 # Check that q, (r) are symmetric, positive (semi)definite
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
69
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
70 if (is_symmetric (q) && is_symmetric (r) ...
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
71 && all (eig (q) >= 0) && all (eig (r) > 0))
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
72 p = are (ao, (b/r)*b', qo);
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
73 k = r\(b'*p + zz');
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
74 e = eig (a - b*k);
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
75 else
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
76 error ("lqr: q (r) must be symmetric positive (semi) definite");
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
77 endif
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
78
c69be6819009 [project @ 1993-08-30 15:29:38 by jwe]
jwe
parents:
diff changeset
79 endfunction