Given particular instance of decision variables, evaluate all variable terms in system of LMIs |
您所在的位置:网站首页 › lmis怎么读 › Given particular instance of decision variables, evaluate all variable terms in system of LMIs |
evallmi Given particular instance of decision variables, evaluate all variable terms in system of LMIs Syntaxevalsys = evallmi(lmisys,decvars) Descriptionevallmi evaluates all LMI constraints for a particular instance decvars of the vector of decision variables. Recall that decvars fully determines the values of the matrix variables X1, . . ., XK. The “evaluation” consists of replacing all terms involving X1, . . ., XK by their matrix value. The output evalsys is an LMI system containing only constant terms. The function evallmi is useful for validation of the LMI solvers' output. The vector returned by these solvers can be fed directly to evallmi to evaluate all variable terms. The matrix values of the left and right sides of each LMI are then returned by showlmi. Observationevallmi is meant to operate on the output of the LMI solvers. To evaluate all LMIs for particular instances of the matrix variables X1, . . ., XK, first form the corresponding decision vector x with mat2dec and then call evallmi with x as input. ExamplesConsider the feasibility problem of finding X > 0 such that ATXA – X + I < 0 where A=(0.5−0.20.1−0.7). This LMI system is defined by: setlmis([]) X = lmivar(1,[2 1]) % full symmetric X lmiterm([1 1 1 X],A',A) % LMI #1: A'*X*A lmiterm([1 1 1 X],-1,1) % LMI #1: -X lmiterm([1 1 1 0],1) % LMI #1: I lmiterm([-2 1 1 X],1,1) % LMI #2: X lmis = getlmisTo compute a solution xfeas, call feasp by [tmin,xfeas] = feasp(lmis)The result is tmin = -4.7117e+00 xfeas' = 1.1029e+02 -1.1519e+01 1.1942e+02The LMI constraints are therefore feasible since tmin < 0. The solution X corresponding to the feasible decision vector xfeas would be given by X = dec2mat(lmis,xfeas,X). To check that xfeas is indeed feasible, evaluate all LMI constraints by typing evals = evallmi(lmis,xfeas)The left and right sides of the first and second LMIs are then given by [lhs1,rhs1] = showlmi(evals,1) [lhs2,rhs2] = showlmi(evals,2)and the test eig(lhs1-rhs1) ans = -8.2229e+01 -5.8163e+01confirms that the first LMI constraint is satisfied by xfeas. Version HistoryIntroduced before R2006a See Alsoshowlmi | setmvar | dec2mat | mat2dec |
CopyRight 2018-2019 办公设备维修网 版权所有 豫ICP备15022753号-3 |