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.     

Robustness of stability of nonlinear systems with stochastic delay perturbations

Suppose there exist random disturbances to a given exponentially stable system and the stochastically perturbed system is described by a stochastic differential-functional equation. In this paper a sufficient condition is given so that the perturbed system remains exponentially stable. In the case where the perturbation depends only on several states of the past we obtain a condition under which the perturbed system is absolutely exponentially stable.     

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.     

Nonlinear small-gain theorems for discrete-time feedback systems and applications

We derive in this work a local nonlinear small-gain theorem in the framework of input-to-state stability for discrete time systems. Our primary objective is to show that, as in the continuous-time context, these discrete-time nonlinear small-gain theorems are very effective in stability analysis and synthesis for various classes of discrete-time control systems. Two converse Lyapunov theorems for discrete exponential stability are developed to assist these applications. New results in stability and stabilization presented in this paper are significant extensions of previous work by other authors (IEEE Trans. Automat. Control 38 (1993) 1398; 39 (1994) 2340; 33 (1988) 1082).     

Adaptive state observation of linear time-varying systems with delayed measurements and unknown parameters

In this article, we address the problem of adaptive state observation of linear time-varying systems with delayed measurements and unknown parameters. Our new developments extend the results reported in our recently works. The case with known parameters has been studied by many researchers. However in this article we show that the generalized parameter estimation-based observer design provides a very simple solution for the unknown parameter case. Moreover, when this observer design technique is combined with the dynamic regressor extension and mixing estimation procedure the estimated state and parameters converge in fixed-time imposing extremely weak excitation assumptions.     

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.     

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.     

网络非线性系统的镇定及在车辆跟随控制的应用（英文）

非线性大系统或多自主体系统在理论与工程应用领域都受到了广泛的关注.其中,稳定性以及衍生的镇定控制问题是研究的关键.为了应对车辆跟随控制问题,本文针对一类下三角型不确定网络非线性系统,给出稳定网络系统满足的充分条件,并提出一种全局鲁棒镇定控制设计方法.通过解决车辆跟随系统的纵向控制问题,揭示本文的研究结果可用于输出调节问题等综合控制问题的求解.仿真验证本文结果的有效性.     

Control schemes for stable teleoperation with communication delay based on IOS small gain theorem

The problem of stabilization of a force-reflecting telerobotic system in presence of time delay in the communication channel is addressed. We introduce an approach that is based on application of the input-to-output stability (IOS) small gain theorem for functional differential equations (FDEs). A version of the stabilization algorithm as well as its two adaptive extensions are proposed. For all these control schemes, the input-to-state stability (ISS) of the overall telerobotic system is guaranteed in the global, global practical, or semiglobal practical sense for any constant communication delay under the assumption that the environmental dynamics satisfy a weak form of finite-gain stability property. As an intermediate step, we formulate and prove a general IOS (ISS) small gain result for FDEs.     

Switched nonlinear singular systems with time‐delay: Stability analysis

This paper presents an approach to the stability analysis of a class of nonlinear interconnected continuous‐time singular systems with arbitrary switching signals. This class of interconnected subsystems consists of unknown but bounded state delay and nonlinear terms, and each subsystem can be globally stable, unstable, or locally stable. By constructing a new Lyapunov‐like Krasovskii functional, sufficient conditions are derived and formulated to check the asymptotic (exponential) stability of such systems with arbitrary switching signals. Then, some new general criteria for asymptotic (exponential) stability with average dwell‐time switching signals are also established. The theoretical developments are demonstrated by two numerical simulations. Copyright © 2014 John Wiley & Sons, Ltd.     

对抗网络下时滞非线性多智能体系统固定时间二分一致性

本文针对一类存在输入时延的非线性多智能体系统,研究了其在结构平衡的无向符号图下的固定时间二分一致性问题.首先,本文针对智能体间相互合作与相互竞争的关系,设计了一类存在输入时延的多智能体系统固定时间分布式一致性控制协议,使得系统状态在固定时间内收敛到数值相同但符号相反的两个值,且收敛时间上界与初始状态无关.随后,利用Lyapunov稳定性理论和代数图论给出了在存在输入时延的情况下多智能体系统实现固定时间二分一致性的充分条件和收敛时间的上界值,证明了控制算法的稳定性.最后,仿真实例验证了所提固定时间二分一致性算法和理论结果的有效性.     

New stability criteria for singular systems with time-varying delay and nonlinear perturbations

This paper concerns the stability analysis for singular systems with time-varying delay and nonlinear perturbations. Two cases of time-varying delay, which is differentiable (Case 1) or not differentiable (Case 2), are considered. The considered nonlinear perturbations includes the norm-bounded uncertainties as a special case. Some delay-dependent stability criteria are derived by using a delay decomposition approach. In the delay decomposition approach, the entire delay interval is divided into multiple sub-intervals for which different energy functions are defined for building new Lyapunov–Krasovskii functional. Some numerical and practical examples are given to show the effectiveness and significant improvement of the proposed method.     

Small-gain theorem for ISS systems and applications

We introduce a concept of input-to-output practical stability (IOpS) which is a natural generalization of input-to-state stability proposed by Sontag. It allows us to establish two important results. The first one states that the general interconnection of two IOpS systems is again an IOpS system if an appropriate composition of the gain functions is smaller than the identity function. The second one shows an example of gain function assignment by feedback. As an illustration of the interest of these results, we address the problem of global asymptotic stabilization via partial-state feedback for linear systems with nonlinear, stable dynamic perturbations and for systems which have a particular disturbed recurrent structure.The final version of this work was finished when Z.-P. Jiang held a visiting position at I.N.R.I.A., Sophia Antipolis.     

Construction of Lyapunov–Krasovskii functionals for switched nonlinear systems with input delay

This paper studies the stability issue for switched nonlinear systems with input delay and disturbance. It is assumed that for the nominal system an exponential stabilizing controller is predesigned such that the switched system is stable under a certain switching signal, and a piecewise Lyapunov function for the corresponding closed-loop system is known. However, in the presence of input delay and disturbance, the system may be unstable under the same switching signal. For this case, a new Lyapunov–Krasovskii functional is firstly constructed based on the known Lyapunov function. Then, by employing this new functional, a new switching signal satisfying the new average dwell time conditions is constructed to guarantee the input-to-state stability of the system under a certain delay bound. The bound on the average dwell time is closely related to the bound on the input delay. Finally, numerical examples are given to illustrate the effectiveness of the proposed theory.     

Exponential stability of impulsive systems with application to uncertain sampled-data systems

We establish exponential stability of nonlinear time-varying impulsive systems by employing Lyapunov functions with discontinuity at the impulse times. Our stability conditions have the property that when specialized to linear impulsive systems, the stability tests can be formulated as Linear Matrix Inequalities (LMIs). Then we consider LTI uncertain sampled-data systems in which there are two sources of uncertainty: the values of the process parameters can be unknown while satisfying a polytopic condition and the sampling intervals can be uncertain and variable. We model such systems as linear impulsive systems and we apply our theorem to the analysis and state-feedback stabilization. We find a positive constant which determines an upper bound on the sampling intervals for which the stability of the closed loop is guaranteed. The control design LMIs also provide controller gains that can be used to stabilize the process. We also consider sampled-data systems with constant sampling intervals and provide results that are less conservative than the ones obtained for variable sampling intervals.     

Input-to-state stability for discrete-time time-varying systems with applications to robust stabilization of systems in power form

Input-to-state stability (ISS) of a parameterized family of discrete-time time-varying nonlinear systems is investigated. A converse Lyapunov theorem for such systems is developed. We consider parameterized families of discrete-time systems and concentrate on a semiglobal practical type of stability that naturally arises when an approximate discrete-time model is used to design a controller for a sampled-data system. An application of our main result to time-varying periodic systems is presented, and this is used to solve a robust stabilization problem, namely to design a control law for systems in power form yielding semiglobal practical ISS (SP-ISS).     

Further results on strict Lyapunov functions for rapidly time-varying nonlinear systems

We explicitly construct global strict Lyapunov functions for rapidly time-varying nonlinear control systems. The Lyapunov functions we construct are expressed in terms of oftentimes more readily available Lyapunov functions for the limiting dynamics which we assume are uniformly globally asymptotically stable. This leads to new sufficient conditions for uniform global exponential, uniform global asymptotic, and input-to-state stability of fast time-varying dynamics. We also construct strict Lyapunov functions for our systems using a strictification approach. We illustrate our results using several examples.