General Fast Sampling Theorems for Nonlinear Systems

This paper is concerned with the gap metric approach to controller discretisation problems for continuous-time nonlinear systems with disturbances in both input and output channels. The principal idea is to construct a discrete controller based on a given stabilizing continuous time controller via a fast sampling and hold procedure and to calculate the gap between the two controllers. It is expected that, under general conditions, the computed gap depends on the discrete sample size and the faster the sample rate, the smaller the gap and, therefore, existing gap metric robust stability theorems can be applied to obtain both stability and performance results for the appropriately discretised controller. This is shown for the case of memoryless controllers and for a more general class of controllers specified by stable, causal operators. In both cases, both regional and global results are obtained under respective local and global incremental stability assumptions on the controllers

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

Parameter-Dependent Lyapunov Functions for Linear Systems With Constant Uncertainties

Robust stability of linear time-invariant systems with respect to structured uncertainties is considered. The small gain condition is sufficient to prove robust stability and scalings are typically used to reduce the conservatism of this condition. It is known that if the small gain condition is satisfied with constant scalings then there is a single quadratic Lyapunov function which proves robust stability with respect to all allowable time-varying perturbations. In this technical note we show that if the small gain condition is satisfied with frequency-varying scalings then an explicit parameter dependent Lyapunov function can be constructed to prove robust stability with respect to constant uncertainties. This Lyapunov function has a rational quadratic dependence on the uncertainties

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