|
7017
|
1 ## Copyright (C) 1998, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007 |
|
|
2 ## Kai P. Mueller. |
|
5016
|
3 ## |
|
3441
|
4 ## This file is part of Octave. |
|
|
5 ## |
|
|
6 ## Octave is free software; you can redistribute it and/or modify it |
|
7016
|
7 ## under the terms of the GNU General Public License as published by |
|
|
8 ## the Free Software Foundation; either version 3 of the License, or (at |
|
|
9 ## your option) any later version. |
|
3441
|
10 ## |
|
7016
|
11 ## Octave is distributed in the hope that it will be useful, but |
|
|
12 ## WITHOUT ANY WARRANTY; without even the implied warranty of |
|
|
13 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
|
|
14 ## General Public License for more details. |
|
3441
|
15 ## |
|
|
16 ## You should have received a copy of the GNU General Public License |
|
7016
|
17 ## along with Octave; see the file COPYING. If not, see |
|
|
18 ## <http://www.gnu.org/licenses/>. |
|
3441
|
19 |
|
|
20 ## -*- texinfo -*- |
|
4611
|
21 ## @deftypefn {Function File} {@var{retval} =} is_stabilizable (@var{sys}, @var{tol}) |
|
|
22 ## @deftypefnx {Function File} {@var{retval} =} is_stabilizable (@var{a}, @var{b}, @var{tol}, @var{dflg}) |
|
|
23 ## Logical check for system stabilizability (i.e., all unstable modes are controllable). |
|
6653
|
24 ## Returns 1 if the system is stabilizable, 0 if the system is not stabilizable, -1 |
|
5016
|
25 ## if the system has non stabilizable modes at the imaginary axis (unit circle for |
|
|
26 ## discrete-time systems. |
|
3441
|
27 ## |
|
5016
|
28 ## Test for stabilizability is performed via Hautus Lemma. If |
|
|
29 ## @iftex |
|
|
30 ## @tex |
|
|
31 ## @var{dflg}$\neq$0 |
|
|
32 ## @end tex |
|
|
33 ## @end iftex |
|
|
34 ## @ifinfo |
|
|
35 ## @var{dflg}!=0 |
|
|
36 ## @end ifinfo |
|
|
37 ## assume that discrete-time matrices (a,b) are supplied. |
|
|
38 ## @seealso{size, rows, columns, length, ismatrix, isscalar, isvector |
|
|
39 ## is_observable, is_stabilizable, is_detectable} |
|
5642
|
40 ## @end deftypefn |
|
3441
|
41 |
|
|
42 ## Author: A. S. Hodel <a.s.hodel@eng.auburn.edu> |
|
|
43 ## Created: August 1993 |
|
|
44 ## Updated by A. S. Hodel (scotte@eng.auburn.edu) Aubust, 1995 to use krylovb |
|
|
45 ## Updated by John Ingram (ingraje@eng.auburn.edu) July, 1996 to accept systems |
|
|
46 |
|
4611
|
47 function retval = is_stabilizable (a, b, tol, dflg) |
|
3441
|
48 |
|
4611
|
49 if(nargin < 1) |
|
6046
|
50 print_usage (); |
|
4030
|
51 elseif(isstruct(a)) |
|
4611
|
52 ## system passed. |
|
3441
|
53 if(nargin == 2) |
|
|
54 tol = b; % get tolerance |
|
|
55 elseif(nargin > 2) |
|
6046
|
56 print_usage (); |
|
3441
|
57 endif |
|
4611
|
58 disc = is_digital(a); |
|
3814
|
59 [a,b] = sys2ss(a); |
|
3441
|
60 else |
|
|
61 ## a,b arguments sent directly. |
|
4611
|
62 if ((nargin > 4)||(nargin == 1)) |
|
6046
|
63 print_usage (); |
|
3441
|
64 endif |
|
4611
|
65 if(exist("dflg")) |
|
|
66 disc = dflg; |
|
|
67 else |
|
|
68 disc = 0; |
|
|
69 end |
|
3441
|
70 endif |
|
|
71 |
|
4611
|
72 if(~exist("tol")) |
|
|
73 tol = 200*eps; |
|
|
74 end |
|
|
75 |
|
3441
|
76 |
|
4611
|
77 ## Checking dimensions |
|
|
78 n = is_square(a); |
|
|
79 if (n==0) |
|
|
80 error("is_stabilizable: a must be square"); |
|
|
81 end |
|
|
82 [nr,m] = size(b); |
|
|
83 if (nr!=n) |
|
|
84 error("is_stabilizable: (a,b) not conformal"); |
|
|
85 end |
|
|
86 |
|
|
87 ##Computing the eigenvalue of A |
|
|
88 L = eig(a); |
|
|
89 retval = 1; |
|
|
90 specflag = 0; |
|
|
91 for i=1:n |
|
|
92 if (disc==0) |
|
|
93 ## Continuous time case |
|
|
94 rL = real(L(i)); |
|
|
95 if (rL>=0) |
|
|
96 H = [eye(n)*L(i)-a, b]; |
|
|
97 f = (rank(H,tol)==n); |
|
|
98 if (f==0) |
|
|
99 retval = 0; |
|
|
100 if (rL==0) |
|
|
101 specflag = 1; |
|
|
102 end |
|
|
103 end |
|
|
104 end |
|
3441
|
105 else |
|
4611
|
106 ## Discrete time case |
|
|
107 rL = abs(L(i)); |
|
|
108 if (rL>=1) |
|
|
109 H = [eye(n)*L(i)-a, b]; |
|
|
110 f = (rank(H,tol)==n); |
|
|
111 if (f==0) |
|
|
112 retval = 0; |
|
|
113 if (rL==1) |
|
|
114 specflag = 1; |
|
|
115 end |
|
|
116 end |
|
|
117 end |
|
|
118 end |
|
|
119 end |
|
|
120 if (specflag==1) |
|
|
121 ## This means that the system has uncontrollable modes at the imaginary axis |
|
|
122 ## (or at the unit circle for discrete time systems) |
|
|
123 retval = -1; |
|
|
124 end |
