annotate scripts/control/sysmin.m @ 3284:f7e4a95916f2

[project @ 1999-10-13 21:37:04 by jwe]
author jwe
date Wed, 13 Oct 1999 21:37:40 +0000
parents 6dd06d525de6
children 69b167451491
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3279
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
1 # Copyright (C) 1996 Auburn University. All rights reserved.
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
2 #
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
3 # This file is part of Octave.
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
4 #
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
5 # Octave is free software; you can redistribute it and/or modify it
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
6 # under the terms of the GNU General Public License as published by the
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
7 # Free Software Foundation; either version 2, or (at your option) any
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
8 # later version.
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
9 #
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
10 # Octave is distributed in the hope that it will be useful, but WITHOUT
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
11 # ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
12 # FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
13 # for more details.
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
14 #
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
15 # You should have received a copy of the GNU General Public License
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
16 # along with Octave; see the file COPYING. If not, write to the Free
3284
f7e4a95916f2 [project @ 1999-10-13 21:37:04 by jwe]
jwe
parents: 3279
diff changeset
17 # Software Foundation, 59 Temple Place, Suite 330, Boston, MA 02111 USA.
3279
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
18 #
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
19 # Written by A. S. Hodel a.s.hodel@eng.auburn.edu
6dd06d525de6 [project @ 1999-10-12 16:52:40 by jwe]
jwe
parents: 3276
diff changeset
20
3276
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
21 function [retsys,nc,no,cflg,oflg] = sysmin(sys,flg);
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
22 # [retsys,nc,no] = sysmin(sys{,flg});
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
23 # return a minimal (or reduced order) system
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
24 # inputs:
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
25 # sys: system data structure
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
26 # flg: 0 [default] return minimal system; state names lost
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
27 # : 1 return system with physical states removed that
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
28 # are either uncontrollable or unobservable
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
29 # (cannot reduce further without discarding physical
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
30 # meaning of states)
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
31 # outputs:
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
32 # retsys: returned system
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
33 # nc: number of controllable states in the returned system
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
34 # no: number of observable states in the returned system
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
35 # cflg: is_controllable(retsys)
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
36 # oflg: is_observable(retsys)
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
37
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
38 switch(nargin)
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
39 case(1), flg = 0;
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
40 case(2), jnk = flg; # dummy operation
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
41 otherwise,
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
42 usage("[retsys,nc,no] = sysmin(sys{,flg})");
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
43 endswitch
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
44 dflg = is_digital(sys,flg);
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
45 Ts = sysgettsam(sys);
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
46 switch(flg)
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
47 case(0),
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
48 # reduce to a minimal system
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
49 [aa,bb,cc,dd] = sys2ss(sys);
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
50 [cflg,Uc] = is_controllable(aa,bb);
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
51 if(!cflg)
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
52 # reduce to controllable states
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
53 if(!isempty(Uc))
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
54 aa = Uc'*aa*Uc;
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
55 bb = Uc'*bb;
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
56 cc = cc*Uc;
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
57 else
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
58 aa = bb = cc = [];
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
59 endif
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
60 endif
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
61 if(!isempty(aa))
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
62 [oflg,Uo] = is_observable(aa,cc);
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
63 if(!oflg)
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
64 if(!isempty(Uo))
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
65 aa = Uo'*aa*Uo;
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
66 bb = Uo'*bb;
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
67 cc = cc*Uo;
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
68 else
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
69 aa = bb = cc = [];
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
70 endif
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
71 endif
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
72 endif
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
73 switch(dflg)
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
74 case(0),
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
75 nc = no = nn = columns(aa);
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
76 nz = 0;
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
77 case(1),
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
78 nc = no = nz = columns(aa);
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
79 nn = 0;
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
80 endswitch
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
81 inname = sysgetsignals(sys,"in");
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
82 outname= sysgetsignals(sys,"out");
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
83 retsys = ss2sys(aa,bb,cc,dd,Ts,nn,nz,[],inname,outname);
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
84 case(1),
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
85 # reduced model with physical states
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
86 [cflg,Uc] = is_controllable(sys); xc = find(max(abs(Uc')) != 0);
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
87 [oflg,Uo] = is_observable(sys); xo = find(max(abs(Uo')) != 0);
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
88 xx = intersection(xc,xo);
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
89 if(isempty(xx)) xx = 0; endif # signal no states in reduced model
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
90 retsys = sysprune(sys,[],[],xx);
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
91 otherwise,
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
92 error("illegal value of flg=%d",flg);
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
93 endswitch
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
94 if(sysdimensions(retsys,"st") > 0)
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
95 [cflg,Uc] = is_controllable(retsys); nc = columns(Uc);
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
96 [oflg,Uo] = is_observable(retsys); no = columns(Uo);
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
97 else
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
98 nc = no = 0;
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
99 endif
edf6e4852287 [project @ 1999-10-12 05:49:45 by jwe]
jwe
parents:
diff changeset
100 endfunction