st_ility — stabilizability test
[ns, [nc, [,U [,Slo] ]]]=st_ility(Sl [,tol])
syslin list (linear system)
integer (dimension of stabilizable subspace)
integer (dimension of controllable subspace nc <= ns)
basis such that its ns (resp. nc) first components span the stabilizable (resp. controllable) subspace
a linear system (syslin list)
threshold for controllability detection (see contr)
Slo=( U'*A*U, U'*B, C*U, D, U'*x0 ) (syslin list)
displays the stabilizable form of Sl. Stabilizability means
ns=nx (dim. of A matrix).
[*,*,*] [*]
U'*A*U = [0,*,*] U'*B = [0]
[0,0,*] [0]
where (A11,B1) (dim(A11)= nc) is controllable and A22
(dim(A22)=ns-nc) is stable.
"Stable" means real part of eigenvalues negative for a continuous
linear system, and magnitude of eigenvalues lower than one for a
discrete-time system (as defined by syslin).