New characterizations of input-to-state stability

We present new characterizations of the input-to-state stability property. As a consequence of these results, we show the equivalence between the ISS property and several (apparent) variations proposed in the literature     

On characterizations of the input-to-state stability property

We show that the well-known Lyapunov sufficient condition for “input-to-state stability” (ISS) is also necessary, settling positively an open question raised by several authors during the past few years. Additional characterizations of the ISS property, including one in terms of nonlinear stability margins, are also provided.     

Limits of input-to-state stability

The relations between attractors, input-to-state-stability, and controllability properties are discussed. In particular it is shown that loss of the attractor property under perturbations is connected with a qualitative change in the controllability properties due to a ‘merger’ with a control set.     

Singular perturbations and input-to-state stability

This paper establishes a type of total stability for the input-to-state stability property with respect to singular perturbations. In particular, if the boundary layer system is uniformly globally asymptotically stable and the reduced system is input-to-state stable with respect to disturbances, then these properties continue to hold, up to an arbitrarily small offset, for initial conditions, disturbances, and their derivatives in an arbitrarily large compact set as long as the singular perturbation parameter is sufficiently small     

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     

Stochastic input-to-state stability of switched stochastic nonlinear systems

In this paper, global asymptotic stability in probability (GASiP) and stochastic input-to-state stability (SISS) for nonswitched stochastic nonlinear (nSSNL) systems and switched stochastic nonlinear (SSNL) systems are investigated. For the study of GASiP, the definition which we considered is not the usual notion of asymptotic stability in probability (stability in probability plus attractivity in probability); it can depict the properties of the system quantitatively. Correspondingly, based on this definition, some sufficient conditions are provided for nSSNL systems and SSNL systems. Furthermore, the definition of SISS is introduced and corresponding criteria are provided for nSSNL systems and SSNL systems. In the proof of the above results, to overcome the difficulties coming with the appearance of switching and the stochastic property at the same time, we generalize the past comparison principle and fully use the properties of the functions which we constructed. In terms of the average dwell-time of the switching laws, a sufficient SISS condition is obtained for SSNL systems. Finally, some examples are provided to demonstrate the applicability of our results.     

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.     

Lyapunov conditions for input-to-state stability of impulsive systems

This paper introduces appropriate concepts of input-to-state stability (ISS) and integral-ISS for impulsive systems, i.e., dynamical systems that evolve according to ordinary differential equations most of the time, but occasionally exhibit discontinuities (or impulses). We provide a set of Lyapunov-based sufficient conditions for establishing these ISS properties. When the continuous dynamics are ISS, but the discrete dynamics that govern the impulses are not, the impulses should not occur too frequently, which is formalized in terms of an average dwell-time (ADT) condition. Conversely, when the impulse dynamics are ISS, but the continuous dynamics are not, there must not be overly long intervals between impulses, which is formalized in terms of a novel reverse ADT condition. We also investigate the cases where (i) both the continuous and discrete dynamics are ISS, and (ii) one of these is ISS and the other only marginally stable for the zero input, while sharing a common Lyapunov function. In the former case, we obtain a stronger notion of ISS, for which a necessary and sufficient Lyapunov characterization is available. The use of the tools developed herein is illustrated through examples from a Micro-Electro-Mechanical System (MEMS) oscillator and a problem of remote estimation over a communication network.     

The input-to-state stability condition and global stabilization ofdiscrete-time systems

In this paper the discrete-time analog of the input-to-state stability condition introduced by Sontag [1989-1991]for the continuous-time case is presented together with two theorems dealing with global stabilization of discrete-time systems. The corresponding proofs are discrete analogs of those presented for the continuous-time case. It is shown that the assumptions of the main results for the discrete-time case are weaker than those imposed in the continuous-time case     

Nonuniform in time input-to-state stability and the small-gain theorem

For time-varying control systems various equivalent characterizations of the nonuniform in time input-to-state stability (ISS) property are established. These characterizations enable us to derive sufficient conditions for nonuniform in time ISS concerning composite time-varying systems. Our main result generalizes the well-known small-gain theorem due to Jiang-Teel-Praly for autonomous systems under the presence of uniform in time ISS.     

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.     

Passive learning and input-to-state stability of switched Hopfield neural networks with time-delay

In this paper, we propose a new passive weight learning law for switched Hopfield neural networks with time-delay under parametric uncertainty. Based on the proposed passive learning law, some new stability results, such as asymptotical stability, input-to-state stability (ISS), and bounded input-bounded output (BIBO) stability, are presented. An existence condition for the passive weight learning law of switched Hopfield neural networks is expressed in terms of strict linear matrix inequality (LMI). Finally, numerical examples are provided to illustrate our results.     

Avoiding local minima in the potential field method using input-to-state stability

Supported by a novel field definition and recent control theory results, a new method to avoid local minima is proposed. It is formally shown that the system has an attracting equilibrium at the target point, repelling equilibriums in the obstacle centers and saddle points on the borders. Those unstable equilibriums are avoided capitalizing on the established Input-to-State Stability (ISS) property of this multistable system. The proposed modification of the PF method is shown to be effective by simulation for a two variable integrator and then applied to a unicycle-like wheeled mobile robots which is subject to additive input disturbances.     

On input-to-state stability of systems with time-delay: A matrix inequalities approach

Nonlinear matrix inequalities (NLMIs) approach, which is known to be efficient for stability and L₂-gain analysis, is extended to input-to-state stability (ISS). We first obtain sufficient conditions for ISS of systems with time-varying delays via Lyapunov-Krasovskii method. NLMIs are derived then for a class of systems with delayed state-feedback by using the S-procedure. If NLMIs are feasible for all x, then the results are global. When NLMIs are feasible in a compact set containing the origin, bounds on the initial state and on the disturbance are given, which lead to bounded solutions. The numerical examples of sampled-data quantized stabilization illustrate the efficiency of the method.     

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.     

Stabilization in spite of matched unmodeled dynamics and an equivalent definition of input-to-state stability

We consider nonlinear systems with input-to-output stable (IOS) unmodeled dynamics which are in the range of the input. Assuming the nominal system is globally asymptotically stabilizable and a nonlinear small-gain condition is satisfied, we propose a first control law such that all solutions of the perturbed system are bounded and the state of the nominal system is captured by an arbitrarily small neighborhood of the origin. The design of this controller is based on a gain assignment result which allows us to prove our statement via a Small-Gain Theorem [JTP, Theorem 2.1]. However, this control law exhibits a high-gain feature for all values. Since this may be undesirable, in a second stage we propose another controller with different characteristics in this respect. This controller requires morea priori knowledge on the unmodeled dynamics, as it is dynamic and incorporates a signal bounding the unmodeled effects. However, this is only possible by restraining the IOS property into the exp-IOS property. Nevertheless, we show that, in the case of input-to-state stability (ISS)—the output is the state itself-ISS and exp—ISS are in fact equivalent properties.Yuan Wang was supported in part by NSF Grant DMS-9403924 and by a scholarship from Université Lyon I, France.     

Integral input-to-state stability for hybrid delayed systems with unstable continuous dynamics

This paper considers integral input-to-state stability (iISS) for a class of hybrid time-delay systems. Discrete dynamics includes impulsive and switching signals, and continuous dynamics is not necessarily stable. Based on multiple Lyapunov–Krasovskii functionals, a dwell-time bound is explicitly given to guarantee iISS of the hybrid delayed system. Compared with existing results on related problems, the obtained stability criteria can be applied to a larger class of hybrid delayed systems. Moreover, the obtained dwell-time bound is less conservative than existing ones. At last, an example related to networked control systems (NCSs) is provided to illustrate the effectiveness of the proposed result.     

A unified framework for input-to-state stability in systems with two time scales

This paper develops a unified framework for studying robustness of the input-to-state stability (ISS) property and presents new results on robustness of ISS to slowly varying parameters, to rapidly varying signals, and to generalized singular perturbations. The common feature in these problems is a time-scale separation between slow and fast variables which permits the definition of a boundary layer system like in classical singular perturbation theory. To address various robustness problems simultaneously, the asymptotic behavior of the boundary layer is allowed to be complex and it generates an average for the derivative of the slow state variables. The main results establish that if the boundary layer and averaged systems are ISS then the ISS bounds also hold for the actual system with an offset that converges to zero with the parameter that characterizes the separation of time-scales. The generality of the framework is illustrated by making connection to various classical two time-scale problems and suggesting extensions.