This paper presents sufficient conditions for almost global stability of nonlinear switched systems consisting of both stable and unstable subsystems. Techniques from the stability analysis of switched systems have been combined with the multiple Lyapunov density approach - recently proposed by the authors for the almost global stability of nonlinear switched systems composed of stable subsystems. By using slow switching for stable subsystems and fast switching for unstable subsystems lower and upper bounds for mode-dependent average dwell times are obtained. In addition to that, by allowing each subsystem to perform slow switching and using some restrictions on total operation time of unstable subsystems and stable subsystems, we have obtained a lower bound for an average dwell time.

A sufficient condition for the almost global sta-bility of nonlinear switched systems under average dwell timerestriction is obtained. This condition is derived leaning uponthe existence of multiple Lyapunov densities, which are associ-ated to subsystems and satisfy some compatibility conditions.An upper bound for the average dwell time that ensures almostglobal stability is obtained.

One of the notable temporal properties of dynamical systems is that a set of initial states leads the solutions to reach desired states avoiding a predetermined unsafe set.This property, that we call safe reachability has been studied in literature for autonomous systems using Barrier functionand Barrier densities [1]. In this paper, we generalize a sufficient condition for safe reachability of autonomous systemto switched systems under arbitrary switching signals. The condition relies upon the existence of a common Barrier density function for each subsystem. We apply the condition using the sum of squares method together with Putinar Positivstellensatz.

For a dynamical system, it is known that the existence of a Lyapunov density implies almost global stability of an equilibrium. It is then natural to ask whether the existence of a common Lyapunov density for a nonlinear switched system implies almost global stability, in the same way as a common Lyapunov function implies global stability for nonlinear switched systems. In this work, the answer to this question is shown to be affirmative as long as switchings satisfy a dwell-time constraint with an arbitrarily small dwell time. As a straightforward extension of this result, we employ multiple Lyapunov densities in analogy with the role of multiple Lyapunov functions for the global stability of switched systems. This gives rise to a minimum dwell time estimate to ensure almost global stability of nonlinear switched systems, when a common Lyapunov density does not exist. The results obtained for continuous-time switched systems are based on some sufficient conditions for the almost global stability of discrete-time non-autonomous systems. These conditions are obtained using the duality between Frobenius-Perron operator and Koopman operator.