Local input-to-state stability: Characterizations and counterexamples

We show that a nonlinear locally uniformly asymptotically stable infinite-dimensional system is automatically locally input-to-state stable (LISS) provided the nonlinearity possesses some sort of uniform continuity with respect to external inputs. Also we prove that LISS is equivalent to existence of a LISS Lyapunov function. We show by means of a counterexample that if this uniformity is not present, then the equivalence of local asymptotic stability and local ISS does not hold anymore. Using a modification of this counterexample we show that in infinite dimensions a uniformly globally asymptotically stable at zero, globally stable and locally ISS system possessing an asymptotic gain property does not have to be ISS (in contrast to finite dimensional case).     

Estimation of LISS(local input-to-state stability) properties for nonlinear systems

Compared with input-to-state stability(ISS) in global version,the concept of local input-to-state stability(LISS) is more relevant and meaningful in practice.The key of assessing LISS properties lies in investigating three main ingredients,the local region of initial states,the local region of external inputs and the asymptotic gain.It is the objective of this paper to propose a numerical algorithm for estimating LISS properties on the theoretical foundation of quadratic form LISS-Lyapunov function.Given de...     

Changing supply functions in input to state stable systems: thediscrete-time case

We characterize possible supply rates for input-to-state stable discrete-time systems and provide results that allow some freedom in modifying the supply rates. In particular, we show that the results derived by Sontag and Teel (1995) for continuous-time systems are achievable for discrete-time systems     

Output-input stability and minimum-phase nonlinear systems

This paper introduces and studies the notion of output-input stability, which represents a variant of the minimum-phase property for general smooth nonlinear control systems. The definition of output-input stability does not rely on a particular choice of coordinates in which the system takes a normal form or on the computation of zero dynamics. In the spirit of the "input-to-state stability" philosophy, it requires the state and input of the system to be bounded by a suitable function of the output and derivatives of the output, modulo a decaying term depending on initial conditions. The class of output-input stable systems thus defined includes all affine systems in global normal form whose internal dynamics are input-to-state stable and also all left-invertible linear systems whose transmission zeros have negative real parts. As an application, we explain how the new concept enables one to develop a natural extension to nonlinear systems of a basic result from linear adaptive control     

一类前馈系统的鲁棒镇定

Two kinds of saturated controllers are designed for a class of feedforward systems and the closed-loop resulted is locally input-to-state stable and input-to-state stable, respectively. By the word "locally", it is meant that there are restrictions on the amplitude of inputs. At first, under the guidance of suitable energy functions, two kinds of saturated controllers are designed as locally input-to-state stabilizers for a class of perturbed linear systems, from which explicit gain estimations can be obtained for the subsequent design. Then under the conditions that two subsystems of the feedforward system are respectively of locally input-to-state stability and input-to-state stability, the small gain theory is used to determine saturated degrees for corresponding robust stabilizers. The stability proofs are given by using a new characterization of input-to-state stability that is based on the concept of ultimate boundedness. As an application, saturated controllers are designed for the partial dynamics of a certain inverted pendulum.     

一类时滞切换系统的输入-状态稳定性分析

利用多Lyapunov函数方法、驻留时间法和Gronwall-Bellman不等式研究了一类时滞切换系统的输入-状态稳定性分析问题．从系统输入-状态稳定定义出发,给出了使得一类时滞切换系统输入-状态稳定的充分条件．与已有的方法相比,无需同时满足构造输入-状态稳定控制Lyapunov函数和所有子系统都是输入-状态稳定的条件,为控制器的设计提供了便利．最后,通过算例仿真验证了所提出方法的可行性．     

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.     

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.     

Stable adaptive fuzzy control of nonlinear systems using small-gain theorem and LMI approach

A new design scheme of stable adaptive fuzzy control for a class of nonlinear systems is proposed in this paper. The T-S fuzzy model is employed to represent the systems. First, the concept of the so-called parallel distributed compensation (PDC) and linear matrix inequality (LMI) approach are employed to design the state feedback controller without considering the error caused by fuzzy modeling. Sufficient conditions with respect to decay rate α are derived in the sense of Lyapunov asymptotic stability. Finally, the error caused by fuzzy modeling is considered and the input-tostate stable (ISS) method is used to design the adaptive compensation term to reduce the effect of the modeling error. By the small-gain theorem, the resulting closed-loop system is proved to be input-to-state stable. Theoretical analysis verifies that the state converges to zero and all signals of the closed-loop systems are bounded. The effectiveness of the proposed controller design methodology is demonstrated through numerical simulation on the chaotic Henon system.     

基于NDOB的匹配/非匹配不确定性系统滑模控制

针对一类n阶匹配与非匹配不确定性和扰动共存的系统,提出了一种新颖的基于非线性干扰观测器的滑模控制方法。将非匹配扰动的估计值融入到滑模面,设计了集成扰动观测的滑模控制。与传统的滑模控制方法相比,该方法在匹配与非匹配不确定性和扰动出现时具有较好的抑制能力,并能有效地抑制切换增益所引起的抖振现象。利用李雅普诺夫理论和输入-输出稳定性概念严格证明了闭环系统的稳定性。最后通过两个仿真实例验证了所提控制方法的有效性。     

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.     

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     

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.     

A tight small-gain theorem for not necessarily ISS systems

A new version of the small-gain theorem is presented for nonlinear finite dimensional systems. The result provides conditions for global asymptotic stability under relaxed assumptions, in particular the two interconnected subsystems need not be input-to-state stable in open loop.     

一类切换系统的输入-状态稳定性分析与优化控制

利用驻留时间法和 Gronwall-Bellman不等式研究了一类切换系统的输入一状态稳定性分析与优化控制问题.在保证切换系统输入-状态稳定的前提下,将切换时刻和切换次数约束条件转化为线性约束,提出了一种新的切换系统优化问题目标函数的形式.与已有的方法相比,该方法无需引入新的状态变量,无需同时满足构造输入-状态稳定控制李亚普诺夫函数和所有子系统都是输入-状态稳定的条件,为控制器的优化设计提供了便利.最后,通过算例仿真证实了文中所提方法的可行性.     

非线性切换广义系统的输入– 状态稳定性

针对一类非线性切换广义系统,分两种情况对其输入-状态稳定性问题进行了研究.采用平均驻留时间方法,通过设计适当的切换规则,给出了非线性切换广义系统整体输入-状态稳定的充分条件.相较于已有的控制方法,该方法无需构造输入-状态稳定的Lyapunov函数以及无需设计控制器的具体结构,这在一定程度上方便了控制器的设计.最后,两个仿真算例表明了所提方法的有效性.     

On the Liapunov-Krasovskii methodology for the ISS of systems described by coupled delay differential and difference equations

The input-to-state stability of time-invariant systems described by coupled differential and difference equations with multiple noncommensurate and distributed time delays is investigated in this paper. Such equations include neutral functional differential equations in Hale’s form (which model, for instance, partial element equivalent circuits) and describe lossless propagation phenomena occurring in thermal, hydraulic and electrical engineering. A general methodology for systematically studying the input-to-state stability, by means of Liapunov-Krasovskii functionals, with respect to measurable and locally essentially bounded inputs, is provided. The technical problem concerning the absolute continuity of the functional evaluated at the solution has been studied and solved by introducing the hypothesis that the functional is locally Lipschitz. Computationally checkable LMI conditions are provided for the linear case. It is proved that a linear neutral system in Hale’s form with stable difference operator is input-to-state stable if and only if the trivial solution in the unforced case is asymptotically stable. A nonlinear example taken from the literature, concerning an electrical device, is reported, showing the effectiveness of the proposed methodology.     

Input-to-state stability of exponentially stabilized semilinear control systems with inhomogeneous perturbations

In this paper we investigate the robustness of state feedback stabilized semilinear systems subject to inhomogeneous perturbations in terms of input-to-state stability. We consider a general class of exponentially stabilizing feedback controls which covers sampled discrete feedbacks and discontinuous mappings as well as classical feedbacks and derive a necessary and sufficient condition for the corresponding closed-loop systems to be input-to-state stable with exponential decay and linear dependence on the perturbation. This condition is easy to check and admits a precise estimate for the constants involved in the input-to-state stability formulation. Applying this result to an optimal control based discrete feedback yields an equivalence between (open-loop) asymptotic null controllability and robust input-to-state (state feedback) stabilizability.     

延时系统输入状态稳定性的Lyapunov逆理论

研究了延时系统输入状态稳定性的局部Lipschitz连续的Lyapunov逆理论. 针对含有任意可测局部本质有界扰动的延时系统, 一个局部Lipschitz连续的Lyapunov泛函被证实是存在的, 如果该系统是鲁棒渐进稳定的. 根据该结论, 延时系统输入状态稳定性的Lyapunov特征被进一步得到.