On universal classes of Lyapunov functions for linear switched systems

In this paper we discuss the notion of universality for classes of candidate common Lyapunov functions of linear switched systems. On the one hand, we prove that a family of absolutely homogeneous functions is universal as soon as it approximates arbitrarily well every convex absolutely homogeneous function for the $C^0$ topology of the unit sphere. On the other hand, we prove several obstructions for a class to be universal, showing, in particular, that families of piecewise-polynomial continuous functions whose construction involves at most $l$ polynomials of degree at most $m$ (for given positive integers $l,m$) cannot be universal.