Necessary and Sufficient Small Gain Conditions for Integral Input-to-State Stable Systems: A Lyapunov Perspective

This paper is concerned with conditions for the stability of interconnected nonlinear systems consisting of integral input-to-state stable (iISS) systems with external inputs. The treatment of iISS and input-to-state stable (ISS) systems is unified. Both necessary conditions and sufficient conditions are investigated using a Lyapunov formulation. In the presence of model uncertainty, this paper proves that, for the stability of the interconnected system, at least one subsystem is necessarily ISS which is a stronger stability property in the set of iISS. The necessity of a small-gain-type property is also demonstrated. This paper proposes a common form of smooth Lyapunov functions which can establish the iISS and the ISS of the interconnection comprising iISS and ISS subsystems whenever the small-gain-type condition is satisfied. The result covers situations more general than the earlier study and removes technical conditions assumed in the previous literature. Global asymptotic stability is discussed as a special case.     

iISS and ISS dissipation inequalities: preservation and interconnection by scaling

In analysis and design of nonlinear dynamical systems, (nonlinear) scaling of Lyapunov functions has been a central idea. This paper proposes a set of tools to make use of such scalings and illustrates their benefits in constructing Lyapunov functions for interconnected nonlinear systems. First, the essence of some scaling techniques used extensively in the literature is reformulated in view of preservation of dissipation inequalities of integral input-to-state stability (iISS) and input-to-state stability (ISS). The iISS small-gain theorem is revisited from this viewpoint. Preservation of ISS dissipation inequalities is shown to not always be necessary, while preserving iISS which is weaker than ISS is convenient. By establishing relationships between the Legendre–Fenchel transform and the reformulated scaling techniques, this paper proposes a way to construct less complicated Lyapunov functions for interconnected systems.     

On integral input-to-state stability for a feedback interconnection of parameterised discrete-time systems

This paper addresses integral input-to-state stability (iISS) for a feedback interconnection of parameterised discrete-time systems involving two subsystems. Particularly, we give a construction for a smooth iISS Lyapunov function for the whole system from the sum of nonlinearly weighted Lyapunov functions of individual subsystems. Motivations for such a construction are given. We consider two main cases. The first one investigates iISS for the whole system when both subsystems are iISS. The second one gives iISS for the interconnected system when one of subsystems is allowed to be input-to-state stable. The approach is also valid for both discrete-time cascades and a feedback interconnection of iISS and static systems. Examples are given to illustrate the effectiveness of the results.     

Local ISS of large-scale interconnections and estimates for stability regions

We consider interconnections of locally input-to-state stable (LISS) systems. The class of LISS systems is quite large, in particular it contains input-to-state stable (ISS) and integral input-to-state stable (iISS) systems.Local small-gain conditions both for LISS trajectory and Lyapunov formulations guaranteeing LISS of the composite system are provided in this paper. Notably, estimates for the resulting stability region of the composite system are also given. This in particular provides an advantage over the linearization approach, as will be discussed.     

Input-to-state stability of impulsive and switching hybrid systems with time-delay

This paper investigates input-to-state stability (ISS) and integral input-to-state stability (iISS) of impulsive and switching hybrid systems with time-delay, using the method of multiple Lyapunov–Krasovskii functionals. It is shown that, even if all the subsystems governing the continuous dynamics, in the absence of impulses, are not ISS/iISS, impulses can successfully stabilize the system in the ISS/iISS sense, provided that there are no overly long intervals between impulses, i.e., the impulsive and switching signal satisfies a dwell-time upper bound condition. Moreover, these impulsive ISS/iISS stabilization results can be applied to systems with arbitrarily large time-delays. Conversely, in the case when all the subsystems governing the continuous dynamics are ISS/iISS in the absence of impulses, the ISS/iISS properties can be retained if the impulses and switching do not occur too frequently, i.e., the impulsive and switching signal satisfies a dwell-time lower bound condition. Several illustrative examples are presented, with their numerical simulations, to demonstrate the main results.     

Connection between cooperative positive systems and integral input-to-state stability of large-scale systems

We consider a class of continuous-time cooperative systems evolving on the positive orthant . We show that if the origin is globally attractive, then it is also globally stable and, furthermore, there exists an unbounded invariant manifold where trajectories strictly decay. This leads to a small-gain-type condition which is sufficient for global asymptotic stability (GAS) of the origin.We establish the following connection to large-scale interconnections of (integral) input-to-state stable (ISS) subsystems: If the cooperative system is (integral) ISS, and arises as a comparison system associated with a large-scale interconnection of (i)ISS systems, then the composite nominal system is also (i)ISS. We provide a criterion in terms of a Lyapunov function for (integral) input-to-state stability of the comparison system. Furthermore, we show that if a small-gain condition holds then the classes of systems participating in the large-scale interconnection are restricted in the sense that certain iISS systems cannot occur. Moreover, this small-gain condition is essentially the same as the one obtained previously by [Dashkovskiy et?al., 2007] and Dashkovskiy et al., in press for large-scale interconnections of ISS systems.     

带有不稳定子系统的切换非线性系统的积分输入状态稳定

本文针对带有不稳定子系统的切换非线性系统研究了系统的积分输入状态稳定性问题. 应用导数不定的 类Lyapunov函数得出切换非线性系统的积分输入状态稳定. 导数不定的类Lyapunov函数方法比传统的导数正定 的Lyapunov函数的方法更具有一般性. 文中包含两种情况: 当所有子系统为积分输入状态稳定时, 切换非线性系统 是积分输入状态稳定的; 当部分子系统为非积分输入状态稳定时, 本文证明了切换非线性系统的积分输入状态稳 定. 最后应用一个仿真例子描述了所提结果的有效性.     

Strong iISS is preserved under cascade interconnection

In a recent paper, we have introduced the notion of Strong iISS as a compromise between the strength of input-to-state stability (ISS) and the generality of integral ISS (iISS). In this note, we continue the investigations around this property by studying its behavior in an interconnection context. In particular, we show that the cascade of Strongly iISS systems is itself Strongly iISS and we recall some useful tools to study Strongly iISS systems in feedback interconnection.     

Further remarks on strict input-to-state stable Lyapunov functions for time-varying systems

We study the stability properties of a class of time-varying non-linear systems. We assume that non-strict input-to-state stable (ISS) Lyapunov functions for our systems are given and posit a mild persistency of excitation condition on our given Lyapunov functions which guarantee the existence of strict ISS Lyapunov functions for our systems. Next, we provide simple direct constructions of explicit strict ISS Lyapunov functions for our systems by applying an integral smoothing method. We illustrate our constructions using a tracking problem for a rotating rigid body.     

Output feedback for stochastic nonlinear systems with unmeasurable inverse dynamics

This paper considers a concrete stochastic nonlinear system with stochastic unmeasurable inverse dynamics. Motivated by the concept of integral input-to-state stability （iISS） in deterministic systems and stochastic input-to-state stability （SISS） in stochastic systems, a concept of stochastic integral input-to-state stability （SiISS） using Lyapunov functions is first introduced. A constructive strategy is proposed to design a dynamic output feedback control law, which drives the state to the origin almost surely while keeping all other closed-loop signals almost surely bounded. At last, a simulation is given to verify the effectiveness of the control law.     

Input-to-state stability and interconnections of discontinuous dynamical systems

In this paper we will extend the input-to-state stability (ISS) framework to continuous-time discontinuous dynamical systems (DDS) adopting piecewise smooth ISS Lyapunov functions. The main motivation for investigating piecewise smooth ISS Lyapunov functions is the success of piecewise smooth Lyapunov functions in the stability analysis of hybrid systems. This paper proposes an extension of the well-known Filippov’s solution concept, that is appropriate for ‘open’ systems so as to allow interconnections of DDS. It is proven that the existence of a piecewise smooth ISS Lyapunov function for a DDS implies ISS. In addition, a (small gain) ISS interconnection theorem is derived for two DDS that both admit a piecewise smooth ISS Lyapunov function. This result is constructive in the sense that an explicit ISS Lyapunov function for the interconnected system is given. It is shown how these results can be applied to construct piecewise quadratic ISS Lyapunov functions for piecewise linear systems (including sliding motions) via linear matrix inequalities.     

Input-to-state stability and integral input-to-state stability of nonlinear impulsive systems with delays

This paper is concerned with analyzing input-to-state stability (ISS) and integral-ISS (iISS) for nonlinear impulsive systems with delays. Razumikhin-type theorems are established which guarantee ISS/iISS for delayed impulsive systems with external input affecting both the continuous dynamics and the discrete dynamics. It is shown that when the delayed continuous dynamics are ISS/iISS but the discrete dynamics governing the impulses are not, the ISS/iISS property of the impulsive system can be retained if the length of the impulsive interval is large enough. Conversely, when the delayed continuous dynamics are not ISS/iISS but the discrete dynamics governing the impulses are, the impulsive system can achieve ISS/iISS if the sum of the length of the impulsive interval and the time delay is small enough. In particular, when one of the delayed continuous dynamics and the discrete dynamics are ISS/iISS and the others are stable for the zero input, the impulsive system can keep ISS/iISS no matter how often the impulses occur. Our proposed results are evaluated using two illustrative examples to show their effectiveness.     

Input-to-state stability of switched nonlinear systems

The input-to-state stability （ISS） problem is studied for switched systems with infinite subsystems. By using multiple Lyapunov function method, a sufficient ISS condition is given based on a quantitative relation of the control and the values of the Lyapunov functions of the subsystems before and after the switching instants. In terms of the average dwell-time of the switching laws, some sufficient ISS conditions are obtained for switched nonlinear systems and switched linear systems, respectively.     

Further results on input-to-state stability for nonlinear systems with delayed feedbacks

We consider a class of nonlinear control systems for which stabilizing feedbacks and corresponding Lyapunov functions for the closed-loop systems are available. In the presence of feedback delays and actuator errors, we explicitly construct input-to-state stability (ISS) Lyapunov-Krasovskii functionals for the resulting feedback delayed dynamics, in terms of the available Lyapunov functions for the original undelayed dynamics, which establishes that the closed-loop systems are input-to-state stable (ISS) with respect to actuator errors. We illustrate our results using a generalized system from identification theory and other examples.     

Quasi-exponential input-to-state stability for discrete-time impulsive hybrid systems

This paper investigates the problem of input-to-state stability (ISS) for the general discrete-time impulsive hybrid systems. Quasi-exponential input-to-state stability criteria are established for non-linear discrete-time impulsive hybrid systems, based on the Lyapunov function. The results are then specialized to the linear discrete-time impulsive hybrid systems and fairly simple algebraic conditions are derived. Moreover, ISS small-gain properties are also investigated for a class of interconnected discrete-time impulsive systems. Several examples are given to illustrate results.     

A characterization of integral input-to-state stability

The notion of input-to-state stability (ISS) is now recognized as a central concept in nonlinear systems analysis. It provides a nonlinear generalization of finite gains with respect to supremum norms and also of finite L² gains. It plays a central role in recursive design, coprime factorizations, controllers for nonminimum phase systems, and many other areas. In this paper, a newer notion, that of integral input-to-state stability (iISS), is studied. The notion of iISS generalizes the concept of finite gain when using an integral norm on inputs but supremum norms of states, in that sense generalizing the linear “H²” theory. It allows one to quantify sensitivity even in the presence of certain forms of nonlinear resonance. We obtain several necessary and sufficient characterizations of the iISS property, expressed in terms of dissipation inequalities and other alternative and nontrivial characterizations     

Capability and limitation of max- and sum-type construction of Lyapunov functions for networks of iISS systems

This paper addresses the problem of verifying stability of networks whose subsystems admit dissipation inequalities of integral input-to-state stability (iISS). We focus on two ways of constructing a Lyapunov function satisfying a dissipation inequality of a given network. Their difference from one another is elucidated from the viewpoint of formulation, relation, fundamental limitation and capability. One is referred to as the max-type construction resulting in a Lipschitz continuous Lyapunov function. The other is the sum-type construction resulting in a continuously differentiable Lyapunov function. This paper presents geometrical conditions under which the Lyapunov construction is possible for a network comprising $n\ge 2$ subsystems. Although the sum-type construction for general $n>2$ has not yet been reduced to a readily computable condition, we obtain a simple condition of iISS small gain in the case of $n=2$. It is demonstrated that the max-type construction fails to offer a Lyapunov function if the network contains subsystems which are not input-to-state stable (ISS).     

ISS-Lyapunov functions for time-varying hyperbolic systems of balance laws

A family of time-varying hyperbolic systems of balance laws is considered. The partial differential equations of this family can be stabilized by selecting suitable boundary conditions. For the stabilized systems, the classical technique of construction of Lyapunov functions provides a function which is a weak Lyapunov function in some cases, but is not in others. We transform this function through a strictification approach to obtain a time-varying strict Lyapunov function. It allows us to establish asymptotic stability in the general case and a robustness property with respect to additive disturbances of input-to-state stability (ISS) type. Two examples illustrate the results.     

An invariance kernel representation of ISDS Lyapunov functions

We apply set valued analysis techniques in order to characterize the input-to-state dynamical stability (ISDS) property, a variant of the well known input-to-state stability (ISS) property. Using a suitable augmented differential inclusion we are able to characterize the epigraphs of minimal ISDS Lyapunov functions as invariance kernels. This characterization gives new insight into local ISDS properties and provides a basis for a numerical approximation of ISDS and ISS Lyapunov functions via set oriented numerical methods.     

Input-to-state dynamical stability and its Lyapunov function characterization

We present a new variant of the input-to-state stability (ISS) property which is based on using a one-dimensional dynamical system for building the class /spl Kscr//spl Lscr/ function for the decay estimate and for describing the influence of the perturbation. We show the relation to the original ISS formulation and describe characterizations by means of suitable Lyapunov functions. As applications, we derive quantitative results on stability margins for nonlinear systems and a quantitative version of a small gain theorem for nonlinear systems.