annotate scripts/control/are.m @ 73:f3c9042fd609

[project @ 1993-08-30 14:49:08 by jwe]
author jwe
date Mon, 30 Aug 1993 14:54:55 +0000
parents b973bf9a9dba
children 1cc0af4496c6
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
55
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
1 function x = are (a, b, c, opt)
26
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
2
73
f3c9042fd609 [project @ 1993-08-30 14:49:08 by jwe]
jwe
parents: 55
diff changeset
3 # Usage: x = are (a, b, c {,opt})
26
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
4 #
55
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
5 # Solves algebraic riccati equation
26
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
6 #
55
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
7 # a' x + x a - x b x + c = 0
26
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
8 #
55
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
9 # for identically dimensioned square matrices a, b, c. If b (c) is not
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
10 # square, then the function attempts to use b * b' (c' * c) instead.
26
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
11 #
55
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
12 # opt is an option passed to the eigenvalue balancing routine; default
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
13 # is `B'.
26
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
14 #
73
f3c9042fd609 [project @ 1993-08-30 14:49:08 by jwe]
jwe
parents: 55
diff changeset
15 # See also: balance
f3c9042fd609 [project @ 1993-08-30 14:49:08 by jwe]
jwe
parents: 55
diff changeset
16
f3c9042fd609 [project @ 1993-08-30 14:49:08 by jwe]
jwe
parents: 55
diff changeset
17 # Written by A. S. Hodel (scotte@eng.auburn.edu) August 1993.
26
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
18
55
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
19 if (nargin == 3 || nargin == 4)
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
20 if (nargin == 4)
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
21 if (! (strcmp (opt, "N") || strcmp (opt, "P") ...
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
22 || strcmp (opt, "S") || strcmp (opt, "B") ...
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
23 || strcmp (opt, "n") || strcmp (opt, "p") ...
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
24 || strcmp (opt, "s") || strcmp (opt, "b")))
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
25 printf ("warning: are: opt has an illegal value; setting to B");
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
26 opt = "B";
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
27 endif
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
28 else
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
29 opt = "B";
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
30 endif
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
31 if ((n = is_square(a)) == 0)
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
32 error ("are: a is not square");
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
33 endif
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
34
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
35 if (is_controllable(a,b) == 0)
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
36 printf("warning: are: a, b are not controllable");
26
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
37 endif
55
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
38 if ((m = is_square (b)) == 0)
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
39 b = b * b';
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
40 m = rows (b);
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
41 endif
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
42 if (is_observable (a, c) == 0)
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
43 printf ("warning: are: a,c are not observable");
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
44 endif
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
45 if ((p = is_square (c)) == 0)
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
46 c = c' * c;
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
47 p = rows (c);
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
48 endif
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
49 if (n != m || n != p)
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
50 error ("are: a, b, c not conformably dimensioned.");
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
51 endif
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
52
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
53 # Should check for controllability/observability here
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
54 # use Boley-Golub (Syst. Contr. Letters, 1984) method, not the
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
55 #
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
56 # n-1
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
57 # rank ([ B A*B ... A^ *B]) method
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
58
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
59 [u, s] = schur (balance ([a, -b; -c, -a'], opt), "A");
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
60 n1 = n + 1;
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
61 n2 = 2 * n;
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
62 x = u (n1:n2, 1:n) / u (1:n, 1:n);
26
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
63 else
55
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
64 error("usage: x = are (a, b, c)")
26
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
65 endif
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
66
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
67 endfunction