A new unified input‐to‐state stability criterion for impulsive stochastic delay systems with Markovian switching

In this paper, the problems of the input‐to‐state stability (ISS), the integral input‐to‐state stability (iISS), the stochastic input‐to‐state stability (SISS) and the e^λt(λ>0)‐weighted input‐to‐state stability (e^λt‐ISS) are investigated for nonlinear time‐varying impulsive stochastic delay systems with Markovian switching. We propose one unified criterion for the stabilizing impulse and the destabilizing impulse to guarantee the ISS, iISS, SISS and e^λt‐ISS for such systems. We verify that when the upper bound of the average impulsive interval is given, the stabilizing impulsive effect can stabilize the systems without ISS. We also show that the destabilizing impulsive signal with a given lower bound of the average impulsive interval can preserve the ISS of the systems. In addition, one criterion for guaranteeing the ISS of nonlinear time‐varying stochastic hybrid systems under no impulsive effect is derived. Two examples including one coupled dynamic systems model subject to external random perturbation of the continuous input and impulsive input disturbances are provided to illustrate the effectiveness of the theoretic results developed.     

Output feedback regulation control for a class of cascade nonlinear systems by time‐varying Kalman observer

The global output feedback regulation problem is studied for a class of cascade nonlinear systems. The considered system represents more general classes of nonlinear uncertain systems, including the integral input‐to‐state stable (iISS) unmodeled dynamics, the unknown control direction, the parameter uncertainty, and the external disturbance additively in the input channel. Technically, we explore the changing supply rate technique for the iISS system to deal the iISS unmodeled dynamics and apply the Nussbaum‐type gain into the control design to overcome the unknown control direction. Additionally, a dynamic extended state observer in the form of a time‐varying Kalman observer is novelly constructed to overcome the unmeasured state components in the nonlinear uncertainties. It is shown that the global regulation problem is well addressed by the proposed method, and its efficacy is demonstrated by a fan speed control system.     

Input‐to‐state stability of impulsive switched nonlinear time‐delay systems with two asynchronous switching phenomena

This summary addresses the input‐to‐state stability (ISS) and integral ISS (iISS) problems of impulsive switched nonlinear time‐delay systems (ISNTDSs) under two asynchronous switching effects. In our investigated systems, impulsive instants and switching instants do not necessarily coincide with each other. Meanwhile, systems switching signals are not simultaneous with the corresponding controllers switching signals, which will induce instability seriously, and cause many difficulties and challenges. By utilizing methods of Lyapunov‐Krasovskii and Lyapunov‐Razumikhin, mode‐dependent average dwell time approach, and mode‐dependent average impulsive interval technique, some stability criteria are presented for ISNTDSs under two asynchronous switching effects. Our proposed results improve the related existing results on the same topic by removing some restrictive conditions and cover some existing results as special cases. Finally, some simulation examples are presented to illustrate the effectiveness and advantages of our results.     

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.     

Reduction of the small gain condition for large‐scale interconnections

The small gain condition is sufficient for input‐to‐state stability (ISS) of interconnected systems. However, verification of the small gain condition requires large amount of computations in the case of a large size of the system. To facilitate this procedure, we aggregate the subsystems and the gains between the subsystems that belong to certain interconnection patterns (motifs) by using three heuristic rules. These rules are based on three motifs: sequentially connected nodes, nodes connected in parallel, and almost disconnected subgraphs. Aggregation of these motifs keeps the structure of the mutual influences between the subsystems in the network. Furthermore, fulfillment of the reduced small gain condition implies ISS of the large network. Thus, such reduction allows to decrease the number of computations needed to verify the small gain condition. Finally, an ISS‐Lyapunov function for the large network can be constructed using the reduced small gain condition. Applications of these rules is illustrated on an example. Copyright © 2013 John Wiley & Sons, Ltd.     

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/output‐to‐state stability for switched nonlinear systems with unstable subsystems

In this paper, a couple of sufficient conditions for input/output‐to‐state stability (IOSS) of switched nonlinear systems with non‐IOSS subsystems are derived by exploiting the multiple Lyapunov functions (MLFs) method. A state‐norm estimator–based small‐gain theorem is also established for switched interconnected nonlinear systems under some proper switching laws, where the small‐gain property of individual connected subsystems is not required in the whole state space instead only in some subregions of the state space. The state‐norm estimator for the switched system under study is explicitly designed via a constructive procedure by exploiting the MLFs method and the classical small‐gain technique. The presented results permit removal of a technical condition in existing literature, where all subsystems in switched systems are IOSS or some are IOSS. An illustrative example is also provided to illustrate the effectiveness of the theoretical results.     

A geometrical formulation to unify construction of Lyapunov functions for interconnected iISS systems

In recent years, the ability to accommodate various nonlinearities has become even more important to support systems design and analysis in a broad area of engineering and science. In this line of research, this paper discusses usefulness of the notion of integral input-to-state stability (iISS) in assessing and establishing system properties through interconnection of component systems. The focus is to construct Lyapunov functions which explain mechanism and provide estimate of stability and robustness of interconnected systems. Unique issues arising in dealing with iISS systems are reviewed in comparison with interconnections of input-to-state stable (ISS) systems. The max-separable Lyapunov function and the sum-separable Lyapunov function which are popular for ISS and iISS, respectively, are revisited. The max-separable function cannot be qualified as a Lyapunov function when component systems are not ISS. Level sets of the max-separable function are rectangles, and the rectangles cannot be expanded to encompass the entire state space in the presence of non-ISS components. The sum-separable function covers iISS components which are not ISS. However, it has practical limitations when stability margins are small. To overcome the limitations, this paper brings in a new idea emerged recently in the literature, and proposes a new type of construction looking at level sets of a Lyapunov function. It is shown how an implicit function allows us to draw chamfered rectangles based on fictitious gain functions of component systems so that they provide reasonable estimates of forward invariant sets producing a Lyapunov function applicable to both iISS and ISS systems equally.     

On input‐to‐state stability of rigid‐body attitude control with quaternion representation

The concept of input‐to‐state stability (ISS) is important in robust control, as the state of an ISS system subject to disturbances can be stably regulated to a small region around the origin. In this study, the ISS property of the rigid‐body attitude system with quaternion representation is thoroughly investigated. It has been known that the closed loop with continuous controllers is not ISS with respect to arbitrarily small external disturbances. To deal with this problem, hybrid proportional‐derivative controllers with hysteresis are proposed to render the attitude system ISS. The controller is far from new, but it is investigated in a new aspect. To illustrate the applications of the results about ISS, 2 new robust hybrid controllers are designed. In the case of large bounded time‐varying disturbances, the hybrid proportional‐derivative controller is designed to incorporate a saturated high‐gain feedback term, and arbitrarily small ultimate bounds of the state can be obtained; in the case of constant disturbances, a hybrid adaptive controller is proposed, which is robust against small estimate error of inertia matrix. Finally, simulations are conducted to illustrate the effectiveness of the proposed control strategies.     

Fractional‐order–dependent global stability analysis and observer‐based synthesis for a class of nonlinear fractional‐order systems

This paper focuses on proposing novel conditions for stability analysis and stabilization of the class of nonlinear fractional‐order systems. First, by considering the class of nonlinear fractional‐order systems as a feedback interconnection system and applying small‐gain theorem, a condition is proposed for L₂‐norm boundedness of the solutions of these systems. Then, by using the Mittag‐Leffler function properties, we show that satisfaction of the proposed condition proves the global asymptotic stability of the class of nonlinear fractional‐order systems with fractional order lying in (0.5, 1) or (1.5, 2). Unlike the Lyapunov‐based methods for stability analysis of fractional‐order systems, the new condition depends on the fractional order of the system. Moreover, it is related to the H_∞‐norm of the linear part of the system and it can be transformed to linear matrix inequalities (LMIs) using fractional‐order bounded‐real lemma. Furthermore, the proposed stability analysis method is extended to the state‐feedback and observer‐based controller design for the class of nonlinear fractional‐order systems based on solving some LMIs. In the observer‐based stabilization problem, we prove that the separation principle holds using our method and one can find the observer gain and pseudostate‐feedback gain in two separate steps. Finally, three numerical examples are provided to demonstrate the advantage of the novel proposed conditions with the previous results.     

A complete parameterization of clf‐based input‐to‐state stabilizing control laws

Sontag's formula proves constructively that the existence of a control Lyapunov function implies asymptotic stabilizability. A similar result can be obtained for systems subject to unknown disturbances via input‐to‐state stabilizing control Lyapunov functions (ISS‐clfs) and the input‐to‐state analogue of Sontag's formula. The present paper provides a generalization of the ISS version of Sontag's formula by completely parameterizing all continuous ISS control laws that can be generated by a known ISS‐clf. When a simple inner‐product constraint is satisfied, this parameterization also conveniently describes a large family of ISS controls that solve the inverse‐optimal gain assignment problem, and it is proved that these controls possess Kalman‐type gain margins. Copyright © 2004 John Wiley & Sons, Ltd.     

Input‐to‐state‐stability‐type comparison principles and input‐to‐state stability for discrete‐time dynamical networks with time delays

This paper investigates the input‐to‐state stability (ISS) issue for discrete‐time dynamical networks (DDNs) with time delays. Firstly, a general comparison principle for solutions of DDNs is proposed. Then, based on this general comparison principle, three kinds of ISS‐type comparison principles for DDNs are established, including the comparison principle for input‐to‐state ‐stability, ISS, and exponential ISS. The ISS‐type comparison principles are then used to investigate stability properties related to ISS for three kinds (linear, affine, and nonlinear) of DDNs. It shows that the ISS property of a DDN can be derived by comparing it with a linear or lower‐dimension DDN with known ISS property. By using methods such as variation of parameters, uniform M‐matrix, and the ISS‐type comparison principle, conditions of global exponential ISS for time‐varying linear DDNs with time delays are derived. Moreover, the obtained ISS results for DDNs are extended to the hybrid DDNs with time delays. As one application, the synchronization within an error bound in the sense of ISS is achieved for DDNs with coupling time delays and external disturbances. Finally, two examples are given to illustrate the results. Copyright © 2011 John Wiley & Sons, Ltd.     

Decentralized event‐triggered control of large‐scale nonlinear systems

This paper studies the decentralized event‐triggered control of large‐scale nonlinear systems. We consider a class of decentralized control systems that are transformable into an interconnection of input‐to‐state stable subsystems with the sampling errors as the inputs. The sampling events for each subsystem are triggered by a threshold signal, and the threshold signals for the subsystems are independent with each other for the decentralized implementation. By appropriately designing the event‐triggering mechanisms, it is shown that infinitely fast sampling can be avoided for each subsystem and asymptotic regulation is achievable for the large‐scale system. The proposed design is based on the ISS small‐gain arguments, and is validated by a benchmark example of controlling two coupled inverted pendulums.     

Input‐to‐state stability of min‐max MPC scheme for nonlinear time‐varying delay systems

This paper studies the robustness problem of the min–max model predictive control (MPC) scheme for constrained nonlinear time‐varying delay systems subject to bounded disturbances. The notion of the input‐to‐state stability (ISS) of nonlinear time‐delay systems is introduced. Then by using the Lyapunov–Krasovskii method, a delay‐dependent sufficient condition is derived to guarantee input‐to‐state practical stability (ISpS) of the closed‐loop system by way of nonlinear matrix inequalities (NLMI). In order to lessen the online computational demand, the non‐convex min‐max optimization problem is then converted to a minimization problem with linear matrix inequality (LMI) constraints and a suboptimal MPC algorithm is provided. Finally, an example of a truck‐trailer is used to illustrate the effectiveness of the proposed results. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

Input‐to‐state exponents and related ISS for delayed discrete‐time systems with application to impulsive effects

This paper aims to investigate the input‐to‐state exponents (IS‐e) and the related input‐to‐state stability (ISS) for delayed discrete‐time systems (DDSs). By using the method of variation of parameters and introducing notions of uniform and weak uniform M‐matrix, the estimates for 3 kinds of IS‐e are derived for time‐varying DDSs. The exponential ISS conditions with parts suitable for infinite delays are thus established, by which the difference from the time‐invariant case is shown. The exponential stability of a time‐varying DDS with zero external input cannot guarantee its ISS. Moreover, based on the IS‐e estimates for DDSs, the exponential ISS under events criteria for DDSs with impulsive effects are obtained. The results are then applied in 1 example to test synchronization in the sense of ISS for a delayed discrete‐time network, where the impulsive control is designed to stabilize such an asynchronous network to the synchronization.     

Input-to-state stability and gain computation for networked control systems

This paper studies the stability problem for networked control systems. A general result, called network gain theorem, is introduced to determine the input-to-state stability (ISS) for interconnected nonlinear systems. We show how this result generalises the previously known small gain theorem and cyclic small gain theorem for ISS. For the case of linear networked systems, a complete characterisation of the stability condition is provided, together with two distributed algorithms for computing the network gain: the classical Jacobi iterations and a message-passing algorithm. For the case of nonlinear networked systems, characterisation of the ISS condition can be done using M-functions, and Jacobi iterations can be used to compute the network gain.     

Krasovskii and Razumikhin criteria on input‐to‐state stability of discrete‐time time‐varying switched delayed systems

In this article, we are concerned with the problem on input‐to‐state stability (ISS) for discrete‐time time‐varying switched delayed systems. Some Krasovskii and Razumikhin ISS criteria are provided by using the notions of uniformly asymptotically stable (UAS) function and mode‐dependent average dwell time (MDADT). With the help of the concept of UAS function, the advantage of our results in this article is that the coefficients of the first‐order difference inequalities for the mode‐dependent Krasovskii functionals and mode‐dependent Razumikhin functions are allowed to be time‐varying, mode‐dependent, and can even take both positive and negative values, and the whole switched system can be allowed to have both ISS subsystems and non‐ISS subsystems. With the aid of the notion of MDADT, each subsystem can have its own average dwell time. As an application, we also provide an ISS criterion for discrete‐time time‐varying switched delayed Hopfield neural networks with disturbance inputs. Numerical simulations verify the effectiveness of the established criteria.     

Input‐to‐state stability for discrete‐time nonlinear impulsive systems with delays

This paper aims to study the problem of input‐to‐state stability (ISS) for nonlinear discrete impulsive systems with time delays. Razumikhin‐type theorems, which guarantee ISS – asymptotically ISS and exponentially ISS – for the discrete impulsive ones with external disturbance inputs, are established. As applications, numerical examples are given to illustrate the effectiveness of the theoretical results. Copyright © 2011 John Wiley & Sons, Ltd.