annotate scripts/control/are.m @ 55:b973bf9a9dba

[project @ 1993-08-11 21:42:23 by jwe]
author jwe
date Wed, 11 Aug 1993 21:42:23 +0000
parents e90ea9cbd4de
children f3c9042fd609
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
55
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
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 #
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
15 # see also: balance
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
16
55
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
17 if (nargin == 3 || nargin == 4)
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
18 if (nargin == 4)
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
19 if (! (strcmp (opt, "N") || strcmp (opt, "P") ...
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
20 || strcmp (opt, "S") || strcmp (opt, "B") ...
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
21 || 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 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
24 opt = "B";
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
25 endif
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
26 else
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
27 opt = "B";
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
28 endif
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
29 if ((n = is_square(a)) == 0)
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
30 error ("are: a is not square");
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
31 endif
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
32
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
33 if (is_controllable(a,b) == 0)
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
34 printf("warning: are: a, b are not controllable");
26
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
35 endif
55
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
36 if ((m = is_square (b)) == 0)
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
37 b = b * b';
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
38 m = rows (b);
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
39 endif
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
40 if (is_observable (a, c) == 0)
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
41 printf ("warning: are: a,c are not observable");
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
42 endif
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
43 if ((p = is_square (c)) == 0)
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
44 c = c' * c;
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
45 p = rows (c);
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
46 endif
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
47 if (n != m || n != p)
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
48 error ("are: a, b, c not conformably dimensioned.");
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
49 endif
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
50
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
51 # Should check for controllability/observability here
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
52 # 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
53 #
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
54 # n-1
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
55 # rank ([ B A*B ... A^ *B]) method
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
56
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
57 [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
58 n1 = n + 1;
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
59 n2 = 2 * n;
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
60 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
61 else
55
b973bf9a9dba [project @ 1993-08-11 21:42:23 by jwe]
jwe
parents: 26
diff changeset
62 error("usage: x = are (a, b, c)")
26
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
63 endif
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
64
e90ea9cbd4de [project @ 1993-08-10 20:56:55 by jwe]
jwe
parents:
diff changeset
65 endfunction