This paper generalizes the Lasalle-Yoshizawa Theorem to switched nonsmooth systems. It is established that Filippov (Krasovskii) regularization of a switched system is contained within the convex hull of the Filippov (Krasovskii) regularizations of the subsystems. A common candidate Lyapunov function that has a negative semidefinite derivative along the trajectories of the subsystems is shown t...

This paper presents a converse Lyapunov function theorem motivated by robust control analysis and design. Our result is based upon, but generalizes, various aspects of wellknown classical theorems. In a unified and natural manner, it (1) allows arbitrary bounded timevarying parameters in the system description, (2) deals with global asymptotic stability, (3) results in smooth (infinitely differ...

A converse Lyapunov theorem is established for discrete-time stochastic systems with non-unique solutions. In order to prove the result, mild regularity conditions are imposed on the set-valued mapping that characterizes the update of the system state. It is shown that global asymptotic stability in probability implies the existence of a continuous Lyapunov function, smooth outside of the attra...

Most of the existing results on stochastic stability use a single Lyapunov function, but we shall instead use multiple Lyapunov functions in this paper to establish some sufficient criteria for locating the limit sets of solutions of stochastic differential equations. From them follow many useful results on stochastic asymptotic stability and boundedness, which enable us to construct the Lyapun...

We develop tools for investigation of input-to-state stability (ISS) of infinite-dimensional control systems. We show that for certain classes of admissible inputs the existence of an ISS-Lyapunov function implies the inputto-state stability of a system. Then for the case of the systems described by abstract equations in Banach spaces we develop two methods of construction of local and global I...

We prove a novel Lyapunov-based small-gain theorem for interconnections of n hybrid systems, which are not necessarily input-to-state stable. This result unifies and extends several small-gain theorems for hybrid and impulsive systems, proposed in the last few years. Also we show how the average dwell-time (ADT) clocks and reverse ADT clocks can be used to modify the Lyapunov functions for subs...

This paper presents a Converse Lyapunov Function Theorem motivated by robust control analysis and design. Our result is based upon, but generalizes, various aspects of well-known classical theorems. In a unified and natural manner, it (1) allows arbitrary bounded time-varying parameters in the system description, (2) deals with global asymptotic stability, (3) results in smooth (infinitely diff...

This paper investigates the practical exponential stability of equilibrium for impulsive systems. Stability theorem and converse stability theorem are established by employing the second Lyapunov method. These theorems are used to analyze the practical exponential stability of the zero solution of perturbed impulsive systems and cascaded impulsive systems.

This paper generalizes the Lasalle-Yoshizawa Theorem to switched nonsmooth systems. It is established that Filippov (Krasovskii) regularization of a switched system is contained within the convex hull of the Filippov (Krasovskii) regularizations of the subsystems. A common candidate Lyapunov function that has a negative semidefinite derivative along the trajectories of the subsystems is shown t...

In this paper we will extend the input-to-state stability (ISS) framework to continuous-time discontinuous dynamical systems adopting Filippov’s solution concept and using non-smooth ISS Lyapunov functions. The main motivation for adopting non-smooth ISS Lyapunov functions is that “multiple Lyapunov functions” are commonly used in the stability theory for hybrid systems. We will show that the e...