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.     

A degree of flexibility in Lyapunov inequalities for establishing input-to-state stability of interconnected systems

In this paper, a novel approach to constructing flexible Lyapunov inequalities is developed for establishing Input-to-State Stability (ISS) of interconnection of nonlinear time-varying systems. It aims at a useful tool for using nonlinear small-gain conditions by allowing some flexibility in Lyapunov inequalities each subsystem is to satisfy. In the application of the ISS small-gain “theorem”, achieving a Lyapunov inequality conforming to a nonlinear small-gain “condition” is not a straightforward task. The proposed technique provides us with many Lyapunov inequalities with which a single trade-off condition between subsystems gains can establish the ISS property of the interconnected system. Proofs are based on explicit construction of Lyapunov functions.     

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.     

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.     

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.     

Analysis of input-to-state stability for discrete time nonlinear systems via dynamic programming

The input-to-state stability (ISS) property for systems with disturbances has received considerable attention over the past decade or so, with many applications and characterizations reported in the literature. The main purpose of this paper is to present analysis results for ISS that utilize dynamic programming techniques to characterize minimal ISS gains and transient bounds. These characterizations naturally lead to computable necessary and sufficient conditions for ISS. Our results make a connection between ISS and optimization problems in nonlinear dissipative systems theory (including L₂-gain analysis and nonlinear H_∞ theory). As such, the results presented address an obvious gap in the literature.     

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.     

On input-to-state stability of min–max nonlinear model predictive control

In this paper we consider discrete-time nonlinear systems that are affected, possibly simultaneously, by parametric uncertainties and other disturbance inputs. The min–max model predictive control (MPC) methodology is employed to obtain a controller that robustly steers the state of the system towards a desired equilibrium. The aim is to provide a priori sufficient conditions for robust stability of the resulting closed-loop system using the input-to-state stability (ISS) framework. First, we show that only input-to-state practical stability can be ensured in general for closed-loop min–max MPC systems; and we provide explicit bounds on the evolution of the closed-loop system state. Then, we derive new conditions for guaranteeing ISS of min–max MPC closed-loop systems, using a dual-mode approach. An example illustrates the presented theory.     

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 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.     

Input-to-state stability for cascade systems with multiple invariant sets

In a recent paper Angeli and Efimov (2015), the notion of Input-to-State Stability (ISS) has been generalized for systems with decomposable invariant sets and evolving on Riemannian manifolds. In this work, we analyze the cascade interconnection of such ISS systems and we characterize the finest possible decomposition of its invariant set for three different scenarios: 1. the driving system exhibits multistability (convergence to fixed points only); 2. the driving system exhibits multi-almost periodicity (convergence to fixed points as well as periodic and almost-periodic orbits) and the driven system is assumed to be incremental ISS; 3. the driving system exhibits multiperiodicity (convergence to fixed points and periodic orbits) whereas the driven system is ISS in the sense of Angeli and Efimov (2015). Furthermore, we provide marginal results on the backward/forward asymptotic behavior of incremental ISS systems and on the response of a contractive system under asymptotically almost-periodic forcing. Three examples illustrate the potentiality of the proposed framework.     

基于ISS的非线性纯反馈系统的自适应动态面控制

研究一类具有未知死区的非线性纯反馈系统的自适应控制问题．基于输入状态稳定理论和小增益定理,提出一种自适应动态面控制方案．该方案有效地减少了可调参数的数目,避免了传统后推设计中由于需要对虚拟控制反复求导而导致的计算复杂性．理论分析证明了闭环系统是半全局一致终结有界的．     

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.     

Input-to-state stability of switched systems and switching adaptive control

In this paper we prove that a switched nonlinear system has several useful input-to-state stable (ISS)-type properties under average dwell-time switching signals if each constituent dynamical system is ISS. This extends available results for switched linear systems. We apply our result to stabilization of uncertain nonlinear systems via switching supervisory control, and show that the plant states can be kept bounded in the presence of bounded disturbances when the candidate controllers provide ISS properties with respect to the estimation errors. Detailed illustrative examples are included.     

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.     

Input to state stability of min-max MPC controllers for nonlinear systems with bounded uncertainties

Min-max model predictive control (MPC) is one of the control techniques capable of robustly stabilize uncertain nonlinear systems subject to constraints. In this paper we extend existing results on robust stability of min-max MPC to the case of systems with uncertainties which depend on the state and the input and not necessarily decaying, i.e. state and input dependent bounded uncertainties. This allows us to consider both plant uncertainties and external disturbances in a less conservative way.It is shown that the input-to-state practical stability (ISpS) notion is suitable to analyze the stability of worst-case based controllers. Thus, we provide Lyapunov-like sufficient conditions for ISpS. Based on this, it is proved that if the terminal cost is an ISpS-Lyapunov function then the optimal cost is also an ISpS-Lyapunov function for the system controlled by the min-max MPC and hence, the controlled system is ISpS. Moreover, we show that if the system controlled by the terminal control law locally admits certain stability margin, then the system controlled by the min-max MPC retains the stability margin in the feasibility region.     

Analysis of partial stability problems using sum of squares techniques

A methodology for algorithmic construction of Lyapunov functions for problems concerning the stability of an equilibrium with respect to part of the system variables is proposed. This methodology utilizes the previously developed sum of squares technique to determine Lyapunov certificates. Conditions for stability with respect to part of the variables are developed that allow for Lyapunov functions to be determined in terms of a sum of squares. Asymptotic stability conditions in terms of sum of squares polynomials are developed for autonomous and non-autonomous systems. An example is presented which demonstrates the methodology and gives insight into the new stability conditions.     

Partial asymptotic stabilization of nonlinear distributed parameter systems

The paper is devoted to stability and stabilization of a class of evolution equations arising from mathematical modeling of hybrid mechanical systems with flexible parts. A sufficient condition is obtained for partial strong asymptotic stability of nonlinear, infinite-dimensional dynamic systems in Banach spaces. This result is applied to deriving a control law that stabilizes a part of the variables describing a rotating rigid body endowed with a number of elastic beams. Results of numerical simulations are presented.     

Intrinsic robustness of global asymptotic stability

Equivalence is shown for discrete time systems between global asymptotic stability and the so-called integral Input-to-State Stability. The latter is a notion of robust stability with respect to exogenous disturbances which informally translates into the statement “no matter what is the initial condition, if the energy of the inputs is small, then the state must eventually be small”.