A Small-Gain Theorem with Applications to Input/Output Systems, Incremental Stability, Detectability, and Interconnections

A general ISS-type small-gain result is presented. It specializes to a small-gain theorem for ISS operators, and it also recovers the classical statement for ISS systems in state-space form. In addition, we highlight applications to incrementally stable systems, detectable systems, and to interconnections of stable systems.Comment: 16 pages, no figure

Stability, observer design and control of networks using Lyapunov methods

We investigate different aspects of the analysis and control of interconnected systems. Different tools, based on Lyapunov methods, are provided to analyze such systems in view of stability, to design observers and to control systems subject to stabilization. All the different tools presented in this work can be used for many applications and extend the analysis toolbox of networks. Considering systems with inputs, the stability property input-to-state dynamical stability (ISDS) has some advantages over input-to-state stability (ISS). We introduce the ISDS property for interconnected systems and provide an ISDS small-gain theorem with a construction of an ISDS-Lyapunov function and the rate and the gains of the ISDS estimation for the whole system. This result is applied to observer design for single and interconnected systems. Observers are used in many applications where the measurement of the state is not possible or disturbed due to physical reasons or the measurement is uneconomical. By the help of error Lyapunov functions we design observers, which have a so-called quasi ISS or quasi-ISDS property to guarantee that the dynamics of the estimation error of the systems state has the ISS or ISDS property, respectively. This is applied to quantized feedback stabilization. In many applications, there occur time-delays and/or instantaneous jumps of the systems state. At first, we provide tools to check whether a network of time-delay systems has the ISS property using ISS-Lyapunov-Razumikhin functions and ISS-Lyapunov-Krasovskii functionals. Then, these approaches are also used for interconnected impulsive systems with time-delays using exponential Lyapunov-Razumikhin functions and exponential Lyapunov-Krasovskii functionals. We derive conditions to assure ISS of an impulsive network with time-delays. Controlling a system in a desired and optimal way under given constraints is a challenging task. One approach to handle such problems is model predictive control (MPC). In this thesis, we introduce the ISDS property for MPC of single and interconnected systems. We provide conditions to assure the ISDS property of systems using MPC, where the previous result of this thesis, the ISDS small-gain theorem, is applied. Furthermore, we investigate the ISS property for MPC of time-delay systems using the Lyapunov-Krasovskii approach. We prove theorems, which guarantee ISS for single and interconnected systems using MPC

Small gain theorems for large scale systems and construction of ISS Lyapunov functions

We consider interconnections of n nonlinear subsystems in the input-to-state stability (ISS) framework. For each subsystem an ISS Lyapunov function is given that treats the other subsystems as independent inputs. A gain matrix is used to encode the mutual dependencies of the systems in the network. Under a small gain assumption on the monotone operator induced by the gain matrix, a locally Lipschitz continuous ISS Lyapunov function is obtained constructively for the entire network by appropriately scaling the individual Lyapunov functions for the subsystems. The results are obtained in a general formulation of ISS, the cases of summation, maximization and separation with respect to external gains are obtained as corollaries.Comment: provisionally accepted by SIAM Journal on Control and Optimizatio

Relaxed ISS Small-Gain Theorems for Discrete-Time Systems

In this paper ISS small-gain theorems for discrete-time systems are stated, which do not require input-to-state stability (ISS) of each subsystem. This approach weakens conservatism in ISS small-gain theory, and for the class of exponentially ISS systems we are able to prove that the proposed relaxed small-gain theorems are non-conservative in a sense to be made precise. The proofs of the small-gain theorems rely on the construction of a dissipative finite-step ISS Lyapunov function which is introduced in this work. Furthermore, dissipative finite-step ISS Lyapunov functions, as relaxations of ISS Lyapunov functions, are shown to be sufficient and necessary to conclude ISS of the overall system.Comment: input-to-state stability, Lyapunov methods, small-gain conditions, discrete-time non-linear systems, large-scale interconnection