Thread Subject: How to change this inequality to LMI form?

Subject: How to change this inequality to LMI form?

From: Qiming Zhao

Date: 15 Jun, 2009 13:56:01

Message: 1 of 2

Here is an inequality:
A'P + PA - P*B*inv(R)*B'*P + e*P*D*D'*P + (1/e)*E'*E < 0.
 I use Schur complement lemma to change it into LMI:
[ A'P+PA+(1/e)*E'*E PB PD
            * -R 0
            * * -inv(e)] < 0
Using LMI toolbox, the message "These LMI constraints were found infeasible" pops up.
The correct answer is that the LMI is feasible. Is the LMI form I translate wrong?
What is the right form of the LMI?
Thanks in advance!

Subject: How to change this inequality to LMI form?

From: J

Date: 29 Aug, 2009 16:48:04

Message: 2 of 2

"Qiming Zhao" <widemanzhao@yahoo.com.cn> wrote in message <h15jth$8l9$1@fred.mathworks.com>...
> Here is an inequality:
> A'P + PA - P*B*inv(R)*B'*P + e*P*D*D'*P + (1/e)*E'*E < 0.
> I use Schur complement lemma to change it into LMI:
> [ A'P+PA+(1/e)*E'*E PB PD
> * -R 0
> * * -inv(e)] < 0
> Using LMI toolbox, the message "These LMI constraints were found infeasible" pops up.
> The correct answer is that the LMI is feasible. Is the LMI form I translate wrong?
> What is the right form of the LMI?
> Thanks in advance!

It looks like your LMI should be

[A'P+PA+1/e E'*E PB PD
         * inv(R) 0
         * * -inv(e) ] < 0

I am having trouble with feasp returning "cannot determine feasibility" and also with mincx returning solutions that it thinks are feasible, but in fact are not. Have you found these sort of issues in your work?

-J

Tags for this Thread

Everyone's Tags:

Add a New Tag:

Separated by commas
Ex.: root locus, bode

What are tags?

A tag is like a keyword or category label associated with each thread. Tags make it easier for you to find threads of interest.

Anyone can tag a thread. Tags are public and visible to everyone.

Tag Activity for This Thread
Tag Applied By Date/Time
lmi Qiming Zhao 15 Jun, 2009 09:59:10
schur complemen... Qiming Zhao 15 Jun, 2009 09:59:10
rssFeed for this Thread

Contact us at files@mathworks.com