Matrix measures in the qualitative analysis of parametric uncertain systems (Q1036479): Difference between revisions

Summary: The paper considers parametric uncertain systems of the form \(\dot x(t)= Mx(t)\), \(M\in{\mathcal M}\), \({\mathcal M}\subset\mathbb R^{n\times n}\), where \({\mathcal M}\) is either a convex hull, or a positive cone of matrices, generated by the set of vertices \({\mathcal V}=\{M_1,M_2,\dots,M_K\}\subset\mathbb R^{n\times n}\). Denote by \(\mu_{\|\;\|}\) the matrix measure corresponding to a vector norm \(\|\;\|\). When \({\mathcal M}\) is a convex hull, the condition \(\mu_{\|\;\|}(M_k)\leq r<0\), \(1\leq k\leq K\), is necessary and sufficient for the existence of common strong Lyapunov functions and exponentially contractive invariant sets with respect to the trajectories of the uncertain system. When \({\mathcal M}\) is a positive cone, the condition \(\mu_{\|\;\|}(M_k)\leq 0\), \(1\leq k\leq K\), is necessary and sufficient for the existence of common weak Lyapunov functions and constant invariant sets with respect to the trajectories of the uncertain system. Both Lyapunov functions and invariant sets are described in terms of the vector norm \(\|\;\|\) used for defining the matrix measure \(\mu_{\|\;\|}\). Numerical examples illustrate the applicability of our results.