Extremal norms for positive linear inclusions

For finite-dimensional linear semigroups which leave a proper cone invariant it is shown that irreducibility with respect to the cone implies the existence of an extremal norm. In case the cone is simplicial a similar statement applies to absolute norms. The semigroups under consideration may be generated by discrete-time systems, continuous-time systems or continuous-time systems with jumps. The existence of extremal norms is used to extend results on the Lipschitz continuity of the joint spectral radius beyond the known case of semigroups that are irreducible in the representation theory interpretation of the word

Stability and Stabilization of Positive Switched Systems with Application to HIV Treatment

HIV mutates rapidly and may develop resistance to specific drug therapies. There is no general agreement on how to optimally schedule the treatments for mitigating the effects of mutations. We examine control strategies applied to two positive switched systems models of HIV under therapy. Simulation results show that model-based control approaches may outperform the common clinical treatment recommendationsope

The geometry of convex cones associated with the Lyapunov inequality and the common Lyapunov function problem

In this paper, the structure of several convex cones that arise in the study of Lyapunov functions is investigated. In particular, the cones associated with quadratic Lyapunov functions for both linear and non-linear systems are considered, as well as cones that arise in connection with diagonal and linear copositive Lyapunov functions for positive linear systems. In each of these cases, some technical results are presented on the structure of individual cones and it is shown how these insights can lead to new results on the problem of common Lyapunov function existence

An introduction to positive switched systems and their application to HIV treatment modeling

In the present work an introduction to positive switched systems is provided, along with an interesting application of this kind of systems to the biomededical area. Reflecting this twofold objective, the thesis is divided into two parts: in the first one classical theoretical aspects concerning positive switched systems are addressed by resorting to the Lyapunov function approach, while in the second part an application to the problem of drug treatment scheduling in HIV infection is presente

Stability of piecewise affine systems through discontinuous piecewise quadratic Lyapunov functions

State-dependent switched systems characterized by piecewise affine (PWA) dynamics in a polyhedral partition of the state space are considered. Sufficient conditions on the vectors fields such that the solution crosses the common boundaries of the polyhedra are expressed in terms of quadratic inequalities constrained to the polyhedra intersections. A piece-wise quadratic (PWQ) function, not necessarily continuous, is proposed as a candidate Lyapunov function (LF). The sign conditions and the negative jumps at the boundaries are expressed in terms of linear matrix inequalities (LMIs) via cone-copositivity. A sufficient condition for the asymptotic stability of the PWA system is then obtained by finding a PWQ-LF through the solution of a set LMIs. Numerical results with a conewise linear system and an opinion dynamics model show the effectiveness of the proposed approach

The geometry of convex cones associated with the Lyapunov inequality and the common Lyapunov function problem

In this paper, the structure of several convex cones that arise in the study of Lyapunov functions is investigated. In particular, the cones associated with quadratic Lyapunov functions for both linear and non-linear systems are considered, as well as cones that arise in connection with diagonal and linear copositive Lyapunov functions for positive linear systems. In each of these cases, some technical results are presented on the structure of individual cones and it is shown how these insights can lead to new results on the problem of common Lyapunov function existence