The product of the two positive definite matrices

63 Views Asked by At

I met a problem in Lyapunov stability proof:

$\dot{V}\leq -c\delta^T\bigg[\mathbb{T}\bigg((\mathbb{L}+G)\otimes(BR^{-1}B^T)\bigg)\bigg]\delta $

where $\mathbb{T}$ is a symmetric and positive definite matrix. $(\mathbb{L}+G)$ is a positive definite and non-symmetric matrix. $(BR^{-1}B^T)$ is a symmetric and positive definite matrix. $c>0$. $\delta$ is state error vector (tracking problem).

My question is how can I continue to work on that to claim that $\dot{V}<0$?

thanks

Jie