We consider infinite heterogeneous networks, consisting of input-to-state stable subsystems of possibly infinite dimension. We show that the network is input-to-state stable, provided that the gain operator satisfies a certain small-gain condition. We show that for finite networks of nonlinear systems this condition is equivalent to the so-called strong small-gain condition of the gain operator (and thus our results extend available results for finite networks), and for infinite networks with a linear gain operator they correspond to the condition that the spectral radius of the gain operator is less than one. We provide efficient criteria for input-to-state stability of infinite networks with linear gains, governed by linear and homogeneous gain operators, respectively.
This paper studies the graph-theoretic conditions for stability of positive monotone systems. Using concepts from input-to-state stability and network small-gain theory, we first establish necessary and sufficient conditions for the stability of linear positive systems described by Metzler matrices. Specifically, we derive two sets of stability conditions based on two forms of input-to-state stability gains for Metzler systems, namely max-interconnection gains and sum-interconnection gains. Based on the max-interconnection gains, we show that the cyclic small-gain theorem becomes necessary and…
Stochastic infinite-dimensional port-Hamiltonian systems (SPHSs) with multiplicative Gaussian white noise are considered. In this article we extend the notion of Dirac structure for deterministic distributed parameter port-Hamiltonian systems to a stochastic ones by adding some additional stochastic ports. Using the Stratonovich formalism of the stochastic integral, the proposed extended interconnection of ports for SPHSs is proved to still form a Dirac structure. This constitutes our main contribution. We then deduce that the interconnection between (stochastic) Dirac structures is again a (s…
We consider networks of infinite-dimensional port-Hamiltonian systems $\mathfrak{S}_i$ on one-dimensional spatial domains. These subsystems of port-Hamiltonian type are interconnected via boundary control and observation and are allowed to be of distinct port-Hamiltonian orders $N_i \in \mathbb{N}$. Wellposedness and stability results for port-Hamiltonian systems of fixed order $N \in \mathbb{N}$ are thereby generalised to networks of such. The abstract theory is applied to some particular model examples.
In this paper, we show that a hybrid integrator-gain system (HIGS) is a nonlinear negative imaginary (NNI) system. We prove that the positive feedback interconnection of a linear negative imaginary (NI) system and a HIGS is asymptotically stable. We apply the HIGS to a MEMS nanopositioner, as an example of a linear NI system, in a single-input single-output framework. We analyze the stability and the performance of the closed-loop interconnection in both time and frequency domains through simulations and demonstrate the applicability of HIGS as an NNI controller to a linear NI system.
We prove a small-gain theorem for interconnections of $n$ nonlinear heterogeneous input-to-state stable (ISS) control systems of a general nature, covering partial, delay and ordinary differential equations. Furthermore, for the same class of control systems, we derive small-gain theorems for asymptotic gain, uniform global stability and weak input-to-state stability properties. We show that our technique is applicable for different formulations of ISS property (summation, maximum, semimaximum) and discuss tightness of achieved small-gain theorems. Finally, we introduce variations of uniform a…
Given two nonlinear systems which only violate incremental passivity when their incremental gains are sufficiently small, we give a condition for their negative feedback interconnection to have finite incremental gain, which generalizes the incremental small gain and incremental passivity theorems. The property may be determined graphically by plotting the Scaled Relative Graphs (SRGs) of the systems, which provides engineering significance to the mathematical result.
In this paper, we develop a new approach to study gain operators built from the interconnection gains of infinite networks of dynamical systems. Our focus is on the construction of paths of strict decay which are used for building Lyapunov functions for the network and thus proving various stability properties, including input-to-state stability. Our approach is based on the study of an augmented gain operator whose fixed points are precisely the points of decay for the original gain operator. We show that plenty of such fixed points exist under a uniform version of the no-joint-increase condi…
This paper provides a Lyapunov-based small-gain theorem for input-to-state stability (ISS) of networks composed of infinitely many finite-dimensional systems. We model these networks on infinite-dimensional $\ell_{\infty}$-type spaces. A crucial assumption in our results is that the internal Lyapunov gains, modeling the influence of the subsystems on each other, are linear functions. Moreover, the gain operator built from the internal gains is assumed to be subadditive and homogeneous, which covers both max-type and sum-type formulations for the ISS Lyapunov functions of the subsystems. As a c…
In this paper, we show that an infinite network of input-to-state stable (ISS) subsystems, admitting ISS Lyapunov functions, itself admits an ISS Lyapunov function, provided that the couplings between the subsystems are sufficiently weak. The strength of the couplings is described in terms of the properties of an infinite-dimensional nonlinear positive operator, built from the interconnection gains. If this operator induces a uniformly globally asymptotically stable (UGAS) system, a Lyapunov function for the infinite network can be constructed. We analyze necessary and sufficient conditions fo…
Motivated by a paradigm shift towards a hyper-connected world, we develop a computationally tractable small-gain theorem for a network of infinitely many systems, termed as infinite networks. The proposed small-gain theorem addresses exponential input-to-state stability with respect to closed sets, which enables us to analyze diverse stability problems in a unified manner. The small-gain condition, expressed in terms of the spectral radius of a gain operator collecting all the information about the internal Lyapunov gains, can be numerically computed for a large class of systems in an efficien…
We introduce the concept of non-uniform input-to-state stability for networks. It combines the uniform global stability with the uniform attractivity of any subnetwork, while it allows for non-uniform convergence of all components. For an infinite network consisting of input-to-state stable subsystems, that do not necessarily have a uniform KL-bound on the transient behaviour, we show: If the gain operator satisfies the uniform small-gain condition, then the whole network is non-uniformly input-to-state stable and all its finite subnetworks are input-to-state stable.
A small-gain approach is proposed to analyze closed-loop stability of linear diffusion-reaction systems under finite-dimensional observer-based state feedback control. For this, the decomposition of the infinite-dimensional system into a finite-dimensional slow subsystem used for design and an infinite-dimensional residual fast subsystem is considered. The effect of observer spillover in terms of a particular (dynamic) interconnection of the subsystems is thoroughly analyzed for in-domain and boundary control as well as sensing. This leads to the application of a small-gain theorem for interco…
This paper develops a small-gain technique for the safety analysis and verification of interconnected systems with high-relative-degree safety constraints. In this technique, input-to-state safety (ISSf) is used to characterize how the safety of a subsystem is influenced by the external input, and ISSf-barrier functions (ISSf-BFs) with high relative degree are employed to capture the safety of subsystems. With a coordination transform, the relationship between ISSf-BFs and the existing high-relative-degree (or high-order) barrier functions is established in order to simplify the ISSf analysis.…
This paper presents a small-gain theorem for networks composed of a countably infinite number of finite-dimensional subsystems. Assuming that each subsystem is exponentially input-to-state stable, we show that if the gain operator, collecting all the information about the internal Lyapunov gains, has a spectral radius less than one, the overall infinite network is exponentially input-to-state stable. The effectiveness of our result is illustrated through several examples including nonlinear spatially invariant systems with sector nonlinearities and a road traffic network.
The differential $\mathcal{L}_{2,p}$ gain of a linear, time-invariant, $p$-dominant system is shown to coincide with the $\mathcal{H}_{\infty,p}$ norm of its transfer function $G$, defined as the essential supremum of the absolute value of $G$ over a vertical strip in the complex plane such that $p$ poles of $G$ lie to right of the strip. The close analogy between the $\mathcal{H}_{\infty,p}$ norm and the classical $\mathcal{H}_{\infty}$ norm suggests that robust dominance of linear systems can be studied along the same lines as robust stability. This property can be exploited in the analysis …
In a pedagogical but exhaustive manner, this survey reviews the main results on input-to-state stability (ISS) for infinite-dimensional systems. This property allows estimating the impact of inputs and initial conditions on both the intermediate values and the asymptotic bound on the solutions. ISS has unified the input-output and Lyapunov stability theories and is a crucial property in the stability theory of control systems as well as for many applications whose dynamics depend on parameters, unknown perturbations, or other inputs. In this paper, starting from classic results for nonlinear o…
We study necessary and sufficient conditions for contraction and incremental stability of dynamical systems with respect to non-Euclidean norms. First, we introduce weak pairings as a framework to study contractivity with respect to arbitrary norms, and characterize their properties. We introduce and study the sign and max pairings for the $\ell_1$ and $\ell_\infty$ norms, respectively. Using weak pairings, we establish five equivalent characterizations for contraction, including the one-sided Lipschitz condition for the vector field as well as matrix measure and Demidovich conditions for the …
During swarm teleoperation, the human operator may threaten the distance-dependent inter-robot communications and, with them, the connectivity of the slave swarm. To prevent the harmful component of the human command from disconnecting the swarm network, this paper develops a constructive strategy to dynamically modulate the interconnections of, and the locally injected damping at, all slave robots. By Lyapunov-based set invariance analysis, the explicit law for updating that control gains has been rigorously proven to synchronize the slave swarm while preserving all interaction links in the t…
