A refinement of Matrosov’s theorem for differential inclusions

This note presents a refinement of Matrosov’s theorem for a class of differential inclusions whose set-valued map is defined as a closed convex hull of finitely many vector fields. This class of systems may arise in the analysis of switched nonlinear systems when stability with arbitrary switching between the given vector fields is considered. Assuming uniform global stability of a compact set, it is shown that uniform global attractivity of the set can be verified by tailoring Matrosov functions to individual vector fields. This refinement of Matrosov’s theorem is an extension of the existing Matrosov results which may be easier to apply to certain differential inclusions than existing results, as demonstrated by an example.