Abstract
We consider infinite heterogeneous networks, consisting of inputtostate stable subsystems of possibly infinite dimension. We show that the network is inputtostate stable, provided that the gain operator satisfies a certain smallgain condition. We show that for finite networks of nonlinear systems this condition is equivalent to the socalled strong smallgain 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 inputtostate stability of infinite networks with linear gains, governed by linear and homogeneous gain operators, respectively.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We live in a hyperconnected world, where the size of networks and the number of connections between their components are rapidly growing. Emerging technologies such as the Internet of Things, Cloud Computing, 5G communication and so on make this trend even more distinct. Such complex networked systems include smart grids, connected vehicles, swarm robotics and smart cities in which the participating agents may be plugged in and out from the network at any time.
The unknown and possibly timevarying size of such networks poses new challenges for stability analysis and control design. One of the promising approaches to this problem is to overapproximate the network by an infinite network, and perform the stability analysis and control design for this infinite overapproximation [10, 11, 26]. This approach has received significant attention during the last two decades. In particular, a large body of literature is devoted to spatially invariant systems and/or linear systems consisting of an infinite number of components, interconnected with each other by means of the same pattern, see, e.g., [4, 5, 7, 10].
State of the art: ISS theory ISS theory was initiated in [44], and has quickly become one of the pillars of nonlinear control theory, including robust stabilization, nonlinear observer design and analysis of largescale networks, see [2, 36, 45]. A tremendous progress in the development of the infinitedimensional ISS theory has brought a number of powerful techniques for the robust stability analysis of distributed parameter systems, including Lyapunov methods [13, 48, 50], characterizations of ISS [39] for nonlinear systems, functionalanalytic tools [21, 22] and spectralbased methods [30, 32] for linear systems, see [38] for a recent survey on this topic. The ISS smallgain approach is especially fruitful for the analysis of coupled systems. In this method, the influence of any subsystem on other subsystems of a network is characterized by socalled gain functions. The gain operator constructed from these functions characterizes the interconnection structure of the network. The smallgain theorems for interconnections of finitely many inputtostate stable systems governed by ordinary differential equations (ODEs) [16, 18, 23, 24] state that if the gains are small enough, i.e., the gain operator satisfies a smallgain condition, the network is stable.
Within the infinitedimensional ISS theory, generalizations of these results to couplings of finitely many infinitedimensional systems have been proposed in [6, 13, 37, 49]. We refer to [37] for more details and references on smallgain results for finite couplings. For the case of trajectorybased ISS smallgain theorems for finite networks, the main difficulties in going from finite to infinite dimensions stem from the fact that the characterizations of ISS developed for ODE systems in [47] are no more valid for infinitedimensional systems. As argued in [37], more general characterizations shown in [39] have to be used, which requires major changes in the proof of the smallgain result.
Smallgain theorems for finite networks have been applied to the stability analysis of coupled parabolichyperbolic partial differential equations (PDEs) in [31]. Smallgainbased boundary feedback design for global exponential stabilization of 1D semilinear parabolic PDEs has been proposed in [33].
State of the art: infinite networks On the other hand, recently a number of works appeared, devoted to stability and control of nonlinear infinite networks of ordinary differential equations, which are not necessarily spatially invariant, see, e.g., [14, 15, 34]. Smallgain analysis of infinite networks is especially challenging since the gain operator, collecting the information about the internal gains, acts on an infinitedimensional space, in contrast to couplings of finitely many systems of arbitrary nature. This calls for a careful choice of the infinitedimensional state space of the overall network, and motivates the use of the theory of positive operators on ordered Banach spaces for the smallgain analysis.
In [15], it is shown that a countably infinite network of continuoustime inputtostate stable systems is ISS, provided that the gain functions capturing the influence of the subsystems on each other are all less than the identity, which is a very conservative condition. In [14], it was shown that classic maxform strong smallgain conditions developed for finite networks in [16] do not ensure stability of infinite networks, even in the linear case. To address this issue, more restrictive robust strong smallgain conditions have been developed in [14], but still the main results in [14] have been shown under the quite strong restriction that there is a linear path of strict decay for the gain operator, which makes the result not fully nonlinear.
In contrast, for networks consisting of exponentially ISS systems, possessing exponential ISS Lyapunov functions with linear gains, it was shown in [34] that if the spectral radius of the gain operator is less than one, then the whole network is exponentially ISS and there is a coercive exponential ISS Lyapunov function for the whole network. This result is tight and provides a complete generalization of [12, Prop. 3.3] from finite to infinite networks.
Contribution In this work, we provide nonlinear ISS smallgain theorems for continuoustime infinite networks, whose components may be infinitedimensional systems of different types. We do not impose any linearity and/or contractivity assumption for the gains, which makes the results truly nonlinear. Moreover, we do not restrict ourselves to couplings of ODE systems, but instead develop a framework, which allows for couplings of heterogeneous infinitedimensional systems, which is important in the context of ODEPDE, delayPDE and PDEPDE cascades. We derive our smallgain theorems for uniform global stability (UGS) and ISS properties in the trajectory formulation, in contrast to the papers [14, 15, 34], where the Lyapunov formulation was used.
We start by introducing a general class of infinitedimensional control systems, which includes many classes of evolution PDEs, timedelay systems, ODEs, infinite switched systems, etc. Next, we introduce the concept of infinite interconnections for systems of this class, extending the framework developed in [27, 37].
Theorems 6.1and6.4are our smallgain results for uniform global stability of infinite networks. They use the monotone bounded invertibility (MBI) property of the gain operator, which is equivalent for finite networks (see Proposition 7.12) to the strong smallgain condition, employed in the smallgain analysis of finite networks in [18, Thm. 8] and [37]. The proof of this result is based on the proof of the corresponding result for finite networks, see [18, Thm. 8].
Theorems 6.2and6.5are our ISS smallgain results for infinite networks in semimaximum and summation formulation, which state that an infinite network consisting of ISS systems is ISS provided that the discretetime system induced by the gain operator has the socalled monotone limit (MLIM) property. This property concerns the inputtostate behavior of the discretetime control system \(x(k+1) \le \Gamma (x(k)) + u(k)\) induced by the gain operator \(\Gamma \) and is implied by ISS of this system for monotonically decreasing solutions and in turn implies the monotone bounded invertibility property.
In Sect. 7, we analyze the MBI and MLIM properties, which are employed in the smallgain analysis of infinite networks of ISS systems. In Sect. 7.1, we characterize the MBI property in terms of the uniform smallgain condition, which is a uniform version of the classical smallgain condition \(\Gamma (x) \not \ge x\) for all \(x \ge 0\).
In Sect. 7.2, we relate the uniform smallgain condition to the strong and robust strong smallgain conditions, which have already been exploited in the smallgain analysis of finite [16, 18] and infinite [14] networks. In Sect. 7.3, we show in Proposition 7.12that the uniform and strong smallgain conditions as well as the MBI and MLIM properties are equivalent for finitedimensional nonlinear systems, if the gain operator is of summation or maxtype. As a consequence of Proposition 7.12, we see that our results extend those of [37], and thus also the classical smallgain theorems for finitely many finitedimensional systems from [18], even with minimal regularity assumptions on the interconnection (we require wellposedness and the BIC property only).
In “Appendix A”, we derive a characterization of exponential ISS (eISS) for discretetime systems with a generating and normal cone, induced by homogeneous of degree one and subadditive operators (Proposition A.1). We apply this and recent results in [19], to show in Proposition 7.16that for linear infinitedimensional systems with a generating and normal cone the MBI, MLIM and the uniform smallgain condition all are equivalent to the spectral smallgain condition (saying that the spectral radius of the gain operator is less than one).
Finally, in “Appendix B”, we study relations between various uniform and nonuniform smallgain conditions for maxform gain operators with nonlinear gains, which are of particular importance in smallgain theory. Following [14], we study also the properties of the strong transitive closure of the gain operator. We use these properties to show (in Proposition 7.17) the equivalence of the MBI property, the MLIM property, and the existence of a path of strict decay for the maxform gain operator with linear gains. The results of that section are important for the development of linear and nonlinear Lyapunovbased smallgain theorems for infinite networks.
Propositions 7.16, 7.17 and A.1 are useful, in particular, to obtain efficient smallgain theorems for infinite networks with linear gains, see Corollaries 6.3, 6.6.
2 Preliminaries
Notation We write \({\mathbb {R}}\) for the real numbers, \({\mathbb {Z}}\) for the integers, and \({\mathbb {N}}= \{1,2,3,\ldots \}\) for the natural numbers. \({\mathbb {R}}_+\) and \({\mathbb {Z}}_+\) denote the sets of nonnegative reals and integers, respectively.
We use the following classes of comparison functions:
For a normed linear space \((W,\Vert \cdot \Vert _W)\) and any \(r>0\), we write \(B_{r,W} :=\{w \in W: \Vert w\Vert _W < r\}\) (the open ball of radius r around 0 in W). By \({\overline{B}}_{r,W}\) we denote the corresponding closed ball. If the space W is clear from the context, we simply write \(B_r\) and \({\overline{B}}_r\), respectively. For any nonempty set \(S \subset W\) and any \(x \in W\), we denote the distance from x to S by \(\mathrm {dist}(x,S):=\inf _{y \in S}\Vert xy\Vert _W\).
For a set U, we let \(U^{{\mathbb {R}}_+}\) denote the space of all maps from \({\mathbb {R}}_+\) to U. For a nonempty set \(J\subset {\mathbb {R}}_+\), we denote by \(\Vert w\Vert _{J}\) the supnorm of a bounded function \(w:J \rightarrow W\), i.e., \(\Vert w\Vert _{J} = \sup _{s\in J}\Vert w(s)\Vert _W\). Given a nonempty index set I, we write \(\ell _{\infty }(I)\) for the Banach space of all functions \(x:I \rightarrow {\mathbb {R}}\) with \(\Vert x\Vert _{\ell _{\infty }(I)} := \sup _{i\in I}x(i) < \infty \). Moreover, \(\ell _{\infty }(I)^+ := \{ x \in \ell _{\infty }(I) : x(i) \ge 0,\ \forall i \in I \}\). We write \(\mathbf{1}\) for the vector in \(\ell _{\infty }(I)^+\) whose components are all equal to 1. If \(I = {\mathbb {N}}\), we simply write \(\ell _{\infty }\) and \(\ell _{\infty }^+\), respectively. By \(e_i\), \(i\in I\), we denote the ith unit vector in \(\ell _{\infty }(I)\).
Throughout the paper, all considered vector spaces are vector spaces over \({\mathbb {R}}\).
Ordered vector spaces and positive operators In the following, X always denotes a real vector space. For two sets \(A,B \subset X\), we write \(A + B = \{a + b : a \in A, b \in B\}\), \(A = \{a : a \in A\}\), and \({\mathbb {R}}_+ \cdot A = \{ r \cdot a : a \in A, r \in {\mathbb {R}}_+ \}\).
Recall that a partial order on a set X is a relation on X which is reflexive, transitive and antisymmetric. A subset \(X^+ \subset X\) is called a (positive) cone in X if (i) \(X^+ \cap (X^+) = \{0\}\), (ii) \({\mathbb {R}}_+ \cdot X^+ \subset X^+\), and (iii) \(X^+ + X^+ \subset X^+\). A cone \(X^+\) introduces a partial order “\(\le \)” on X via
The pair \((X,X^+)\) is also called an ordered vector space. If X is a Banach space and the cone \(X^+\) is closed, we call \((X,X^+)\) an ordered Banach space. In this case, the cone \(X^+\) is called generating if \(X^+ + (X^+) = X\). Clearly, a cone \(X^+\) is generating if and only if \(X^+\) spans X. If the cone \(X^+\) is generating, then by [1, Thm. 2.37] there exists a constant \(M > 0\) such that every \(x \in X\) can be decomposed as
The norm in X is called monotone if for any \(x_1,x_2 \in X\) with \(0 \le x_1 \le x_2\) it holds that \(\Vert x_1\Vert _X \le \Vert x_2\Vert _X\). The cone \(X^+\) is called normal if there exists \(\delta >0\) so that for any \(x_1,x_2 \in X\) with \(0 \le x_1 \le x_2\) it holds that \(\Vert x_1\Vert _X \le \delta \Vert x_2\Vert _X\). In this case, one can always find an equivalent norm which is monotone [1, Thm. 2.38].
Let \((X,X^+)\) and \((Y,Y^+)\) be ordered vector spaces. We say that a map \(f:X^+ \rightarrow Y^+\) is a (nonlinear) monotone operator if \(x_1 \le x_2\) implies \(f(x_1) \le f(x_2)\) for all \(x_1,x_2 \in X^+\).
3 Control systems and their stability
In this paper, we work with the following definition of a control system (which provides all the features that are necessary for a global stability analysis).
Definition 3.1
Consider a triple \(\Sigma = (X,{\mathcal {U}},\phi )\) consisting of the following:

(i)
A normed vector space \((X,\Vert \cdot \Vert _X)\), called the state space.

(ii)
A vector space U of input values and a normed vector space of inputs \(({\mathcal {U}},\Vert \cdot \Vert _{{\mathcal {U}}})\), where \({\mathcal {U}}\) is a linear subspace of \(U^{{\mathbb {R}}_+}\). We assume that the following axioms hold:

The axiom of shift invariance: for all \(u \in {\mathcal {U}}\) and all \(\tau \ge 0\), the timeshifted function \(u(\cdot + \tau )\) belongs to \({\mathcal {U}}\) with \(\Vert u\Vert _{\mathcal {U}}\ge \Vert u(\cdot + \tau )\Vert _{\mathcal {U}}\).

The axiom of concatenation: for all \(u_1,u_2 \in {\mathcal {U}}\) and for all \(t>0\) the concatenation of \(u_1\) and \(u_2\) at time t, defined by
$$\begin{aligned} {u_1\, \underset{t}{\lozenge }\,{u_2}}(\tau ) := {\left\{ \begin{array}{ll} u_1(\tau ) &{} {\text { for all } \tau \in [0,t],} \\ u_2(\tau t) &{} {\text { for all } \tau \in (t, \infty )} \end{array}\right. } \end{aligned}$$belongs to \({\mathcal {U}}\).


(iii)
A map \(\phi :D_{\phi } \rightarrow X\), \(D_{\phi }\subseteq {\mathbb {R}}_+ \times X \times {\mathcal {U}}\), called transition map, so that for all \((x,u)\in X \times {\mathcal {U}}\) it holds that \(D_{\phi } \cap ({\mathbb {R}}_+ \times \{(x,u)\}) = [0,t_m)\times \{(x,u)\}\), for a certain \(t_m = t_m(x,u)\in (0,+\infty ]\). The corresponding interval \([0,t_m)\) is called the maximal domain of definition of the mapping \(t\mapsto \phi (t,x,u)\), which we call a trajectory of the system.
The triple \(\Sigma \) is called a (control) system if it satisfies the following axioms:
 (\(\Sigma {1}\)):

The identity property: for all \((x,u) \in X \times {\mathcal {U}}\), it holds that \(\phi (0,x,u) = x\).
 (\(\Sigma {2}\)):

Causality: for all \((t,x,u) \in D_\phi \) and \({\tilde{u}} \in {\mathcal {U}}\) such that \(u(s) = {\tilde{u}}(s)\) for all \(s \in [0,t]\), it holds that \([0,t]\times \{(x,{\tilde{u}})\} \subset D_\phi \) and \(\phi (t,x,u) = \phi (t,x,{\tilde{u}})\).
 (\(\Sigma {3}\)):

Continuity: for each \((x,u) \in X \times {\mathcal {U}}\), the trajectory \(t \mapsto \phi (t,x,u)\) is continuous on its maximal domain of definition.
 (\(\Sigma {4}\)):

The cocycle property: for all \(x \in X\), \(u \in {\mathcal {U}}\) and \(t,h \ge 0\) so that \([0,t+h]\times \{(x,u)\} \subset D_{\phi }\), we have \(\phi (h,\phi (t,x,u),u(t+\cdot )) = \phi (t+h,x,u)\). \(\lhd \)
This class of systems encompasses control systems generated by ordinary differential equations, switched systems, timedelay systems, many classes of partial differential equations, important classes of boundary control systems and many other systems.
Definition 3.2
We say that a control system \(\Sigma = (X,{\mathcal {U}},\phi )\) is forward complete if \(D_\phi = {\mathbb {R}}_+ \times X \times {\mathcal {U}}\), i.e., \(\phi (t,x,u)\) is defined for all \((t,x,u) \in {\mathbb {R}}_+ \times X \times {\mathcal {U}}\). \(\lhd \)
An important property of ordinary differential equations with Lipschitz continuous righthand sides is the possibility of extending a solution, which is bounded on a time interval [0, t), to a larger time interval \([0,t+\varepsilon )\). Evolution equations in Banach spaces with bounded control operators and Lipschitz continuous righthand sides have similar properties [9, Thm. 4.3.4]; the same holds for many other classes of systems [29, Ch. 1]. The next property, adopted from [29, Def. 1.4], formalizes this behavior for general control systems.
Definition 3.3
We say that a system \(\Sigma \) satisfies the boundednessimpliescontinuation (BIC) property if for each \((x,u)\in X \times {\mathcal {U}}\) such that the maximal existence time \(t_m = t_m(x,u)\) is finite, for any given \(M>0\) there exists \(t \in [0,t_m)\) with \(\Vert \phi (t,x,u)\Vert _X > M\). \(\lhd \)
Next, we introduce the inputtostate stability property, which unifies the classical asymptotic stability concept with the inputoutput stability notion, and is one of the cornerstones of nonlinear control theory [35, 45].
Definition 3.4
A system \(\Sigma = (X,{\mathcal {U}},\phi )\) is called (uniformly) inputtostate stable (ISS) if there exist \(\beta \in {{\mathcal {K}}}{{\mathcal {L}}}\) and
\(\gamma \in {\mathcal {K}}\cup \{0\}\) such that
Two properties, implied by ISS, will be important in the sequel:
Definition 3.5
A system \(\Sigma = (X,{\mathcal {U}},\phi )\) is called uniformly globally stable (UGS) if there exist \(\sigma \in \mathcal {K_\infty }\) and \(\gamma \in {\mathcal {K}}\cup \{0\}\) such that
Definition 3.6
A forward complete system \(\Sigma = (X,{\mathcal {U}},\phi )\) has the bounded input uniform asymptotic gain (bUAG) property if there exists a \(\gamma \in {\mathcal {K}}\cup \{0\}\) such that for all \( \varepsilon ,r>0\) there is a time \(\tau = \tau (\varepsilon ,r) \ge 0\) for which
The UGS and bUAG properties are extensions of global Lyapunov stability and uniform global attractivity to systems with inputs.
The following lemma provides a useful criterion for the inputtostate stability in terms of uniform global stability and the bUAG property (see [37, Lem. 3.7]). It is a special case of stronger ISS characterizations shown in [39] and [37, Sec. 6].
Lemma 3.7
Let \(\Sigma = (X,{\mathcal {U}},\phi )\) be a control system with the BIC property. If \(\Sigma \) is UGS and has the bUAG property,^{Footnote 1} then \(\Sigma \) is ISS.
4 Infinite interconnections
In this subsection, we introduce (feedback) interconnections of an arbitrary number of control systems, indexed by some nonempty set I. For each \(i \in I\), let \((X_i,\Vert \cdot \Vert _{X_i})\) be a normed vector space which will serve as the state space of a control system \(\Sigma _i\). Before we can specify the space of inputs for \(\Sigma _i\), we first have to construct the overall state space. In the following, we use the sequence notation \((x_i)_{i \in I}\) for functions with domain I. The overall state space is then defined as
It is a vector space with respect to pointwise addition and scalar multiplication, and we can turn it into a normed space in the following way:
Proposition 4.1
The state space X is a normed space with respect to the norm
If all of the spaces \((X_i,\Vert \cdot \Vert _{X_i})\) are Banach spaces, then so is \((X,\Vert \cdot \Vert _X)\).
The proof of the proposition is straightforward; hence, we omit it.
We also define for each \(i \in I\) the normed vector space \(X_{\ne i}\) by the same construction as above, but for the restricted index set \(I {\setminus } \{i\}\). Then, \(X_{\ne i}\) can be identified with the closed linear subspace \(\{ (x_j)_{j \in I} \in X : x_i = 0 \}\) of X.
Now consider for each \(i \in I\) a control system of the form
where \(\mathrm {PC}_b({\mathbb {R}}_+,X_{\ne i})\) is the space of all globally bounded piecewise continuous functions \(w:{\mathbb {R}}_+ \rightarrow X_{\ne i}\), with the norm \(\Vert w\Vert _{\infty } = \sup _{t \ge 0}\Vert w(t)\Vert _{X_{\ne i}}\). The norm on \(\mathrm {PC}_b({\mathbb {R}}_+,X_{\ne i}) \times {\mathcal {U}}\) is defined by
Here, we assume that \({\mathcal {U}}\subset U^{{\mathbb {R}}_+}\) for some vector space U, and \({\mathcal {U}}\) satisfies the axioms of shift invariance and concatenation. Then, by the definition of \(\mathrm {PC}_b({\mathbb {R}}_+,X_{\ne i})\) and the norm (4.1), these axioms are also satisfied for the product space \(\mathrm {PC}_b({\mathbb {R}}_+,X_{\ne i}) \times {\mathcal {U}}\).
Definition 4.2
Given the control systems \(\Sigma _i\) (\(i \in I\)) as above, assume that there is a map \(\phi :D_\phi \rightarrow X\), defined on \(D_\phi \subset {\mathbb {R}}_+ \times X \times {\mathcal {U}}\), such that:

(i)
For each \(x \in X\) and each \(u \in {\mathcal {U}}\) there is \(\varepsilon >0\) such that \([0,\varepsilon ] \times \{(x,u)\} \subset D_\phi \).

(ii)
Furthermore, the components \(\phi _i\) of the transition map \(\phi :D_{\phi } \rightarrow X\) satisfy
$$\begin{aligned} \phi _i(t,x,u) = {\bar{\phi }}_i(t,x_i,(\phi _{\ne i},u)) \quad \hbox { for all}\ (t,x,u) \in D_{\phi }, \end{aligned}$$where \(\phi _{\ne i}(\cdot ) = (\phi _j(\cdot ,x,u))_{j \in I {\setminus } \{i\}}\) for all \(i \in I\).^{Footnote 2}
We also assume that \(\phi \) is maximal in the sense that no other map \({{\tilde{\phi }}}:{\tilde{D}}_\phi \rightarrow X\) with \({\tilde{D}}_\phi \supset D_\phi \) exists, which satisfies all of the above properties, and coincides with \(\phi \) on \(D_\phi \).
If the map \(\phi \) is unique with above properties, and if \(\Sigma = (X,{\mathcal {U}},\phi )\) is a control system satisfying BIC property, then \(\Sigma \) is called the (feedback) interconnection of the systems \(\Sigma _i\).
We then call \(X_{\ne i}\) the space of internal input values, \(\mathrm {PC}_b({\mathbb {R}}_+,X_{\ne i})\) the space of internal inputs, and \({\mathcal {U}}\) the space of external inputs of the system \(\Sigma _i\). Moreover, we call \(\Sigma _i\) the ith subsystem of \(\Sigma \). \(\lhd \)
The stability properties introduced above are defined in terms of the norm of the whole input, and this is not suitable for the consideration of coupled systems, as we are interested not only in the collective influence of all inputs on a subsystem, but in the influence of particular subsystems on a given subsystem. The next definition provides the needed flexibility.
Definition 4.3
Given the spaces \((X_j,\Vert \cdot \Vert _{X_j})\), \(j\in I\), and the system \(\Sigma _i\) for a fixed \(i \in I\), we say that \(\Sigma _i\) is inputtostate stable (ISS) (in semimaximum formulation) if \(\Sigma _i\) is forward complete and there are \(\gamma _{ij},\gamma _j \in {\mathcal {K}}\cup \{0\}\) for all \(j \in I\), and \(\beta _i \in {{\mathcal {K}}}{{\mathcal {L}}}\) such that for all initial states \(x_i \in X_i\), all internal inputs \(w_{\ne i} = (w_j)_{j\in I {\setminus } \{i\}} \in \mathrm {PC}_b({\mathbb {R}}_+,X_{\ne i})\), all external inputs \(u \in {\mathcal {U}}\) and \(t \ge 0\):
Here, we assume that the functions \(\gamma _{ij}\) satisfy \(\sup _{j \in I}\gamma _{ij}(r) < \infty \) for every \(r \ge 0\) (implying that the sum on the righthand side is finite) and \(\gamma _{ii} = 0\). \(\lhd \)
The functions \(\gamma _{ij}\) and \(\gamma _i\) in this definition are called (nonlinear) gains.
Assuming that all systems \(\Sigma _i\), \(i\in I\), are ISS in semimaximum formulation, we can define a nonlinear monotone operator \(\Gamma _{\otimes }:\ell _{\infty }(I)^+ \rightarrow \ell _{\infty }(I)^+\) from the gains \(\gamma _{ij}\) by
In general, \(\Gamma _{\otimes }\) is not welldefined. It is easy to see that the following assumption is equivalent to \(\Gamma _{\otimes }\) being welldefined.
Assumption 4.4
For every \(r>0\), we have \(\sup _{i,j \in I}\gamma _{ij}(r) < \infty \).
Lemma 4.5
Assumption 4.4 is equivalent to the existence of \(\zeta \in \mathcal {K_\infty }\) and \(a\ge 0\) such that \(\sup _{i,j\in I}\gamma _{ij}(r) \le a + \zeta (r)\) for all \(r\ge 0\).
Proof
Obviously, the implication “\(\Leftarrow \)” holds. Conversely, define \(\xi : {\mathbb {R}}_+ \rightarrow {\mathbb {R}}_+\) by
As a supremum of continuous increasing functions, \(\xi \) is lower semicontinuous and nondecreasing on its domain of definition. As \(\xi (r)\) is finite for every \(r\ge 0\) by assumption, define
where \(a:=\lim _{r\rightarrow +0}\xi (r)\ge 0\) (the limit exists as \(\xi \) is nondecreasing). By construction, \({\tilde{\xi }}\) is nondecreasing, continuous at 0 and satisfies \({\tilde{\xi }}(0)=0\). Hence, \({\tilde{\xi }}\) can be upper bounded by a certain \(\zeta \in \mathcal {K_\infty }\) (this follows from a more general result in [40, Prop. 9]). Overall, \(\sup _{i,j\in I} \gamma _{ij}(r) \le a + \zeta (r)\) for all \(r\ge 0\). \(\square \)
Also observe that \(\Gamma _{\otimes }\), if welldefined, is a monotone operator:
Remark 4.6
If all gains \(\gamma _{ij}\) are linear, then \(\Gamma _{\otimes }\) satisfies the following two properties:

\(\Gamma _{\otimes }\) is a homogeneous operator of degree one, i.e., \(\Gamma _{\otimes }(as) = a\Gamma _{\otimes }(s)\) for all \(a \ge 0\) and \(s \in \ell _{\infty }(I)^+\).

\(\Gamma _{\otimes }\) is subadditive, i.e., \(\Gamma _{\otimes }(s^1 + s^2) \le \Gamma _{\otimes }(s^1) + \Gamma _{\otimes }(s^2)\) for all \(s^1,s^2 \in \ell _{\infty }(I)^+\).
Finally, we provide a criterion for continuity of \(\Gamma _{\otimes }\) (this criterion with a slightly different statement can already be found in [14, Lem. 2.1], however, without proof).
Proposition 4.7
Assume that the family \(\{\gamma _{ij}\}_{(i,j) \in I^2}\) is pointwise equicontinuous, i.e., for every \(r \in {\mathbb {R}}_+\) and \(\varepsilon >0\) there exists \(\delta >0\) such that \(\gamma _{ij}(r)  \gamma _{ij}(s) \le \varepsilon \) whenever \((i,j) \in I^2\) and \(r  s \le \delta \). Then \(\Gamma _{\otimes }\) is welldefined and continuous.
Proof
First, we show that \(\Gamma _{\otimes }\) is welldefined. Fixing some \(r>0\), the family \(\{\gamma _{ij}\}_{(i,j)\in I^2}\) is uniformly equicontinuous on the compact interval [0, r], which follows by a compactness argument. Hence, we can find \(\delta >0\) so that \(s_1  s_2 \le \delta \) with \(s_1,s_2 \in [0,r]\) implies \(\gamma _{ij}(s_1)  \gamma _{ij}(s_2) \le 1\) for all i, j. We can assume that \(\delta \) is of the form r/n for an integer n. Then,
for all \((i,j) \in I^2\). Hence, \(\Gamma _{\otimes }\) is welldefined.
Now we prove continuity. Choose any \(\varepsilon >0\), fix some \(s^0 \in \ell _{\infty }(I)^+\) and let \(s \in \ell _{\infty }(I)^+\) so that \(\Vert s  s^0\Vert _{\ell _{\infty }(I)} \le \delta \) for some \(\delta >0\) to be determined. By the required equicontinuity, we can choose \(\delta \) small enough so that \(\gamma _{ij}(s^0_j)  \gamma _{ij}(s_j) \le \varepsilon \) for all (i, j) as \(s^0_j  s_j \le \Vert s^0  s\Vert _{\ell _{\infty }(I)} \le \delta \). This also implies
In the last inequality, we use the estimate
and the analogous estimate in the other direction. \(\square \)
Another formulation of ISS for the systems \(\Sigma _i\) is as follows. In this formulation, we need to assume that I is countable.
Definition 4.8
Assume that I is a nonempty countable set. Given the spaces \((X_j,\Vert \cdot \Vert _{X_j})\), \(j\in I\), and the system \(\Sigma _i\) for a fixed \(i \in I\), we say that \(\Sigma _i\) is inputtostate stable (ISS) (in summation formulation) if \(\Sigma _i\) is forward complete and there are \(\gamma _{ij},\gamma _j \in {\mathcal {K}}\cup \{0\}\) for all \(j \in I\), and \(\beta _i \in {{\mathcal {K}}}{{\mathcal {L}}}\) such that for all initial states \(x_i \in X_i\), all internal inputs \(w_{\ne i} = (w_j)_{j\in I {\setminus } \{i\}} \in \mathrm {PC}_b({\mathbb {R}}_+,X_{\ne i})\), all external inputs \(u \in {\mathcal {U}}\) and \(t \ge 0\):
Here, we assume that the functions \(\gamma _{ij}\) are such that \(\sum _{j \in I}\gamma _{ij}(r) < \infty \) for every \(r \ge 0\) (implying that the sum on the righthand side is finite) and \(\gamma _{ii} = 0\). \(\lhd \)
Remark 4.9
If a network has finitely many components, ISS in summation formulation, and ISS in semimaximum formulation are equivalent concepts. Nevertheless, even for finite networks the gains in semimaximum formulation and the gains in summation formulation are distinct, and for some systems one formulation is better than the other one in the sense that it produces tighter (and thus smaller) gains. This motivates the interest in analyzing both formulations. We illustrate this by examples in Sects. 6.3, 6.4. In fact, also more general formulations of inputtostate stability for networks are studied in the literature [16], using the formalism of monotone aggregation functions.
Assuming that all systems \(\Sigma _i\), \(i\in I\), are ISS, we can define a nonlinear monotone operator \(\Gamma _{\boxplus }:\ell _{\infty }(I)^+ \rightarrow \ell _{\infty }(I)^+\) from the gains \(\gamma _{ij}\) as follows:
Again, \(\Gamma _{\boxplus }\) might not be welldefined; hence, we need to make an appropriate assumption.
Assumption 4.10
For every \(r > 0\), we have
Remark 4.11
Assume that all the gains \(\gamma _{ij}\), \((i,j) \in I^2\), are linear functions. Then, the gain operator \(\Gamma _{\boxplus }\) can be regarded as a linear operator on \(\ell _{\infty }(I)\) and Assumption 4.10 is equivalent to \(\Gamma _{\boxplus }\) being a bounded linear operator on \(\ell _{\infty }(I)\).
Proposition 4.12
Assume that the operator \(\Gamma _{\boxplus }\) is welldefined. A sufficient criterion for continuity of \(\Gamma _{\boxplus }\) is that each \(\gamma _{ij}\) is a \(C^1\)function and
Proof
Fix \(s^0 = (s^0_j)_{j\in I} \in \ell _{\infty }(I)^+\) and \(\varepsilon >0\). Let \(s \in \ell _{\infty }(I)^+\) with \(\Vert s  s^0\Vert _{\ell _{\infty }(I)} = \sup _{i \in I}s_i  s^0_i \le \delta \) for some \(\delta > 0\), to be determined later. Then
Using the assumption that each \(\gamma _{ij}\) is a \(C^1\)function and writing \(s^0_{\max } := \Vert s^0\Vert _{\ell _{\infty }(I)}\), we can estimate this by
By assumption, the last supremum is finite, which implies that \(\delta \) can be chosen small enough so that the whole expression is smaller than \(\varepsilon \). \(\square \)
We also need versions of UGS for the systems \(\Sigma _i\).
Definition 4.13
Given the spaces \((X_j,\Vert \cdot \Vert _{X_j})\), \(j\in I\), and the system \(\Sigma _i\) for a fixed \(i \in I\), we say that \(\Sigma _i\) is uniformly globally stable (UGS) (in semimaximum formulation) if \(\Sigma _i\) is forward complete and there are \(\gamma _{ij},\gamma _j \in {\mathcal {K}}\cup \{0\}\) for all \(j \in I\), and \(\sigma _i \in \mathcal {K_\infty }\) such that for all initial states \(x_i \in X_i\), all internal inputs \(w_{\ne i} = (w_j)_{j\in I {\setminus } \{i\}} \in \mathrm {PC}_b({\mathbb {R}}_+,X_{\ne i})\), all external inputs \(u \in {\mathcal {U}}\) and \(t \ge 0\):
Here, we assume that the functions \(\gamma _{ij}\) are such that \(\sup _{j \in I}\gamma _{ij}(r) < \infty \) for every \(r \ge 0\) (implying that the sum on the righthand side is finite) and \(\gamma _{ii} = 0\). \(\lhd \)
Definition 4.14
Let I be a countable index set. Given the spaces \((X_j,\Vert \cdot \Vert _{X_j})\), \(j\in I\), and the system \(\Sigma _i\) for a fixed \(i \in I\), we say that \(\Sigma _i\) is uniformly globally stable (UGS) (in summation formulation) if \(\Sigma _i\) is forward complete and there are \(\gamma _{ij},\gamma _j \in {\mathcal {K}}\cup \{0\}\) for all \(j \in I\), and \(\sigma _i \in \mathcal {K_\infty }\) such that for all initial states \(x_i \in X_i\), all internal inputs \(w_{\ne i} = (w_j)_{j\in I {\setminus } \{i\}} \in \mathrm {PC}_b({\mathbb {R}}_+,X_{\ne i})\), all external inputs \(u \in {\mathcal {U}}\) and \(t \ge 0\):
Here, we assume that the functions \(\gamma _{ij}\) are such that \(\sum _{j \in I}\gamma _{ij}(r) < \infty \) for every \(r \ge 0\) (implying that the sum on the righthand side is finite) and \(\gamma _{ii} = 0\). \(\lhd \)
5 Stability of discretetime systems
In this section, we study stability properties of the system
Here, \((X,X^+)\) is an ordered Banach space, \(A: X^+ \rightarrow X^+\) is a nonlinear operator on the cone \(X^+\), and the input u is an element of \(\ell _{\infty }({\mathbb {Z}}_+,X^+)\), where the latter space is defined as
A solution of equation (5.1) is a mapping \(x: {\mathbb {Z}}_+ \rightarrow X^+\) that satisfies (5.1). We call a mapping \(x: {\mathbb {Z}}_+ \rightarrow X^+\) decreasing if \(x(k+1) \le x(k)\) for all \(k \in {\mathbb {Z}}_+\).
As we will see, for the smallgain analysis of infinite interconnections, the properties of the gain operator and the discretetime system (5.1) induced by the gain operator are essential. So we now relate the stability of the system (5.1) to the properties of the operator A.
Definition 5.1
The system (5.1) has the monotone limit property (MLIM) if there is \(\xi \in \mathcal {K_\infty }\) such that for every \(\varepsilon >0\), every constant input \(u(\cdot ) :\equiv w \in X^+\) and every decreasing solution \(x: {\mathbb {Z}}_+ \rightarrow X^+\) of (5.1), there exists \(N = N(\varepsilon ,u,x(\cdot )) \in {\mathbb {Z}}_+\) with
Definition 5.2
Let \((X,X^+)\) be an ordered Banach space and let \(A:X^+ \rightarrow X^+\) be a nonlinear operator. We say that \(\mathrm {id} A\) has the monotone bounded invertibility (MBI) property if there exists \(\xi \in \mathcal {K_\infty }\) such that for all \(v,w \in X^+\) the following implication holds:
Proposition 5.3
Let \((X,X^+)\) be an ordered Banach space and let \(A:X^+ \rightarrow X^+\) be a nonlinear operator. If system (5.1) has the MLIM property, then the operator \(\mathrm {id} A\) has the MBI property.
Proof
Assume that \((\mathrm {id} A)(v) \le w\) for some \(v,w \in X^+\). We write this as \(v \le A(v) + w\). Hence, \(x(\cdot ) :\equiv v\) is a constant solution of (5.1) corresponding to the constant input sequence \(u(\cdot ) :\equiv w\). By the MLIM property, there exists \(\xi \in \mathcal {K_\infty }\) (independent of v, w) so that for every \(\varepsilon >0\) there is N with
Since this holds for every \(\varepsilon >0\), we obtain \(\Vert v\Vert _X \le \xi (\Vert w\Vert _X)\), which completes the proof. \(\square \)
Whether the MBI property is strictly weaker than the MLIM property, or whether they are equivalent, is an open problem. In the next proposition, though, we show that they are equivalent under certain assumptions on the operator A or the cone \(X^+\). Later, in Propositions 7.16 and 7.17, we show their equivalence for linear operators and for the gain operator \(\Gamma _\otimes \) with linear gains, defined on \(\ell _{\infty }(I)\).
The cone \(X^+\) is said to have the Levi property if every decreasing sequence in \(X^+\) is normconvergent [1, Def. 2.44(2)]. Typical examples are the standard cones in \(L^p\)spaces for \(p \in [1,\infty )\), and the standard cone in the space \(c_0\) of realvalued sequences that converge to 0. We note in passing that if the cone \(X^+\) has the Levi property, then it is normal [1, Thm. 2.45].
Proposition 5.4
Let \((X,X^+)\) be an ordered Banach space with normal cone and let \(A:X^+ \rightarrow X^+\) be a nonlinear, continuous and monotone operator. If the cone \(X^+\) has the Levi property or if the operator A is compact (i.e., it maps bounded sets onto precompact sets), then the following statements are equivalent:

(i)
System (5.1) satisfies the MLIM property.

(ii)
The operator \(\mathrm {id} A\) satisfies the MBI property.
Proof
In view of Proposition 5.3, it suffices to prove the implication “(ii) \(\Rightarrow \) (i)”. Hence, consider a constant input \(u(\cdot ) :\equiv w \in X^+\) and a decreasing sequence \(x(\cdot )\) in \(X^+\) such that \(x(k+1) \le A(x(k)) + w\) for all \(k \in {\mathbb {Z}}_+\). As A is monotone, the operator \({\tilde{A}}(x) := A(x) + w\), \({\tilde{A}}:X^+ \rightarrow X^+\), is monotone as well; if A is compact, then so is \({{\tilde{A}}}\). Moreover,
Now consider the sequence \(y(k) := {\tilde{A}}(x(k))\), \(k \in {\mathbb {Z}}_+\). As x is decreasing, so is y. Next, we note that y converges in norm. Indeed, if the cone has the Levi property, this is clear. If the cone does not have the Levi property, then A, and thus \({\tilde{A}}\), is compact by assumption. So y has a convergent subsequence; since y is decreasing and the cone is normal, it thus follows that y converges itself.
Let \(y_* \in X^+\) denote the limit of the sequence y. Applying \({\tilde{A}}\) on both sides of (5.2) yields
Taking the limit for \(k \rightarrow \infty \) and using continuity of A results in \(y_* \le {\tilde{A}}(y_*) = A(y_*) + w\). Since this can be written as \((\mathrm {id} A)(y_*) \le w\), the MBI property of \(\mathrm {id} A\) gives \(\Vert y_*\Vert \le \xi (\Vert w\Vert )\). As \(X^+\) is a normal cone, there is \(\delta >0\) such that for every \(\varepsilon >0\) there is \(k>0\) large enough, for which
This completes the proof. \(\square \)
6 Smallgain theorems
6.1 Smallgain theorems in semimaximum formulation
In this subsection, we prove smallgain theorems for UGS and ISS, both in semimaximum formulation. We start with UGS.
Theorem 6.1
(UGS smallgain theorem in semimaximum formulation) Let I be an arbitrary nonempty index set, \((X_i,\Vert \cdot \Vert _{X_i})\), \(i\in I\), normed spaces and \(\Sigma _i = (X_i,\mathrm {PC}_b({\mathbb {R}}_+,X_{\ne i}) \times {\mathcal {U}},{\bar{\phi }}_i)\) forward complete control systems. Assume that the interconnection \(\Sigma = (X,{\mathcal {U}},\phi )\) of the systems \(\Sigma _i\) is welldefined. Furthermore, let the following assumptions be satisfied:

(i)
Each system \(\Sigma _i\) is UGS in the sense of Definition 4.13 with \(\sigma _i \in {\mathcal {K}}\) and nonlinear gains \(\gamma _{ij},\gamma _i \in {\mathcal {K}}\cup \{0\}\).

(ii)
There exist \(\sigma _{\max } \in \mathcal {K_\infty }\) and \(\gamma _{\max } \in \mathcal {K_\infty }\) so that \(\sigma _i \le \sigma _{\max }\) and \(\gamma _i \le \gamma _{\max }\), pointwise for all \(i \in I\).

(iii)
Assumption 4.4 is satisfied for the operator \(\Gamma _{\otimes }\) defined via the gains \(\gamma _{ij}\) from (i) and \(\mathrm {id} \Gamma _{\otimes }\) has the MBI property.
Then \(\Sigma \) is forward complete and UGS.
Proof
Fix \((t,x,u) \in D_{\phi }\) and observe that
Abbreviating \({\bar{\phi }}_j(\cdot ) = {\bar{\phi }}_j(\cdot ,x_j,(\phi _{\ne j},u))\) and using assumption (i), we can estimate
From the inequalities (using continuity of \(s \mapsto \phi (s,x,u)\))
it follows that
From Assumption (ii), it follows that also the vectors \(\vec {\sigma }(x) := (\sigma _i(\Vert x_i\Vert _{X_i}))_{i\in I}\) and \(\vec {\gamma }(u) := ( \gamma _i(\Vert u\Vert _{{\mathcal {U}}}) )_{i \in I}\) are contained in \(\ell _{\infty }(I)^+\). Hence, we can write the inequalities (6.1) in vectorized form as
By Assumption (iii), this yields for some \(\xi \in \mathcal {K_\infty }\), independent of x, u:
Since \(\xi (a + b) \le \max \{\xi (2a),\xi (2b)\} \le \xi (2a) + \xi (2b)\) for all \(a,b\ge 0\), this implies
and we conclude that
which is a UGS estimate with \(\sigma (r) := \xi (2\sigma _{\max }(r))\), \(\gamma (r) := \xi (2\gamma _{\max }(r))\) for \(\Sigma \) for all \((t,x,u)\in D_\phi \). Since \(\Sigma \) has the BIC property by assumption, it follows that \(\Sigma \) is forward complete and UGS. \(\square \)
Now we are in position to state the ISS smallgain theorem.
Theorem 6.2
(Nonlinear ISS smallgain theorem in semimaximum formulation) Let I be an arbitrary nonempty index set, \((X_i,\Vert \cdot \Vert _{X_i})\), \(i\in I\), normed spaces and \(\Sigma _i = (X_i,\mathrm {PC}_b({\mathbb {R}}_+,X_{\ne i}) \times {\mathcal {U}},{\bar{\phi }}_i)\) forward complete control systems. Assume that the interconnection \(\Sigma = (X,{\mathcal {U}},\phi )\) of the systems \(\Sigma _i\) is welldefined. Furthermore, let the following assumptions be satisfied:

(i)
Each system \(\Sigma _i\) is ISS in the sense of Definition 4.3 with \(\beta _i \in {{\mathcal {K}}}{{\mathcal {L}}}\) and nonlinear gains \(\gamma _{ij},\gamma _i \in {\mathcal {K}}\cup \{0\}\).

(ii)
There are \(\beta _{\max } \in {{\mathcal {K}}}{{\mathcal {L}}}\) and \(\gamma _{\max } \in {\mathcal {K}}\) so that \(\beta _i \le \beta _{\max }\) and \(\gamma _i \le \gamma _{\max }\) pointwise for all \(i \in I\).

(iii)
Assumption 4.4 holds and the discretetime system
$$\begin{aligned} w(k+1) \le \Gamma _{\otimes }(w(k)) + v(k), \end{aligned}$$(6.2)with \(w(\cdot ),v(\cdot )\) taking values in \(\ell _{\infty }(I)^+\), has the MLIM property.
Then \(\Sigma \) is ISS.
Proof
We show that \(\Sigma \) is UGS and satisfies the bUAG property, which implies ISS by Lemma 3.7.
UGS. This follows from Theorem 6.1. Indeed, the assumptions (i) and (ii) of Theorem 6.1 are satisfied with \(\sigma _i(r) := \beta _i(r,0) \in {\mathcal {K}}\) and the gains \(\gamma _{ij},\gamma _i\) from the ISS estimates for \(\Sigma _i\), \(i\in I\). From Proposition 5.3 and Assumption (iii) of this theorem, it follows that Assumption (iii) of Theorem 6.1 is satisfied. Hence, \(\Sigma \) is forward complete and UGS.
bUAG. As \(\Sigma \) is the interconnection of the systems \(\Sigma _i\) and since \(\Sigma \) is forward complete, we have \(\phi _i(t,x,u) = {\bar{\phi }}_i(t,x_i,(\phi _{\ne i},u))\) for all \((t,x,u) \in {\mathbb {R}}_+ \times X \times {\mathcal {U}}\) and \(i \in I\), with the notation from Definition 4.2.
Pick any \(r > 0\), any \(u \in {\overline{B}}_{r,{\mathcal {U}}}\) and \(x \in {\overline{B}}_{r,X}\). As \(\Sigma \) is UGS, there are \(\sigma ^{\mathrm {UGS}},\gamma ^{\mathrm {UGS}} \in \mathcal {K_\infty }\) so that
In view of the cocycle property, for all \(i \in I\) and \(t,\tau \ge 0\) we have
Given \(\varepsilon >0\), choose \(\tau ^* = \tau ^*(\varepsilon ,r) \ge 0\) such that \(\beta _{\max }(\mu (r),\tau ^*) \le \varepsilon \). Then
Now pick any \(k \in {\mathbb {N}}\) and write
Then, taking the supremum in the above inequality over all \((x,u) \in B(r,k)\), we obtain for all \(i \in I\) and all \(t \ge 0\) that
This implies for all \(t \ge 0\) that
Now we define
and note that \(w_i(t,r,k) \in [0,\mu (r)]\) for all \(i \in I\) and \(t \ge 0\). With this notation, we can rewrite the preceding inequality as
Using vector notation \(\vec {w}(t,r,k) := (w_i(t,r,k))_{i\in I}\) and \(\vec {\gamma }(r) := (\gamma _i(r))_{i \in I}\), this can be written as
Observe that \(\vec {w}(t,r,k) \in \ell _{\infty }(I)^+\), as the entries of the vector are uniformly bounded by \(\mu (r)\), and \(\vec {w}(t_2,r,k) \le \vec {w}(t_1,r,k)\) for \(t_2 \ge t_1\). Hence, \(\vec {w}(l) := \vec {w}(l\tau ^*,r,k)\), \(l \in {\mathbb {Z}}_+\), is a monotone solution of (6.2) for the constant input \(v(\cdot ) \equiv \varepsilon \mathbf{1} + \vec {\gamma }(2^{k+1}r)\). By assumption (iii) of the theorem, this implies the existence of a time \({\tilde{\tau }} = {\tilde{\tau }}(\varepsilon ,r,k)\) and a \(\mathcal {K_\infty }\)function \(\xi \) such that
By definition, this implies
Now define \(k_0 = k_0(\varepsilon ,r)\) as the minimal \(k \ge 1\) so that \(\xi (2\gamma _{\max }(2^{1k}r)) \le \varepsilon \) and let
Pick any \(0 \ne u \in {\overline{B}}_{r,{\mathcal {U}}}\). Then, there is \(k \in {\mathbb {N}}\) with \(\Vert u\Vert _{{\mathcal {U}}} \in (2^{k}r,2^{k+1}r]\). If \(k \le k_0\) (large input), then for \(t \ge {\hat{\tau }}(\varepsilon ,r)\) we have
It remains to consider the case when \(k > k_0\) (small input). For any \(q \in [0,r]\), one can take the supremum in (6.3) over \(x \in {\overline{B}}_{r,X}\) and \(u \in {\overline{B}}_{q,{\mathcal {U}}}\) to obtain
With \(z_i(t,r,q) := \sup _{s \ge t}\sup _{(x,u) \in {\overline{B}}_{r,X} \times {\overline{B}}_{q,{\mathcal {U}}}}\Vert \phi _i(s,x,u)\Vert _{X_i}\), analogous steps as above lead to the following: for every \(\varepsilon >0\), \(r>0\) and \(q \in [0,r]\) there is a time \({\bar{\tau }} = {\bar{\tau }}(\varepsilon ,r,q)\) such that
In particular, for \(q_0 := 2^{k_0(\varepsilon ,r)+1}\), we have
since \(\xi (2\gamma _{\max }(q_0)) = \xi (2\gamma _{\max }(2^{k_0(\varepsilon ,r)+1})) \le \varepsilon \) by definition of \(k_0\). Define \(\tau (\varepsilon ,r) := \max \{{\hat{\tau }}(\varepsilon ,r),{\bar{\tau }}(\varepsilon ,r,q_0)\}\). Combining (6.4) and (6.5), we obtain
As \(r \mapsto \xi (2\gamma _{\max }(2r))\) is a \(\mathcal {K_\infty }\)function, we have proved that \(\Sigma \) has the bUAG property which completes the proof. \(\square \)
For finite networks, Theorem 6.2 was shown in [37]. However, in the proof of the infinitedimensional case there are essential novelties, which are due to the fact that the trajectories of an infinite number of subsystems do not necessarily have a uniform speed of convergence. This resulted also in a strengthening of the employed smallgain condition.
In the special case when all interconnection gains \(\gamma _{ij}\) are linear, the smallgain condition in our theorem can be formulated more directly in terms of the gains, as the following corollary shows.
Corollary 6.3
(Linear ISS smallgain theorem in semimaximum formulation) Given an interconnection \((\Sigma ,{\mathcal {U}},\phi )\) of systems \(\Sigma _i\) as in Theorem 6.2, additionally to the assumptions (i) and (ii) of this theorem, assume that all gains \(\gamma _{ij}\) are linear functions (and hence can be identified with nonnegative real numbers), \(\Gamma _{\otimes }\) is welldefined and the following condition holds:
Then \(\Sigma \) is ISS.
Proof
We only need to show that Assumption (iii) of Theorem 6.2 is implied by (6.6). The linearity of the gains \(\gamma _{ij}\) implies that the operator \(\Gamma _{\otimes }\) is homogeneous of degree one and subadditive, see Remark 4.6. Then Proposition A.1 and Remark B.2 together show that (6.6) implies that the system
is eISS (according to Definition 7.15), which easily implies the MLIM property for this system. \(\square \)
6.2 Smallgain theorems in summation formulation
Now we formulate the smallgain theorems for UGS and ISS in summation formulation.
Theorem 6.4
(UGS smallgain theorem in summation formulation) Let I be a countable index set, \((X_i,\Vert \cdot \Vert _{X_i})\), \(i\in I\), be normed spaces and \(\Sigma _i = (X_i,\mathrm {PC}_b({\mathbb {R}}_+,X_{\ne i}) \times {\mathcal {U}},{\bar{\phi }}_i)\), \(i\in I\) be forward complete control systems. Assume that the interconnection \(\Sigma = (X,{\mathcal {U}},\phi )\) of the systems \(\Sigma _i\) is welldefined. Furthermore, let the following assumptions be satisfied:

(i)
Each system \(\Sigma _i\) is UGS in the sense of Definition 4.14 (summation formulation) with \(\sigma _i \in {\mathcal {K}}\) and nonlinear gains \(\gamma _{ij},\gamma _i \in {\mathcal {K}}\cup \{0\}\).

(ii)
There exist \(\sigma _{\max } \in \mathcal {K_\infty }\) and \(\gamma _{\max } \in \mathcal {K_\infty }\) so that \(\sigma _i \le \sigma _{\max }\) and \(\gamma _i \le \gamma _{\max }\), pointwise for all \(i \in I\).

(iii)
Assumption 4.10 is satisfied for the operator \(\Gamma _{\boxplus }\) defined via the gains \(\gamma _{ij}\) from (i) and \(\mathrm {id} \Gamma _{\boxplus }\) has the MBI property.
Then \(\Sigma \) is forward complete and UGS.
Proof
The proof is exactly the same as for Theorem 6.1, with the operator \(\Gamma _{\boxplus }\) in place of \(\Gamma _{\otimes }\). \(\square \)
Theorem 6.5
(Nonlinear ISS smallgain theorem in summation formulation) Let I be a countable index set, \((X_i,\Vert \cdot \Vert _{X_i})\), \(i\in I\) be normed spaces and \(\Sigma _i = (X_i,\mathrm {PC}_b({\mathbb {R}}_+,X_{\ne i}) \times {\mathcal {U}},{\bar{\phi }}_i)\), \(i\in I\) be forward complete control systems. Assume that the interconnection \(\Sigma = (X,{\mathcal {U}},\phi )\) of the systems \(\Sigma _i\) is welldefined. Furthermore, let the following assumptions be satisfied:

(i)
Each system \(\Sigma _i\) is ISS in the sense of Definition 4.8 with \(\beta _i \in {{\mathcal {K}}}{{\mathcal {L}}}\) and nonlinear gains \(\gamma _{ij},\gamma _i \in {\mathcal {K}}\cup \{0\}\).

(ii)
There are \(\beta _{\max } \in {{\mathcal {K}}}{{\mathcal {L}}}\) and \(\gamma _{\max } \in {\mathcal {K}}\) so that \(\beta _i \le \beta _{\max }\) and \(\gamma _i \le \gamma _{\max }\), pointwise for all \(i \in I\).

(iii)
Assumption (4.10) holds and the discretetime system
$$\begin{aligned} w(k+1) \le \Gamma _{\boxplus }(w(k)) + v(k), \end{aligned}$$(6.7)with \(w(\cdot ),v(\cdot )\) taking values in \(\ell _{\infty }(I)^+\), has the MLIM property.
Then \(\Sigma \) is ISS.
Proof
The proof is almost completely the same as for Theorem 6.2. The only difference is that instead of interchanging the order of two suprema \(\sup _{s \ge t}\) and \(\sup _{j \in I}\), we now have to use the estimate \(\sup _{s \ge t} \sum _{j \in I} \ldots \le \sum _{j \in I} \sup _{s \ge t} \ldots \),
which is trivially satisfied. \(\square \)
Again, we formulate a corollary for the case when all gains \(\gamma _{ij}\) are linear.
Corollary 6.6
(Linear ISS smallgain theorem in summation formulation) Given an interconnection \((\Sigma ,{\mathcal {U}},\phi )\) of systems \(\Sigma _i\) as in Theorem 6.5, additionally to the assumptions (i) and (ii) of this theorem, assume that all gains \(\gamma _{ij}\) are linear functions (and hence can be identified with nonnegative real numbers), the linear operator \(\Gamma _{\boxplus }\) is welldefined (thus bounded) and satisfies the spectral radius condition \(r(\Gamma _{\boxplus }) < 1\). Then, \(\Sigma \) is ISS.
Proof
By Proposition 7.16, \(r(\Gamma _{\boxplus }) < 1\) is equivalent to the MLIM property of the system (6.7), hence to Assumption (iii) of Theorem 6.5. \(\square \)
6.3 Example: a linear spatially invariant system
Let us analyze the stability of a spatially invariant infinite network
where \(a,b>0\) and each \(\Sigma _i\) is a scalar system with the state \(x_i \in {\mathbb {R}}\), internal inputs \(x_{i1}\), \(x_{i+1}\) and an external input u, belonging to the input space \({\mathcal {U}}:=L_\infty ({\mathbb {R}}_+,{\mathbb {R}})\).
Following the general approach in Sect. 4, we define the state space for the interconnection of \((\Sigma _i)_{i\in {\mathbb {Z}}}\) as \(X:=\ell _\infty ({\mathbb {Z}})\). Similarly as for finitedimensional ODEs, it is possible to introduce the concept of a mild (Carathéodory) solution for equation (6.8), for which we refer, e.g., to [34]. As (6.8) is linear, it is easy to see that for each initial condition \(x_0 \in X\) and for each input \(u \in {\mathcal {U}}\) the corresponding mild solution is unique and exists on \({\mathbb {R}}_+\). We denote it by \(\phi (\cdot ,x_0,u)\). One can easily check that the triple \(\Sigma :=(X,{\mathcal {U}},\phi )\) defines a wellposed and forward complete interconnection in the sense of this paper.
Having a wellposed control system \(\Sigma \), we proceed to its stability analysis.
Proposition 6.7
The coupled system (6.8) is ISS if and only if \(a+b<1\).
Proof
“\(\Rightarrow \)”: For any \(a,b>0\), the function \(y: t \mapsto (\mathrm {e}^{(a+b1)t}x^*)_{i\in {\mathbb {Z}}}\) is a solution of (6.8) subject to an initial condition \((x^*)_{i\in {\mathbb {Z}}}\) and input \(u\equiv 0\). This shows that \(a+b \ge 1\) implies that the system (6.8) is not ISS.
“\(\Leftarrow \)”: By variation of constants, we see that for any \(i\in {\mathbb {Z}}\), treating \(x_{i1}, x_{i+1}\) as external inputs from \(L_\infty ({\mathbb {R}}_+,{\mathbb {R}})\), we have the following ISS estimate for the \(x_i\)subsystem:
for any \(t\ge 0\), \(x_i(0)\in {\mathbb {R}}\) and all \(x_{i1}, x_{i+1},u \in L_\infty ({\mathbb {R}}_+,{\mathbb {R}})\).
This shows that the \(x_i\)subsystem is ISS in summation formulation and the corresponding gain operator is a linear operator \(\Gamma :\ell _\infty ^+({\mathbb {Z}}) \rightarrow \ell _\infty ^+({\mathbb {Z}})\), acting on \(s=(s_i)_{i\in {\mathbb {Z}}}\) as \(\Gamma (s) = (as_{i1} + b s_{i+1})_{i\in {\mathbb {Z}}}\). It is easy to see that
and thus \(r(\Gamma )<1\), and the network is ISS by Corollary 6.6. \(\square \)
6.4 Example: a nonlinear spatially invariant system
Consider an infinite interconnection (in the sense of the previous sections)
where \(a,b>0\). As in Sect. 6.3, each \(\Sigma _i\) is a scalar system with the state \(x_i \in {\mathbb {R}}\), internal inputs \(x_{i1}\), \(x_{i+1}\) and an external input u, belonging to the input space \({\mathcal {U}}:=L_\infty ({\mathbb {R}}_+,{\mathbb {R}})\). Let the state space for the interconnection \(\Sigma \) be \(X:=\ell _\infty ({\mathbb {Z}})\).
First, we analyze the wellposedness of the interconnection (6.9). Define for \(x = (x_i)_{i\in {\mathbb {Z}}} \in X\) and \(v \in {\mathbb {R}}\)
as well as
It holds that
and thus \(f(x,v) \in X\) with \(\Vert f(x,v)\Vert _X \le \Vert x\Vert _X^3 + {\max \{a,b\}} \max \{\Vert x\Vert ^3_X,v\}\).
Furthermore, f is clearly continuous in the second argument. Let us show Lipschitz continuity of f on bounded balls with respect to the first argument. For any \(x = (x_i)_{i\in {\mathbb {Z}}} \in X\), \(y = (y_i)_{i\in {\mathbb {Z}}} \in X\) and any \(v \in {\mathbb {R}}\) we have
By Birkhoff’s inequality \(\max \{a_1,a_2,a_3\}  \max \{b_1,b_2,b_3\}\le \sum _{i=1}^3a_ib_i\), which holds for all real \(a_i,b_i\), we obtain
which shows Lipschitz continuity of f with respect to the first argument on the bounded balls in X, uniformly with respect to the second argument.
According to [3, Thm. 2.4],^{Footnote 3} this ensures that the Carathéodory solutions of (6.9) exist locally, are unique for any fixed initial condition \(x_0\in X\) and external input \(u\in {\mathcal {U}}\). We denote the corresponding maximal solution by \(\phi (\cdot ,x_0,u)\). One can easily check that the triple \(\Sigma :=(X,{\mathcal {U}},\phi )\) defines a wellposed interconnection in the sense of this paper, and furthermore, \(\Sigma \) has BIC property (cf. [9, Thm. 4.3.4]).
We proceed to the stability analysis:
Proposition 6.8
The coupled system (6.9) is ISS if and only if \(\max \{a,b\}<1\).
Proof
“\(\Rightarrow \)”: For any \(a,b>0\) consider the scalar equation
subject to an initial condition \(z(0)=x^*\). The function \(t \mapsto (z(t))_{i\in {\mathbb {Z}}}\) is a solution of (6.9) subject to an initial condition \((x^*)_{i\in {\mathbb {Z}}}\) and input \(u\equiv 0\). This shows that for \(\max \{a,b\} \ge 1\) the system (6.9) is not ISS.
“\(\Leftarrow \)”: Consider \(x_{i1}\), \(x_{i+1}\) and u as inputs to the \(x_i\)subsystem of (6.9) and define \(q:=\max \{ax_{i1}^3,b x_{i+1}^3,u \}\). The derivative of \(x_i(\cdot )\) along the trajectory satisfies for almost all t the following inequality:
For any \(\varepsilon >0\), if \(\Vert q\Vert _\infty \le \frac{1}{1+\varepsilon }x_i(t)^3\), we obtain
Arguing as in the proof of direct Lyapunov theorems (\(x_i \mapsto x_i\) is an ISS Lyapunov function for the \(x_i\)subsystem), see, e.g., [46, Lem. 2.14], we obtain that there is a certain \(\beta \in {{\mathcal {K}}}{{\mathcal {L}}}\) such that for all \(t\ge 0\) it holds that
where \(a_1=(1+\varepsilon )^{1/3}a^{1/3}\), \(b_1=(1+\varepsilon )^{1/3}b^{1/3}\).
This shows that the \(x_i\)subsystem is ISS in semimaximum formulation with the corresponding homogeneous of degree one gain operator \(\Gamma :\ell _\infty ^+({\mathbb {Z}}) \rightarrow \ell _\infty ^+({\mathbb {Z}})\) given for all \(s=(s_i)_{i\in {\mathbb {Z}}}\) by \(\Gamma (s) = (\max \{a_1 s_{i1}, b_1 s_{i+1}\})_{i\in {\mathbb {Z}}}\).
The previous computations are valid for all \(\varepsilon >0\). Now pick \(\varepsilon >0\) such that \(a_1<1\) and \(b_1<1\), which is possible as \(a \in (0,1)\) and \(b\in (0,1)\). The ISS of the network follows by Corollary 6.3. \(\square \)
7 Smallgain conditions
Key assumptions in the ISS and UGS smallgain theorems are the monotone limit property and monotone bounded invertibility property, respectively. In this section, we thoroughly investigate these properties. More precisely, in Sect. 7.1, we characterize the MBI property in terms of the uniform smallgain condition; in Sect. 7.2, we relate the uniform smallgain condition to several types of nonuniform smallgain conditions which have already been exploited in the smallgain analysis of finite and infinite networks. In Sect. 7.3, we derive new relationships between smallgain conditions in the finitedimensional case. Finally, in Sect. 7.4, we provide efficient criteria for the MLIM and the MBI property in case of linear operators and operators of the form \(\Gamma _\otimes \) induced by linear gains.
7.1 A uniform smallgain condition and the MBI property
As we have seen in Sect. 6, the monotone bounded invertibility is a crucial property for the smallgain analysis of finite and infinite networks. The next proposition yields smallgain type criteria for the MBI property. Although in the context of smallgain theorems in terms of trajectories, derived in this paper, we are interested primarily in the case of \((X,X^+) = (\ell _\infty (I),\ell ^+_\infty (I))\), we prove the results in a more general setting, which besides the mathematical appeal also has important applications to Lyapunovbased smallgain theorems for infinite networks, where other choices for X are useful, see, e.g., [34] where \(X=\ell _p\) for finite \(p\ge 1\).
Proposition 7.1
Let \((X,X^+)\) be an ordered Banach space with a generating cone \(X^+\). For every nonlinear operator \(A: X^+ \rightarrow X^+\), the following conditions are equivalent:

(i)
\(\mathrm {id} A\) satisfies the MBI property.

(ii)
The uniform smallgain condition holds: There exists \(\eta \in \mathcal {K_\infty }\) such that
$$\begin{aligned} \mathrm {dist}(A(x)  x,X^+) \ge \eta (\Vert x\Vert _X) \quad \hbox { for all}\ x \in X^+. \end{aligned}$$(7.1)
Proof
(i) \(\Rightarrow \) (ii). Fix \(x \in X^+\) and write \(a := (A  \mathrm {id})(x)\). Let \(\varepsilon > 0\). We choose \(z \in X^+\) such that \(\Vert az\Vert _X \le \mathrm {dist}(a,X^+) + \varepsilon \) and we set \(y := az\). If the constant \(M > 0\) is chosen as in (2.1), we can decompose y as \(y = uv\), where \(u,v \in X^+\) and \(\Vert u\Vert _X,\Vert v\Vert _X \le M \Vert y\Vert _X \le M\mathrm {dist}(a,X^+) + M\varepsilon \). Then, we have
so it follows from the MBI property of \(\mathrm {id} A\) that
Consequently,
Since \(\varepsilon \) was arbitrary, this implies (ii) with \(\eta := \frac{1}{M}\xi ^{1}\).
(ii) \(\Rightarrow \) (i). Let \(v,w \in X^+\) and \((\mathrm {id}A)(v) \le w\). The vector \(z := w + (A\mathrm {id})(v)\) is positive, so from (ii) it follows that
Hence, \(\Vert v\Vert _X \le \eta ^{1}(\Vert w\Vert _X)\). \(\square \)
Remark 7.2
The uniform smallgain condition in Proposition 7.1(ii) is a uniform version of the wellknown smallgain condition, sometimes also called nojointincrease condition:
Indeed, \(A(x) \not \ge x\) is equivalent to \(A(x)  x \not \ge 0\), which in turn is equivalent to \(\mathrm {dist}(A(x)  x, X^+) > 0\).
Remark 7.3
It is important to point out that the distance to the positive cone which occurs in the uniform smallgain condition in Proposition 7.1 can be explicitly computed on many concrete spaces. Indeed, many important realvalued sequence or function spaces such as \(X = \ell _p\) or \(X = L_p(\Omega ,\mu )\) (for \(p \in [1,\infty ]\) and a measure space \((\Omega ,\mu )\)) are not only ordered Banach spaces but socalled Banach lattices.
An ordered Banach space \((X,X^+)\) is called a Banach lattice if, for all \(x \in X\), the set \(\{x,x\}\) has a smallest upper bound in X, which is usually called the modulus of x and denoted by x, and if \(\Vert x\Vert _X \le \Vert y\Vert _X\) whenever \(x \le y\). In concrete sequence and function spaces, the modulus of a function is just the pointwise (respectively, almost everywhere) modulus.
Now, assume that \((X,X^+)\) is a Banach lattice and let \(x \in X\). Then the vectors \(x^+ := \frac{x+x}{2} \ge 0\) and \(x^ := \frac{xx}{2} \ge 0\) are called the positive and negative part of x, respectively; clearly, they satisfy \(x^+  x^ = x\) and \(x^+ + x^ = x\). If X is a concrete sequence or function space, then \(x^\) is simply 0 at all points where x is positive, and equal to \(x\) at all points where x is negative.
In a Banach lattice \((X,X^+)\), we have the formula
for each \(x \in X\), as can easily be verified.
If the cone of the ordered Banach space \((X,X^+)\) has nonempty interior, the uniform smallgain condition from Proposition 7.1 can also be expressed by a condition that involves a fixed interior point of \(X^+\).
Proposition 7.4
Let \((X,X^+)\) be an ordered Banach space, assume that the cone \(X^+\) has nonempty interior and let z be an interior point of \(X^+\). For every nonlinear operator \(A: X^+ \rightarrow X^+\), the following conditions are equivalent:

(i)
There is \(\eta \in \mathcal {K_\infty }\) such that
$$\begin{aligned} A(x) \not \ge x  \eta (\Vert x\Vert _X)z \quad \hbox { for all}\ x \in X^+ {{\setminus }} \{0\}. \end{aligned}$$(7.2) 
(ii)
The uniform smallgain condition from Proposition 7.1(ii) holds.
Proof
(i) \(\Rightarrow \) (ii). Let (i) hold with some \(\eta \in \mathcal {K_\infty }\). By [20, Prop. 2.11], we can find a number \(c>0\) such that for every \(y \in X\) we have
Assume toward a contradiction that (ii) does not hold. Then, (7.1) fails, in particular, for the function \(c\eta \). Thus, we can infer that there is \(x \in X^+ {\setminus } \{0\}\) so that
Hence, there exists \(y \in X^+\) such that
Consequently, the vector \(\frac{(A\mathrm {id})(x)  y}{\eta (\Vert x\Vert _X)}\) has norm at most c, so it follows from (7.3) that \((A\mathrm {id})(x)  y \ge  \eta (\Vert x\Vert _X) z\). Thus,
which shows that (7.2) fails for the function \(\eta \), a contradiction.
(ii) \(\Rightarrow \) (i). Let (ii) hold with a certain \(\eta \in \mathcal {K_\infty }\). We show that (7.2) holds for the function \(\frac{\eta }{2\Vert z\Vert _X}\) substituted for \(\eta \). Assume toward a contradiction that (7.2) fails for the function \(\frac{\eta }{2\Vert z\Vert _X}\). Then, there is \(x \in X^+ {\setminus } \{0\}\) such that
Hence, it follows that
which shows that (7.1) fails for the function \(\eta \). \(\square \)
A typical example of an ordered Banach space whose cone has nonempty interior is \((X,X^+) = (\ell _{\infty }(I),\ell _{\infty }(I)^+)\) for some index set I. For instance, the vector \(\mathbf{1}\) is an interior point of the positive cone in this space.
7.2 Nonuniform smallgain conditions
In Propositions 7.1 and 7.4, we characterized the MBI property in terms of the uniform smallgain condition. In this subsection, we recall several further smallgain conditions, which have been used in the literature for the smallgain analysis of finite and infinite networks [14, 16, 18], and relate them to the uniform smallgain condition.
In this subsection, we always suppose that \((X,X^+) = (\ell _{\infty }(I),\ell _{\infty }^+(I))\) for some nonempty index set I (which is precisely the space in which gain operators act).
Definition 7.5
We say that a nonlinear operator \(A:\ell _{\infty }^+(I) \rightarrow \ell _{\infty }^+(I)\) satisfies

(i)
the smallgain condition if
$$\begin{aligned} A(x)\not \ge x \quad \hbox { for all}\ x \in \ell _{\infty }^+(I){\setminus }\{0\}. \end{aligned}$$(7.4) 
(ii)
the strong smallgain condition if there exists \(\rho \in \mathcal {K_\infty }\) and a corresponding operator \({D_{\rho }}:\ell _{\infty }^+(I) \rightarrow \ell _{\infty }^+(I)\), defined for any \(x\in \ell _{\infty }^+(I)\) by
$$\begin{aligned} {D_{\rho }}(x) := \left( (\mathrm {id}+ \rho )(x_i)\right) _{i\in I}, \end{aligned}$$such that
$$\begin{aligned} {D_{\rho }}\circ A(x) \not \ge x \quad \hbox { for all}\ x\in \ell _{\infty }^+(I){\setminus }\{0\}. \end{aligned}$$(7.5) 
(iii)
the robust smallgain condition if there is \(\omega \in \mathcal {K_\infty }\) with \(\omega <\mathrm {id}\) such that for all \(i,j \in I\) the operator \(A_{i,j}\) given by
$$\begin{aligned} A_{i,j}(x) := A(x) + \omega (x_j) e_i \quad \hbox { for all}\ x \in \ell _{\infty }^+(I) \end{aligned}$$(7.6)satisfies the smallgain condition (7.4); here, \(e_i \in \ell _{\infty }(I)\) denotes the ith canonical unit vector.

(iv)
the robust strong smallgain condition if there are \(\omega ,\rho \in \mathcal {K_\infty }\) with \(\omega <\mathrm {id}\) such that for all \(i,j \in I\) the operator \(A_{i,j}\) defined by (7.6) satisfies the strong smallgain condition (7.5) with the same \(\rho \) for all i, j. \(\lhd \)
The strong smallgain condition was introduced in [18], where it was shown that if the gain operator satisfies the strong smallgain condition, then a finite network consisting of ISS systems (defined in a summation formulation) is ISS. The robust strong smallgain condition has been introduced in [14] in the context of the Lyapunovbased smallgain analysis of infinite networks.
Remark 7.6
For finite networks, also socalled cyclic smallgain conditions play an important role, as they help to effectively check the smallgain condition (7.4) in the case when \(A = \Gamma _\otimes \), which is important for the smallgain theorems in the maximum formulation, see [37] for more discussions on this topic. For infinite networks, the cyclic condition for \(\Gamma _\otimes \) is implied by (7.4), see [14, Lem. 4.1], but is far too weak for the smallgain analysis. For maxlinear systems, Remark B.2 and Corollary 6.3 are reminiscent of the cyclic smallgain conditions.
We say that a continuous function \(\alpha :{\mathbb {R}}_+\rightarrow {\mathbb {R}}_+\) is of class \({\mathcal {P}}\) if \(\alpha (0)=0\) and \(\alpha (r)>0\) for \(r>0\).
The following lemma is an extension of the considerations in [28, p. 130].
Lemma 7.7
The following statements hold:

(i)
For any \(\alpha \in {\mathcal {P}}\) and \(L>0\), the function defined by
$$\begin{aligned} \rho (r) := \inf _{y\ge 0} \big \{\alpha (y) + Lyr\big \} \end{aligned}$$(7.7)is in \({\mathcal {P}}\), satisfies \(\rho (s) \le \alpha (s)\) for all \(s \in {\mathbb {R}}_+\), and is globally Lipschitz with Lipschitz constant L.

(ii)
If in (i) \(\alpha \in {\mathcal {K}}\), then \(\rho \) given by (7.7) is a \({\mathcal {K}}\)function.

(iii)
If in (i) \(\alpha \in \mathcal {K_\infty }\), then \(\rho \) given by (7.7) is a \(\mathcal {K_\infty }\)function.
Proof

(i).
Consider \(\rho \) given by (7.7). Note that for any \(r>0\) it holds that \(\alpha (y) + Lyr\rightarrow \infty \) as \(y \rightarrow \infty \). Thus, there is \(r^*>0\) such that \(\rho (r) = \inf _{y\in [0,r^*]} \big \{\alpha (y) + Lyr\big \}\), and as \(\alpha \) is continuous, there is \(y^*=y^*(r)\) such that \(\rho (r) = \alpha (y^*) + Ly^*r\).
Clearly, \(0\le \rho (r)\le \alpha (r)\) for all \(r\ge 0\). Assume that \(\rho (r)= 0\) for some \(r\ge 0\). By the above argument, \(\rho (r) = \alpha (r)\), and as \(\alpha (r)=0\) if and only if \(r=0\), it follows that \(\rho (0)=0\) and \(\rho (r)>0\) for \(r>0\).
Next, for any \(r_1,r_2 \ge 0\) we have by the triangle inequality
$$\begin{aligned} \rho (r_1)\rho (r_2)= & {} \inf _{y\ge 0} \big \{\alpha (y) + Lyr_1\big \}  \inf _{y\ge 0} \big \{\alpha (y) + Lyr_2\big \}\\\le & {} \inf _{y\ge 0} \big \{\alpha (y) + Lyr_2 + Lr_2r_1\big \}  \inf _{y\ge 0} \big \{\alpha (y) + Lyr_2\big \}\\= & {} Lr_2r_1. \end{aligned}$$Similarly, using the triangle inequality for the second term, we obtain
$$\begin{aligned} \rho (r_1)\rho (r_2) \ge Lr_2r_1, \end{aligned}$$and thus \(\rho \) is globally Lipschitz with Lipschitz constant L, and is of class \({\mathcal {P}}\).

(ii).
Let \(\alpha \in {\mathcal {K}}\). Pick any \(r_1,r_2 \ge 0\) with \(r_1 >r_2\) and let \(y_1 \ge 0\) be so that \(\rho (r_1) = \alpha (y_1) + y_1  r_1\). Consider the expression
$$\begin{aligned} \rho (r_1)  \rho (r_2) = \alpha (y_1) + Ly_1r_1  \inf _{y\ge 0} \{\alpha (y) + Lyr_2\}. \end{aligned}$$(7.8)If \(y_1\ge r_2\), then \(\rho (r_1)  \rho (r_2) \ge \alpha (y_1) + Ly_1r_1 \alpha (r_2) >0\), as \(\alpha \) is increasing.
If \(y_1<r_2\), then
$$\begin{aligned} \rho (r_1)  \rho (r_2)\ge & {} \alpha (y_1) + Ly_1r_1  \left( \alpha (y_1) + Ly_1  r_2\right) = L(r_1r_2)>0. \end{aligned}$$ 
(iii).
Let \(\alpha \in \mathcal {K_\infty }\). Assume to the contrary that \(\rho \) is bounded: \(\rho (r) \le M\) for all r. Then, for every r there is \(r'\) with \(\alpha (r') + Lr  r' \le 2M\). Looking at the second term, we see that \(r' \rightarrow \infty \) as \(r \rightarrow \infty \). But then \(\alpha (r') \rightarrow \infty \), a contradiction. \(\square \)
Items (ii) and (iii) of the following elementary lemma are variations of [41, Lem. 1.1.5] and [41, Lem. 1.1.3, item 1], respectively.
Lemma 7.8

(i)
For any \(\alpha \in \mathcal {K_\infty }\) there is \(\eta \in \mathcal {K_\infty }\) such that \(\eta (r)\le \alpha (r)\) for all \(r\ge 0\), and \(\mathrm {id}\eta \in \mathcal {K_\infty }\).

(ii)
For any \(\eta \in \mathcal {K_\infty }\) with \(\mathrm {id} \eta \in \mathcal {K_\infty }\), there is \(\rho \in \mathcal {K_\infty }\) such that \((\mathrm {id}\eta )^{1} = \mathrm {id}+ \rho \).

(iii)
For any \(\eta \in \mathcal {K_\infty }\) such that \(\mathrm {id} \eta \in \mathcal {K_\infty }\) there are \(\eta _1,\eta _2\in \mathcal {K_\infty }\) such that \(\mathrm {id}\eta _1,\mathrm {id}\eta _2\in \mathcal {K_\infty }\) and \(\mathrm {id}\eta = (\mathrm {id}\eta _1) \circ (\mathrm {id}\eta _2)\).
Proof

(i)
Take any \(L\in (0,1)\) and construct \(\rho \in \mathcal {K_\infty }\), globally Lipschitz withLipschitz constant L as in Lemma 7.7. Clearly, \((\mathrm {id} \rho )(0) = 0\), and \(\mathrm {id} \rho \) is continuous. For \(r,s\ge 0\) with \(r>s\), we have
$$\begin{aligned} r\rho (r)  (s\rho (s))&= rs  (\rho (r)\rho (s))\ge rs L(rs) \\&= (1L)(rs)>0, \end{aligned}$$and thus \(\mathrm {id}\rho \) is increasing. Furthermore, \(r\rho (r)\ge (1L)r\rightarrow \infty \) as \(r\rightarrow \infty \), and thus \(\mathrm {id}\rho \in \mathcal {K_\infty }\).

(ii)
Define \(\rho :=\eta \circ (\mathrm {id}\eta )^{1}\). As \(\rho \) is a composition of \(\mathcal {K_\infty }\)functions, \(\rho \in \mathcal {K_\infty }\). It holds that \((\mathrm {id}+ \rho )\circ (\mathrm {id} \eta )= \mathrm {id} \eta + \eta \circ (\mathrm {id}\eta )^{1}\circ (\mathrm {id} \eta ) = \mathrm {id} \eta + \eta = \mathrm {id}\), and thus \(\mathrm {id}+ \rho = (\mathrm {id}\eta )^{1}\).

(iii)
Choose \(\eta _2:=\frac{1}{2}\eta \) and \(\eta _1:=\frac{1}{2}\eta \circ (\mathrm {id}\eta _2)^{1}\). A direct calculation shows the claim. \(\square \)
Now we give a criterion for the robust strong smallgain condition.
Proposition 7.9
A nonlinear operator \(A:\ell _{\infty }^+(I) \rightarrow \ell _{\infty }^+(I)\) satisfies the robust strong smallgain condition if and only if there are \(\omega ,\eta \in \mathcal {K_\infty }\) and an operator \(\vec {\eta }:\ell _{\infty }^+(I) \rightarrow \ell _{\infty }^+(I)\), defined by
such that for all \(k\in I\) it holds that
Proof
“\(\Rightarrow \)”: Let the robust strong smallgain condition hold with corresponding \(\rho ,\omega \) and \(D_{\rho }\). Then for any \(x = (x_i)_{i\in I} \in \ell _{\infty }^+(I){\setminus }\{0\}\) and any \(j,k\in I\), it holds that
As \(\rho \in \mathcal {K_\infty }\), there is \(\eta \in \mathcal {K_\infty }\) such that \(\mathrm {id}\eta = (\mathrm {id}+ \rho )^{1}\in \mathcal {K_\infty }\), which can be shown as in Lemma 7.8(ii). Thus, (7.11) is equivalent to
As for each \(x \in \ell _{\infty }^+(I)\) there is \(j\in I\) such that \(x_j \ge \frac{1}{2}\Vert x\Vert _{\ell _{\infty }(I)}\), the condition (7.12) with this particular j implies that
which is up to the constant the same as (7.10).
“\(\Leftarrow \)”: Let (7.10) hold with a certain \(\eta _1\in \mathcal {K_\infty }\) and a corresponding \(\vec {\eta }_1\). By Lemma 7.8(i), one can choose \(\eta \in \mathcal {K_\infty }\), such that \(\eta \le \eta _1\) and \(\mathrm {id}\eta \in \mathcal {K_\infty }\). Then, (7.10) holds with this \(\eta \) and a corresponding \(\vec {\eta }\), i.e., for all \(k\in I\) we have
As \(\Vert x\Vert _{\ell _{\infty }(I)}\ge x_j\) for any \(j\in I\), this implies that for all \(j,k\in I\) it holds that
and thus
As \(\eta \in \mathcal {K_\infty }\) satisfies \(\mathrm {id}\eta \in \mathcal {K_\infty }\), by Lemma 7.8(ii) there is \(\rho \in \mathcal {K_\infty }\) such that \((\mathrm {id}\eta )^{1} = \mathrm {id}+ \rho \), and thus for all \(j,k\in I\) property (7.11) holds, which shows that A satisfies the robust strong smallgain condition. \(\square \)
Specialized to the strong smallgain condition, Proposition 7.9 reads as follows.
Corollary 7.10
A nonlinear operator \(A:\ell _{\infty }^+(I) \rightarrow \ell _{\infty }^+(I)\) satisfies the strong smallgain condition if and only if there are \(\eta \in \mathcal {K_\infty }\) and an operator \(\vec {\eta }:\ell _{\infty }^+(I) \rightarrow \ell _{\infty }^+(I)\), defined via (7.9) such that
The next proposition shows that the uniform smallgain condition is at least not weaker than the robust strong smallgain condition.
Proposition 7.11
Let \(A:\ell _{\infty }^+(I)\rightarrow \ell _{\infty }^+(I)\) be a nonlinear operator. If A satisfies the uniform smallgain condition, then A satisfies the robust strong smallgain condition.
Proof
As A satisfies the uniform smallgain condition with \(\eta \), from the proof of Proposition 7.4 with \(z:= \mathbf{1}\), we see that for all \(x \in \ell _{\infty }^+(I) {\setminus } \{0\}\)
For any \(x\in \ell _{\infty }^+(I)\) and any \(k\in I\), it holds that
and by Proposition 7.9, A satisfies the robust strong smallgain condition. \(\square \)
7.3 The finitedimensional case
The case of a finitedimensional X is particularly important as it is a key to the stability analysis of finite networks.
Proposition 7.12
Assume that \((X,X^+) = ({\mathbb {R}}^n,{\mathbb {R}}^n_+)\) for some \(n\in {\mathbb {N}}\), where \({\mathbb {R}}^n\) is equipped with the maximum norm \(\Vert \cdot \Vert \) and \({\mathbb {R}}^n_+\) denotes the standard positive cone in \({\mathbb {R}}^n\). Further assume that the operator A is continuous and monotone. Then, the following statements are equivalent:

(i)
System (5.1) has the MLIM property.

(ii)
The operator \(\mathrm {id} A\) has the MBI property.

(iii)
The uniform smallgain condition holds: There is an \(\eta \in \mathcal {K_\infty }\) such that \(\mathrm {dist}(A(x)  x,X^+) \ge \eta (\Vert x\Vert )\) for all \(x \in X^+\).

(iv)
There is an \(\eta \in \mathcal {K_\infty }\) such that
$$\begin{aligned} A(x) \not \ge x  \eta (\Vert x\Vert )\mathbf{1} \quad \hbox { for all}\ x \in X^+ {\setminus }\{0\}. \end{aligned}$$
Additionally, if A is either \(\Gamma _\boxplus \) or \(\Gamma _\otimes \), then the above conditions are equivalent to

(v)
A satisfies the robust strong smallgain condition.

(vi)
A satisfies the strong smallgain condition.
Proof
(i) \(\Rightarrow \) (ii). Follows from Proposition 5.3.
(ii) \(\Leftrightarrow \) (iii) \(\Leftrightarrow \) (iv). Follows from Propositions 7.4, 7.1.
(ii) \(\Rightarrow \) (i). This follows from Proposition 5.4 since the cone \({\mathbb {R}}^n_+\) has the Levi property.
(iv) \(\Rightarrow \) (v). Follows by Proposition 7.11.
(v) \(\Rightarrow \) (vi). Clear.
(vi) \(\Rightarrow \) (ii). Follows by [42, Thm. 6.1]. \(\square \)
Remark 7.13
The class of operators for which the equivalence between (i)–(iv) and (v), (vi) can be shown, can be made considerably larger using the monotone aggregation functions formalism, see [42, Thm. 6.1]. However, the proof of this implication in [18, Lem. 13] uses more structure of the gain operator than merely monotonicity. Thus, the question if this implication is valid for general monotone A is still open.
Remark 7.14
An interesting research direction could be the development of the smallgain theorems for the case when the subsystems obtain the outputs of other subsystems, instead of their full states, as inputs (socalled IOS smallgain theorems). For finite networks, such trajectorybased results have been reported in [24] for couplings of two systems, and in [25, 41] for any finite number of finitedimensional systems. The authors are not aware of such trajectorybased results for networks with infinitedimensional components and/or infinite networks.
7.4 Systems with linear gains
Here, we show that in the case of linear and suplinear gain operators the MBI and MLIM properties are equivalent and can be characterized via the spectral condition.
Definition 7.15
Let \((X,X^+)\) be an ordered Banach space. System (5.1) is exponentially inputtostate stable (eISS) if there are \(M\ge 1\), \(a\in (0,1)\) and \(\gamma \in \mathcal {K_\infty }\) such that for every \(u \in \ell _{\infty }({\mathbb {Z}}_+,X^+)\) and any solution \(x(\cdot ) = (x(k))_{k\in {\mathbb {Z}}_+}\) of (5.1) it holds that
For linear systems, we obtain the following result, that we use to formulate an efficient smallgain theorem in summation formulation, see Corollary 6.6.
Proposition 7.16
Let \((X,X^+)\) be an ordered Banach space with a generating and normal cone \(X^+\). Let the operator \(A:X^+ \rightarrow X^+\) be the restriction to \(X^+\) of a positive linear operator on X. Then the following statements are equivalent:

(i)
System (5.1) is exponentially ISS.

(ii)
System (5.1) satisfies the MLIM property.

(iii)
The operator \(\mathrm {id}A\) satisfies the MBI property.

(iv)
The spectral radius of A satisfies \(r(A) < 1\).
Proof
The implication “(i) \(\Rightarrow \) (ii)” is trivial. By Proposition 5.3, (ii) implies (iii).
(iii) \(\Rightarrow \) (iv). It is easy to check that if A is homogeneous of degree one and \(\mathrm {id} A\) satisfies the MBI property with a certain \(\xi \in \mathcal {K_\infty }\), then \(\mathrm {id} A\) satisfies the MBI property with \(r\mapsto \xi (1)r\) instead of \(\xi \). The application of [19, Thm. 3.3] shows (iv).
(iv) \(\Rightarrow \) (i). Follows from Proposition A.1. \(\square \)
For suplinear systems, MBI is again equivalent to eISS, and the following holds:
Proposition 7.17
Assume that the gains \(\gamma _{ij}\), \((i,j) \in I^2\), are all linear and that the associated gain operator \(\Gamma _{\otimes }\) is welldefined. Then, the following statements are equivalent:

(i)
The operator \(\mathrm {id} \Gamma _{\otimes }\) satisfies the MBI property.

(ii)
There are \(\lambda \in (0,1)\) and \(s_0 \in \mathrm {int}(\ell _{\infty }^+(I))\) such that
$$\begin{aligned} \Gamma _{\otimes }(s_0) \le \lambda s_0. \end{aligned}$$(7.14) 
(iii)
The spectral radius of \(\Gamma _{\otimes }:\ell _{\infty }^+(I) \rightarrow \ell _{\infty }^+(I)\) satisfies
$$\begin{aligned} r(\Gamma _{\otimes }) = \lim _{n\rightarrow \infty } \sup _{s \in \ell _{\infty }^+(I) ,\; \Vert s\Vert _{\ell _{\infty }} = 1} \Vert \Gamma _{\otimes }^n(s)\Vert _{\ell _{\infty }(I)}^{1/n} = \lim _{n\rightarrow \infty } \Vert \Gamma _{\otimes }^n(\mathbf{1})\Vert _{\ell _{\infty }(I)}^{1/n} < 1. \end{aligned}$$ 
(iv)
The system (5.1) with \(A = \Gamma _{\otimes }\) is eISS.

(v)
The system (5.1) with \(A = \Gamma _{\otimes }\) has the MLIM property.
Proof
By Proposition A.1, (iii) is equivalent to (iv). Clearly, (iv) implies (v). By Proposition 5.3, (v) implies (i).
(i) \(\Rightarrow \) (ii). By Proposition 7.1, the MBI property of \(\mathrm {id} \Gamma _{\otimes }\) is equivalent to the uniform smallgain condition. Then Proposition 7.4 shows that
for some \(\eta \in \mathcal {K_\infty }\). In particular,
Multiplying this inequality by \(\Vert s\Vert _{\ell _{\infty }}\), putting \(\eta := \eta (1)\) and using the homogeneity of degree one of \(\Gamma _{\otimes }\) yields
Then for any \(s \in \ell _{\infty }^+(I)\) we have
As \(s + \varepsilon s  (1 + \varepsilon ) \eta \Vert s\Vert _{\ell _{\infty }} \mathbf{1} \le s  [(1 + \varepsilon )\eta  \varepsilon ] \Vert s\Vert _{\ell _{\infty }}{} \mathbf{1}\), we have
Choosing \(\varepsilon >0\) small enough, Proposition 7.11 implies that \((1 + \varepsilon )\Gamma _{\otimes }\) satisfies the robust strong smallgain condition. By Lemma B.5, the operator
is welldefined and satisfies
In particular, this holds for \(s = \mathbf{1}\). Since \(s_0 := Q^{\varepsilon }(\mathbf{1}) \ge \mathbf{1}\), we have \(s_0 \in \mathrm {int}(\ell _{\infty }^+(I))\).
(ii) \(\Rightarrow \) (iii). By monotonicity and homogeneity of degree one of \(\Gamma _{\otimes }\), we have
There exists \(n \in {\mathbb {N}}\) such that any \(s \in \ell _{\infty }^+(I)\) with \(\Vert s\Vert _{\ell _{\infty }} = 1\) satisfies \(s \le ns_0\). Hence,
This implies \(r(\Gamma _{\otimes }) \le \lambda < 1\), which completes the proof. \(\square \)
Remark 7.18
The special form of the operator \(\Gamma _\otimes \) is used in Proposition 7.17 only for the proof of the implication (i) \(\Rightarrow \) (ii). The remaining implications are valid for considerably more general types of operators. Note that if \(s_0\) is as in item (ii), then \(ts_0\) also satisfies all conditions in item (ii), for any \(t>0\) and thus we can construct a path of strict decay \(t\mapsto t s_0\) for the gain operator \(\Gamma _\otimes \), which is an important ingredient for the proof of the Lyapunovbased ISS smallgain theorem, see [17].
Notes
Note that UGS combined with the BIC property implies forward completeness; thus, the bUAG property makes sense here.
By the causality axiom, we can assume that \(\phi _{\ne i}\) is globally bounded, since \({\bar{\phi }}_i(t,x_i,(\phi _{\ne i},u))\) does not depend on the values \(\phi _{\ne i}(s)\) with \(s > t\), and on the compact interval [0, t], \(\phi _{\ne i}\) is bounded because it is continuous.
The cited result assumes a global Lipschitz condition and accordingly ensures forward completeness. However, via the retraction method this result can easily be localized.
References
Aliprantis CD, Tourky R (2007) Cones and duality. Am Math Soc 84
Arcak M, Kokotović P (2001) Nonlinear observers: a circle criterion design and robustness analysis. Automatica 37(12):1923–1930
Aulbach B, Wanner T (1996) Integral manifolds for Carathéodory type differential equations in Banach spaces. Six Lectures on Dynamical Systems. World Scientific, River Edge, pp 45–119
Bamieh B, Paganini F, Dahleh MA (2002) Distributed control of spatially invariant systems. IEEE Trans Autom Control 47(7):1091–1107
Bamieh B, Voulgaris PG (2005) A convex characterization of distributed control problems in spatially invariant systems with communication constraints. Syst Control Lett 54(6):575–583
Bao A, Liu T, Jiang ZP, Zhang L (2018) A nonlinear smallgain theorem for largescale infinitedimensional systems. J Syst Sci Compl 31(1):188–199
Besselink B, Johansson KH (2017) String stability and a delaybased spacing policy for vehicle platoons subject to disturbances. IEEE Trans Autom Control 62(9):4376–4391
Butkovič P (2010) Maxlinear systems: theory and algorithms. Springer
Cazenave T, Haraux A (1998) An introduction to semilinear evolution equations. Oxford University Press, New York
Curtain R, Iftime OV, Zwart H (2009) System theoretic properties of a class of spatially invariant systems. Automatica 45(7):1619–1627
D‘Andrea R, Dullerud GE (2003) Distributed control design for spatially interconnected systems. IEEE Trans Autom Control 48(9):1478–1495
Dashkovskiy S, Ito H, Wirth F (2011) On a small gain theorem for ISS networks in dissipative Lyapunov form. Eur J Control 17(4):357–365
Dashkovskiy S, Mironchenko A (2013) Inputtostate stability of infinitedimensional control systems. Math Control Signals Syst 25(1):1–35
Dashkovskiy S, Mironchenko A, Schmid J, Wirth F (2019) Stability of infinitely many interconnected systems. In: Proceedings of the 11th IFAC symposium on nonlinear control systems (NOLCOS 2019), pp 937–942
Dashkovskiy S, Pavlichkov S (2020) Stability conditions for infinite networks of nonlinear systems and their application for stabilization. Automatica 112:108643
Dashkovskiy S, Rüffer B, Wirth F (2010) Small gain theorems for large scale systems and construction of ISS Lyapunov functions. SIAM J Control Optim 48(6):4089–4118
Dashkovskiy S, Rüffer BS, Wirth FR (2006) On the construction of ISS Lyapunov functions for networks of ISS systems. In: Proceedings of the 17th international symposium on mathematical theory of networks and systems, Kyoto, Japan, pp 77–82
Dashkovskiy S, Rüffer BS, Wirth FR (2007) An ISS small gain theorem for general networks. Math Control Signals Syst 19(2):93–122
Glück J, Mironchenko A (2021) Stability criteria for positive linear discretetime systems. Accepted to Positivity, preprint available at arXiv:2011.02251
Glück J, Weber MR (2020) Almost interior points in ordered Banach spaces and the longterm behaviour of strongly positive operator semigroups. Stud Math 254:237–263
Jacob B, Nabiullin R, Partington JR, Schwenninger FL (2018) Infinitedimensional inputtostate stability and Orlicz spaces. SIAM J Control Optim 56(2):868–889
Jacob B, Schwenninger FL, Zwart H (2019) On continuity of solutions for parabolic control systems and inputtostate stability. J Differ Equ 266:6284–6306
Jiang ZP, Mareels IMY, Wang Y (1996) A Lyapunov formulation of the nonlinear smallgain theorem for interconnected ISS systems. Automatica 32(8):1211–1215
Jiang ZP, Teel AR, Praly L (1994) Smallgain theorem for ISS systems and applications. Math Control Signals Syst 7(2):95–120
Jiang ZP, Wang Y (2008) A generalization of the nonlinear smallgain theorem for largescale complex systems. In: 7th World congress on intelligent control and automation (WCICA), pp 1188–1193
Jovanović MR, Bamieh B (2005) On the illposedness of certain vehicular platoon control problems. IEEE Trans Autom Control 50(9):1307–1321
Karafyllis I, Jiang ZP (2007) A smallgain theorem for a wide class of feedback systems with control applications. SIAM J Control Optim 46(4):1483–1517
Karafyllis I, Jiang ZP (2011) A vector smallgain theorem for general nonlinear control systems. IMA J Math Control Inf 28:309–344
Karafyllis I, Jiang ZP (2011) Stability and stabilization of nonlinear systems. SpringerVerlag, London
Karafyllis I, Krstic M (2016) ISS with respect to boundary disturbances for 1D parabolic PDEs. IEEE Trans Autom Control 61(12):3712–3724
Karafyllis I, Krstic M (2018) Smallgain stability analysis of certain hyperbolicparabolic PDE loops. Syst Control Lett 118:52–61
Karafyllis I, Krstic M (2019) Inputtostate stability for PDEs. Springer
Karafyllis I, Krstic M (2019) Smallgainbased boundary feedback design for global exponential stabilization of onedimensional semilinear parabolic PDEs. SIAM J Control Optim 57(3):2016–2036
Kawan C, Mironchenko A, Swikir A, Noroozi N, Zamani M (2020) A Lyapunovbased ISS smallgain theorem for infinite networks. Appeared online in IEEE Transactions on Automatic Control, https://ieeexplore.ieee.org/document/9280418
Kokotović P, Arcak M (2001) Constructive nonlinear control: a historical perspective. Automatica 37(5):637–662
Krstic M, Kanellakopoulos I, Kokotovic PV (1995) Nonlinear and adaptive control design. Wiley
Mironchenko A (2021) Small gain theorems for general networks of heterogeneous infinitedimensional systems. SIAM J Control Optim 59(2):1393–1419
Mironchenko A, Prieur C (2020) Inputtostate stability of infinitedimensional systems: recent results and open questions. SIAM Rev 62(3):529–614
Mironchenko A, Wirth F (2018) Characterizations of inputtostate stability for infinitedimensional systems. IEEE Trans Autom Control 63(6):1602–1617
Mironchenko A, Wirth F (2019) Existence of noncoercive Lyapunov functions is equivalent to integral uniform global asymptotic stability. Math Control Signals Syst 31(4)
Rüffer B (2007) Monotone dynamical systems, graphs, and stability of largescale interconnected systems. PhD thesis, Fachbereich 3 (Mathematik & Informatik) der Universität Bremen
Rüffer BS (2010) Monotone inequalities, dynamical systems, and paths in the positive orthant of Euclidean nspace. Positivity 14(2):257–283
Rüffer BS (2017) Nonlinear left and right eigenvectors for maxpreserving maps. Positive Systems. volume 471 of Lecture Notes in Control and Information Sciences. Springer, Cham, pp 227–237
Sontag ED (1989) Smooth stabilization implies coprime factorization. IEEE Trans Autom Control 34(4):435–443
Sontag ED (2008) Input to state stability: Basic concepts and results. Nonlinear and Optimal Control Theory, chapter 3. Springer, Heidelberg, pp 163–220
Sontag ED, Wang Y (1995) On characterizations of the inputtostate stability property. Syst Control Lett 24(5):351–359
Sontag ED, Wang Y (1996) New characterizations of inputtostate stability. IEEE Trans Autom Control 41(9):1283–1294
Tanwani A, Prieur C, Tarbouriech S (2017) Disturbancetostate stabilization and quantized control for linear hyperbolic systems. Preprint arXiv:1703.00302
Tiwari S, Wang Y, Jiang ZP (2012) Nonlinear smallgain theorems for largescale timedelay systems. Dyn Contin Discrete Impul Syst Ser Math Anal 19(1):27–63
Zheng J, Zhu G (2018) Inputtostate stability with respect to boundary disturbances for a class of semilinear parabolic equations. Automatica 97:271–277
Acknowledgements
A. Mironchenko is supported by the German Research Foundation (DFG) via the grant MI 1886/21. C. Kawan is supported by the DFG through the grant ZA 873/41.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Exponential ISS of linear and homogeneous of degree one subadditive discretetime systems
Here, we characterize exponential ISS for homogeneous of degree one and subadditive operators.
Proposition A.1
Let \((X,X^+)\) be an ordered Banach space with a generating and normal cone \(X^+\). Consider system (5.1) and assume that the operator \(A:X^+\rightarrow X^+\) is monotone and satisfies the following properties:

(i)
A is homogeneous of degree one, i.e., \(A(rx) = rA(x)\) for all \(x\in X^+\) and \(r \ge 0\).

(ii)
A is subadditive, i.e., \(A(x + y) \le A(x) + A(y)\) for all \(x,y\in X^+\).

(iii)
A satisfies
$$\begin{aligned} C := \sup _{x\in X^+ ,\; \Vert x\Vert _X=1}\Vert A(x)\Vert _X < \infty . \end{aligned}$$
Then A is globally Lipschitz continuous and the following statements are equivalent:

(i)
System (5.1) is eISS.

(ii)
It holds that
$$\begin{aligned} r(A) := \lim _{n \rightarrow \infty } \sup _{x \in X^+,\; \Vert x\Vert _X = 1}\Vert A^n(x)\Vert _X^{1/n} < 1. \end{aligned}$$(A.1) 
(iii)
There is a globally Lipschitz \(V:X^+\rightarrow {\mathbb {R}}_+\) and \(L_1,L_2,\psi >0\), \(\eta >1\), such that
$$\begin{aligned} L_1\Vert x\Vert _X \le V(x) \le L_2 \Vert x\Vert _X,\quad x \in X^+, \end{aligned}$$(A.2)and for any \(u \in \ell _{\infty }({\mathbb {Z}}_+,X^+)\), and any solution of (5.1) it holds that
$$\begin{aligned} V(x(k+1)) \le \eta ^{1} V(x(k)) + \psi \Vert u\Vert _{\infty } \quad \hbox { for all}\ k \ge 0. \end{aligned}$$(A.3)
Proof
A is Lipschitz continuous. Pick any \(x,y \in X^+\). As \(X^+\) is generating, there are \(M>0\) (which does not depend on x, y) and \(a,b\in X^+\) such that \(xy = ab\) and \(\Vert a\Vert _X\le M\Vert xy\Vert _X\), \(\Vert b\Vert _X\le M\Vert xy\Vert _X\). Hence, for all \(x,y\in X^+\) we have
Analogously, we obtain for all \(x,y\in X^+\) that \(A(x)  A(y) \ge  A(b)\). As \(X^+\) is normal, due to [1, Thm. 2.38], there is \(c>0\), depending only on \((X,X^+)\), such that
“(a) \(\Rightarrow \) (b)”: If (5.1) is eISS, then for \(u\equiv 0\), any \(x \in X^+\) and for the solution \(x(k+1) = A(x(k))\) of (5.1), the inequality (7.13) implies that \(\Vert A^n(x)\Vert _X\le Ma^n\Vert x\Vert _X\) for all \(n\in {\mathbb {Z}}_+\). Hence, \(\sup _{x \in X^+,\; \Vert x\Vert _X = 1}\Vert A^n(x)\Vert _X^{1/n} \le M^{1/n}a \rightarrow a\) as \(n\rightarrow \infty \) and thus \(r(A) \le a<1\).
“(b) \(\Rightarrow \) (c)”: From the assumptions (i) and (iii) together it follows that
Consider the sequence
This sequence is submultiplicative, as for all \(m,n\in {\mathbb {Z}}_+\) it holds that
By a submultiplicative version of the Fekete’s subadditive lemma, \(\lim _{n\rightarrow \infty }a_n^{\frac{1}{n}} = \inf _{n\rightarrow \infty }a_n^{\frac{1}{n}}\le a_1<\infty \), and thus the limit in (A.1) exists.
We fix \(\eta > 1\) such that \(\eta r(A) < 1\) and define a function \(V:X^+ \rightarrow {\mathbb {R}}_+\) by
Setting \(n:=0\) in the supremum, we see that \(\Vert x\Vert _X\le V(x)\) for all \(x \in X^+\). Since \(r(A) < \eta ^{1}\), there exists \(N \in {\mathbb {N}}\) so that
By homogeneity of degree one of A, this implies
By (A.4), we have \(\Vert A(x)\Vert _X \le C\Vert x\Vert _X\) for all \(x \in X^+\). Due to homogeneity of A
for all \(x \in X^+\), and by induction \(\Vert A^n(x)\Vert _X \le C^n\Vert x\Vert _X\) for all \(x \in X^+\).
Since \(\eta ^0 \Vert A^0(x)\Vert _X=\Vert x\Vert _X\), with \(\psi := \max _{0 \le n < N} (\eta C)^n\) we have
Also observe that
As A is monotone and subadditive, it holds by induction for all \(n\in {\mathbb {N}}\) that
that is, \(A^n\) are subadditive as well.
We can assume without loss of generality that the norm \(\Vert \cdot \Vert _X\) is monotone, i.e., \(0 \le x \le y\) implies \(\Vert x\Vert _X \le \Vert y\Vert _X\) for any \(x,y\in X^+\). Otherwise, we choose an equivalent norm with this property, and note that eISS in one norm implies eISS in any other equivalent norm, and that the spectral radius does not depend on the choice of an equivalent norm.
Together with the subadditivity of \(A^n\), \(n\in {\mathbb {N}}\) this implies for all \(x,y \in X^+\) that
and hence V is subadditive as well. Now consider a sequence \(x(\cdot )\) in \(X^+\) such that
It then follows that
By (A.5), we obtain
As V is homogeneous of degree one, subadditive and monotone, V is Lipschitz continuous using the argumentation in the beginning of the proof.
“(c) \(\Rightarrow \) (a)”: This standard argument it omitted. \(\square \)
Systems, governed by a maxform gain operator
Here, we study the properties of the operator \(\Gamma _\otimes \) and its strong transitive closure. These results strengthen the corresponding results in [14, Sec. 4], and are motivated by them. We use these results to characterize the MBI and MLIM properties for the operator \(\Gamma _{\otimes }\) with linear gains in Proposition 7.17. However, the developments of this section are also useful for the construction of paths of strict decay for the nonlinear operator \(\Gamma _{\otimes }\), which is essential for nonlinear Lyapunovbased smallgain theorems.
The powers of the operator \(\Gamma _\otimes \) have a particularly simple representation:
Lemma B.1
For any \(n\in {\mathbb {N}}\) and any \(x \in \ell _\infty ^+(I)\), it holds that
Proof
For \(n=1\) the claim is clear. Let the claim hold for a certain \(n\in {\mathbb {N}}\). Then
As \((\gamma _{ij})\subset \mathcal {K_\infty }\), \( \Gamma ^{n+1}_\otimes (x) = \left( \sup \limits _{j_2,\ldots ,j_{n+2}\in I}\qquad \gamma _{ij_2} \circ \gamma _{j_2 j_3}\circ \cdots \circ \gamma _{j_{n+1}j_{n+2}} (x_{j_{n+2}})\right) _{i \in I}.\) \(\square \)
Remark B.2
Let \(\Gamma _{\otimes }\) be homogeneous, which is the case if and only if all the gains \(\gamma _{ij}\) are linear. Then using monotonicity of \(\Gamma _{\otimes }\), and the formula (B.1), we obtain the following expression for the spectral radius of \(\Gamma _{\otimes }\):
The following lemma can be found in [14, Lem. 4.1]. We include a rather simple proof for the sake of completeness.
Lemma B.3
Assume that \(\Gamma _\otimes \) satisfies the smallgain condition. Then all cycles built from the gains \(\gamma _{ij}\) are contractions. That is,
for all \(r>0\) if \(i_1,\ldots ,i_k\) is an arbitrary path with \(i_1 = i_k\).
Proof
Assume that the assertion is not satisfied for some cycle:
Then define the vector
We check that \(\Gamma _\otimes (s) \ge s\) to obtain a contradiction. Indeed, for any nonzero component of s indexed by \(i_{\nu }\) we have (recall that \(i_k = i_1\))
The last expression equals \(s_{i_{\nu }}\) if \(\nu \in \{2,\ldots ,k1\}\) and is \(\ge r = s_{i_1}\) if \(\nu = 1\). This implies \(\Gamma _\otimes (s) \ge s\) in contradiction to the smallgain condition. \(\square \)
The implication shown in Lemma B.3 cannot be reversed in general. However, if the operator \(\Gamma \) is blockdiagonal with finitedimensional components, then the implication can be “upgraded” to the following criterion.
Proposition B.4
Assume that the gain matrix \(\Gamma =(\gamma _{ij})_{i,j\in {\mathbb {N}}}\), \(\gamma _{ij}\in \mathcal {K_\infty }\cup \{0\}\), is a blockdiagonal matrix of the form \(\Gamma = {\text {diag}}(\Gamma _1, \Gamma _2, \ldots )\), where all \(\Gamma _j:{\mathbb {R}}^{n_j}_+\rightarrow {\mathbb {R}}^{n_j}_+\) and \(n_j <\infty \) for all \(j\in {\mathbb {N}}\). We write for the corresponding gain operators \(\Gamma _\otimes = {\text {diag}}(\Gamma _{1,\otimes }, \Gamma _{2,\otimes }, \ldots )\). Then, the following statements are equivalent:

(i)
\(\Gamma _\otimes :\ell _\infty ^+\rightarrow \ell _\infty ^+\) satisfies the smallgain condition.

(ii)
For all \(i\in {\mathbb {N}}\), the operator \(\Gamma _{i,\otimes }\) satisfies the smallgain condition.

(iii)
All cycles built from the gains of \(\Gamma \) are contractions (as defined in Lemma B.3).

(iv)
All cycles built from the gains of \(\Gamma _i\), \(i\in {\mathbb {N}}\), are contractions.
Proof

(i)
\(\Rightarrow \) (ii). Assume that \(\Gamma _\otimes \) satisfies the smallgain condition. Pick any \(i\in {\mathbb {N}}\) and consider the vector \(s = (s_1,s_2,\ldots ) \in \ell _\infty ^+\) with \(s_j=0\) for \(j\ne i\) and \(s_i\ne 0\).
For this operator, we have \((\Gamma _\otimes s)_i = \Gamma _{i,\otimes } s_i\), and \((\Gamma _\otimes s)_j=0\) for \(j\ne i\). As \(\Gamma _\otimes s \not \ge s\) for all \(s_i\ne 0\), it follows that \(\Gamma _{i,\otimes } s_i \not \ge s_i\), for all \(s_i\ne 0\). As \(i\in {\mathbb {N}}\) has been chosen arbitrarily, the claim follows.

(ii)
\(\Rightarrow \) (i). Pick any \(s\in \ell _\infty ^+\backslash \{0\}\). We can write it as \(s=(s_1,s_2,\ldots )\). Pick any \(i\in {\mathbb {N}}\) so that \(s_i\ne 0\). As \(s\ne 0\), such i exists and it holds that \(\Gamma _i s_i \not \ge s_i\).
As \(\Gamma _\otimes s = (\Gamma _{1,\otimes }s_1,\Gamma _{2,\otimes } s_2, \ldots )\) and by definition of the order in \(\ell _\infty \) it holds that \(\Gamma _\otimes s \ge s\) \(\Leftrightarrow \) \(\Gamma _{i,\otimes } s_i \ge s_i\) for all i, it follows that \(\Gamma _\otimes s \not \ge s\).

(ii)
\(\Leftrightarrow \) (iv). Well known, see, e.g., [18, p. 108].

(iii)
\(\Leftrightarrow \) (iv). This follows by noting that all the nonzero cycles of \(\Gamma _\otimes \) are cycles of \(\Gamma _{i,\otimes }\) for a certain \(i\in {\mathbb {N}}\).
\(\square \)
We will use the following lemma which is interesting in itself, since it does not require the gains to be linear. This is a strenthening of [14, Lem. 4.3], and is ultimately useful for a construction of socalled paths of strict decay (a.k.a. \(\Omega \)paths) in Lyapunovbased smallgain theorems, see [14].
Lemma B.5
Assume that \(\Gamma _{\otimes }:\ell _{\infty }^+(I) \rightarrow \ell _{\infty }^+(I)\), defined as in (4.2), is welldefined, continuous and satisfies the robust smallgain condition. Then, the operator
where the supremum is taken componentwise, is welldefined and satisfies
where \(\omega \in \mathcal {K_\infty }\), \(\omega <\mathrm {id}\) stems from the robust smallgain condition. In particular,
Furthermore,
Proof
Considering \(k=0\) in the definition of Q, it is clear that \(Q(s) \ge s\) for all \(s\in \ell _\infty ^+(I)\).
Now assume that either Q is not welldefined, or \(Q(s) > \omega ^{1}(\Vert s\Vert _{\ell _{\infty }})\mathbf{1}\) for a certain \(s \in \ell _\infty ^+(I)\). In any case, this implies that there are \(s \in \ell _\infty ^+(I)\) and \(i \in I\) such that \(\sup _{k \in {\mathbb {Z}}_+} \big [\Gamma _{\otimes }^k(s)\big ]_i > \omega ^{1}(\Vert s\Vert _{\ell _{\infty }})\).
By formula (B.1), we obtain that there exist \(k \in {\mathbb {N}}\), indices \(i,j \in {\mathbb {N}}\) and a path \(j_1,\ldots ,j_k\) such that
For the given i, j, we define the operator
where \(\delta _{xy}\) is the Kronecker delta, and observe that
Since \(\Gamma _{ji}\) satisfies the smallgain condition by assumption, then also \({\tilde{\Gamma }}_{ji}\) satisfies the smallgain condition \({\tilde{\Gamma }}_{ji}(s) \not \ge s\) for all \(s \in \ell _{\infty }^+(I) {\setminus } \{0\}\). By Lemma B.3, all cycles built from the gains
are contractions. In particular,
With (B.6), we thus obtain
a contradiction. This shows (B.3).
The sandwich estimate (B.4) follows from (B.3) by monotonicity of the norm in \(\ell _\infty (I)\).
Let us show (B.5). For every \(i\in {\mathbb {N}}\), we have
and hence (B.5) holds.
Finally, for any \(s \in \ell _\infty ^+(I)\) we have
\(\displaystyle Q(\Gamma _{\otimes }(s)) = \sup _{k \in {\mathbb {Z}}_+} \Gamma _{\otimes }^{k+1}(s) = \sup _{k \in {\mathbb {Z}}_+} \Gamma _{\otimes } (\Gamma _{\otimes }^{k}(s)) = \Gamma _{\otimes } (\sup _{k \in {\mathbb {Z}}_+} (\Gamma _{\otimes }^{k}(s))) = \Gamma _{\otimes } (Q(s)).\) \(\square \)
Remark B.6
The operator Q is of fundamental importance in maxalgebra, and is sometimes called the strong transitive closure of \(\Gamma _\otimes \), or Kleene star, see [8, Sec. 1.6.2], or just the closure of \(\Gamma _\otimes \), see [43, Sec. 1.4].
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Mironchenko, A., Kawan, C. & Glück, J. Nonlinear smallgain theorems for inputtostate stability of infinite interconnections. Math. Control Signals Syst. 33, 573–615 (2021). https://doi.org/10.1007/s00498021003030
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00498021003030