Abstract
Stability results are presented for a class of differential and difference inclusions, socalled positive Lur’e inclusions which arise, for example, as the feedback interconnection of a linear positive system with a positive setvalued static nonlinearity. We formulate sufficient conditions in terms of weighted onenorms, reminiscent of the smallgain condition, which ensure that the zero equilibrium enjoys various global stability properties, including asymptotic and exponential stability. We also consider inputtostate stability, familiar from nonlinear control theory, in the context of forced positive Lur’e inclusions. Typical for the study of positive systems, our analysis benefits from comparison arguments and linear Lyapunov functions. The theory is illustrated with examples.
Introduction
Positive dynamical systems, or simply positive systems, are dynamical systems where the evolution map leaves a positive cone invariant. The most natural positive cone is the nonnegative orthant of Euclidean space, equipped with the partial order of component wise inequality, noting also the often interchangeable use of the words “positive” and “nonnegative” in this context. The study of positive systems is motivated by numerous applications across a diverse range of scientific and engineering contexts, such as communications, logistics, economics, biology, chemistry, and ecology. Invariance of a positive cone captures the essential property that statevariables of positive systems, typically modelling abundances or concentrations, must take nonnegative values to be meaningful. Consequently, positive systems are wellstudied objects, with textbooks which address the subject including [1,2,3,4,5,6]. The study of positive systems described by linear dynamic equations is grounded in the seminal work by Perron and Frobenius in the early 1900s on irreducible and primitive matrices. Attention has more recently turned to generalisations of the Perron–Frobenius theorem to nonlinear maps, including [7,8,9], for instance. Related to the theory of positive systems is the theory of monotone dynamical systems, where solutions inherit the same ordering (that is, with respect to the partial order which defines the positive cone) throughout time as their initial states; see, for example [10, 11] or [12], and the references therein.
The breadth and depth of applications of positive and monotone systems has generated significant interest in their control [1, 13] which is currently an active research field. The analysis of positive control systems benefits from readily constructed and easily scalable Lyapunov functions [14]. In addition to numerous important examples, control of positive systems is motivated by the challenges which nonnegativity constraints place, since subtraction is not always welldefined in positive cones, for instance. As such, the following fundamental facets of linear control theory all require different treatments for positive systems: reachability and controllability [15, 16], observability [17], realisability [18, 19] and stabilisability [20, 21]. However, the additional structure afforded by positivity is often intuitive, mathematically helpful and thus simplifies matters. For example, in classical robust control, the complex and real stability radii, introduced in [22, 23] are, in general, different for linear systems, but are known to be equal for linear positive systems, see [24].
Differential inclusions arise as the appropriate mathematical framework for rigorously describing the solutions of differential equations specified by discontinuous functions and are now a classical subject addressed in many textbooks, including [25,26,27]. Their study has partly been motivated by optimal control theory [28], developed in economics and engineering, see also [29, 30]. Crucial to the mathematical underpinning of differential inclusions is the concept of a setvalued (or multivalued) map [31], one of the building blocks of nonsmooth analysis. In systems and control theory, differential inclusions provide a toolbox for modelling hybrid systems [32], robust control [33, 34] as well as hysteresis effects, such as backlash or play [35, 36].
We consider the class of positive differential inclusions
socalled Lur’e inclusions, where A, B and C are appropriately sized matrices, with certain nonnegativity properties and F is a nonnegative setvalued function. Differential inclusions of the form (1.1) often arise in closedloop from the linear control system
in feedback connection with the static setvalued (nonlinear) output feedback
and generalise the wellknown and important class of nonlinear control systems referred to as (positive) Lur’e or Lurie systems, to which (1.1) reduces if F is singletonvalued.
In the usual situation that \(0 \in F(0)\), it follows that zero is an equilibrium of (1.1). We present sufficient conditions in Theorem 2.5 for the zero equilibrium to be globally stable, asymptotically stable, and exponentially stable. We note that in a dynamical systems context, exponential stability is in many respects a more important and natural notion of stability than asymptotic stability alone, see [37]. Our results are instances of socalled absolute stability theory; see, for example [36, 38,39,40,41,42] and the references therein, in that we formulate assumptions on the transfer function \(\mathbf{G}(s) = C(sI A)^{1}B\), where s is a complexvariable, which ensure the respective notions of stability for all setvalued functions F for which the “product” \(\mathbf{G}(0)F(y)\) satisfies certain norm bounds. The conditions may be interpreted as smallgain conditions in a weighted onenorm. In the spirit of absolute stability theory, stability of the zero equilibrium is determined by the normestimates and not by the individual nonlinearity F itself. The inherent robustness to uncertainty in F adds to the appeal and utility of absolute stability results. As corollaries we obtain stability results for certain timevarying Lur’e inclusions and to systems of positive Lur’e differential inequalities, both of which we describe. Our analysis crucially depends on the positive systems structure as we make extensive use of comparison arguments, and linear Lyapunov functions, which also go by the names of linear copositive Lyapunov functions [43] and are examples of sumseparable Lyapunov functions [44]. These techniques are not applicable in the general (nonpositive) case, where, for example (see [47, Theorem 3.2]), quadratic Lyapunov functions are used which come from classical systems theoretic concepts such as the solutions of controller/observer Lyapunov equations or algebraic Riccati equations associated with the bounded real lemma or positive real lemma.
Related to (1.1) is the forced version
where D is a setvalued function which models external forcing or disturbances. Clearly, when \(D(t) = \{0\}\) for all \(t \ge 0\), then (1.1) and (1.3) coincide. A sample forced Lur’e system is depicted in a block diagram arrangement in Fig. 1. We comment that (1.3) includes the situation wherein the forcing acts through B, that is, \(D = B E\), for another setvalued function E, in which case (1.3) is the feedback interconnection of (1.2) and
Here the natural notion of stability, now of the zero equilibrium pair (\(x = 0\), \(D=\{0\}\)) of (1.3), is socalled inputtostate stability (ISS) initiated in [45]; see as well the tutorial paper [46]. Roughly, ISS means that the map from \((x^0, D)\) to \(\Vert x(t)\Vert \) has “nice” uniform boundedness properties, where x is a solution of (1.3). Our Theorem 2.11 states that the same assumptions which ensure exponential stability of zero in (1.1) also ensure that the zero equilibrium pair of (1.3) enjoys the exponential ISS property, paralleling recent findings in [47, 48].
The approach we adopt readily admits treatment of positive Lur’e difference inclusions, that is,
where \(x^+\) denotes the image of x under the leftshift operator, viz. \(x^+(t) = x(t+1)\), for all \(t \in \mathbb N_0\). In Theorem 3.1 we present analogous sufficient smallgain conditions for various global stability properties of (1.4).
The motivation for the current study is to derive stability results for multivariable (that is, multiinput multioutput, or MIMO) positive Lur’e inclusions—nonlinear positive control systems—which, as already stated, arise in a variety of applied scenarios. Of particular interest to the authors are models arising in biology and ecology, naturally positive systems, which are the subject of Example 4.2. In this context, Lur’e difference equations have been proposed as models in, for example [49,50,51,52], and have also been proposed for models of plant species with seed banks [53]. Briefly, this connection has been made as Lur’e systems allow both vital or transition rates which are densityindependent (that is, linear) and densitydependent (that is, nonlinear), the latter facilitating the modelling of Allee [54,55,56], competition or crowding effects. As inherently “noisy” systems, not described by classical, wellunderstood equations of motion, there is often much uncertainty in parametrising ecological models, with different qualitative trends being observed in different parametrisations [57]. The robustness to such uncertainty afforded by the treatment of dynamic inclusions and setvalued analysis is thus especially applicable and appealing. Although clearly existing results for the absolute stability of Lur’e inclusions such as those in [36, 48] do apply here, since these papers are not aimed at positive systems, their results are necessarily more conservative.
There is some partial overlap between the present work and [58, 59], where absolute stability results for continuous and discretetime positive dynamical systems (of differential or difference equations, respectively, including Lur’e systems) are presented, although for unforced systems only. These results also appear in the monograph [1, Chap. 5] by the same authors. In [1, 58, 59] a linear dissipativity theory approach is adopted and we compare results in Remarks 2.14 and 3.4. Our work in part extends that of [49, 60] which consider positive Lur’e difference and differential equations, respectively, both with scalar nonlinearities. It is possible in these specific situations to present “trichotomies of stability” explicitly in terms of the model data, which ensure that, under certain assumptions, solutions either converge to the zero equilibrium, or a unique nonzero equilibrium, or diverge. Similar limit set trichotomies have been established for various classes of monotone discretetime dynamical systems in [2, 61, Chap. 6] for finitedimensional systems and in [12, 50, 51] for infinitedimensional systems. In Remark 3.5, we compare some of our findings with those from the monotone systems and control literature, namely [62, 63]. In the present paper we restrict attention to stability of the zero equilibrium alone and do not consider limit set trichotomies.
The paper is organised as follows. Sections 2 and 3 contain our main results, namely, global stability properties of the Lur’e differential inclusions (1.1) and (1.3), and the Lur’e difference inclusion (1.4), respectively. Section 4 contains three examples discussed in detail. We present some brief summarising remarks in Sect. 5.
Notation We collect notation and terminology used in the sequel. The symbols \(\mathbb N\) and \(\mathbb R\) denote the sets of positive integers and real numbers, respectively, and \(\mathbb N_0 = \{0\} \cup \mathbb N\). For \(n, m \in \mathbb N\), we let \(\underline{n}:= \{1,2,\ldots ,n\}\), \(\mathbb R^n\) and \(\mathbb R^{n \times m}\) denote usual ndimensional Euclidean space, and the set of \(n \times m\) matrices with real entries, respectively. The superscript \({}^T\) denotes both matrix and vector transposition. For \(M,N \in \mathbb R^{n \times m}\) with entries \(m_{ij}\) and \(n_{ij}\), respectively, we write
with the corresponding respective conventions for \(\ge \), > and \(\gg \). If \(M \in \mathbb R^{n \times m}_+\) or, equivalently, \(0 \le M\), then we say that M is nonnegative. We call M positive or strictly positive if \(0 <M\) or \(0 \ll M\), respectively, noting that there are different conventions present in the literature for the term positive matrix. Given \(v \in \mathbb R^n_+\), \(0 \ll v\), we let
where the ith component of \(\vert x \vert \in \mathbb R^n_+\) is defined to be \( \vert x_i \vert \). We note that \(\vert \cdot \vert _{v}\) is a norm on \(\mathbb R^n\) and, if \(x \in \mathbb R^n_+\), then \(\vert x \vert _{v} = v^T x\).
We recall that a nonnegative square matrix \(M \in \mathbb R^{n \times n}_+\) is irreducible if, and only if, for each \(i,j \in \underline{n}\) there exists \(k \in \mathbb N\) such that the (i, j)th entry of \(M^k\) is positive. Strictly positive matrices are evidently irreducible, and small irreducible matrices (which are not strictly positive) include
Irreducible matrices presently play a role because Perron–Frobenius theory applies to them, which we discuss later in the text.
A matrix \(M \in \mathbb R^{n \times n}\) is called Metzler, also known as quasipositive or essentially nonnegative, if every offdiagonal entry is nonnegative (see, for example [5, Chap. 6]). We let r(M) and \(\alpha (M)\) denote the spectral radius and spectral abscissa of M, respectively, which we recall are given by
where \(\sigma (M)\) denotes the spectrum of M. For \(v \in \mathbb R^n\), \(\Vert v \Vert \) and \(\Vert M \Vert \) denote a (any) monotonic norm of v and the corresponding induced operator norm of M, respectively. Recall that a norm is monotonic if for all \(x, y \in \mathbb R^n\)
Every pnorm for \(1 \le p \le \infty \) is monotonic. We let \(\Vert \cdot \Vert _1\) denote both the onenorm and induced onenorm.
For \(v,w \in \mathbb R^n\) with \(v \le w\), we define the order interval \([v, w] \subseteq \mathbb R^n\) as
which, in light of the componentwise definition of the partial order \(\le \), is equal to the Cartesian product of intervals, viz.
The symbols I and \(\mathbb {1}\) denote the identity matrix and vector with every component equal to one, respectively, the size of which shall be consistent with the context. We note that with the above definitions \(\Vert x \Vert _1 = \vert x \vert _{\mathbb {1}}\), for \(x \in \mathbb R^n\).
For a set X, we let P(X) denote the power set of X, \(P_0(X) = P(X){\setminus } \{\emptyset \}\) and, if X is a subset of a normedspace,
with the convention that \({\left \left \left \emptyset \right \right \right } =0\). If \(X,Y \subseteq V\) are subsets of a vector space and \(T: V \rightarrow V\) a linear operator, then the sum \(X+Y\) and image TX are defined as
Finally, a function \(g : \mathbb R^n \rightarrow \mathbb R^m\) is said to be lower semicontinuous if every component \(g_i : \mathbb R^n \rightarrow \mathbb R\) is lower semicontinuous, where \(i \in \underline{m}\), that is
Continuoustime systems
In this section we consider continuoustime Lur’e inclusions, treating the unforced and forced cases in separate subsections. We first collect some terminology and results which are used in both subsections.
Given a setvalued map \(H : \mathbb R_+ \times \mathbb R^n \rightarrow P_0(\mathbb R^n)\) and \(x^0 \in \mathbb R^n\), we say that an absolutely continuous function \(x : [0, \omega ) \rightarrow \mathbb R^n\) for \(0< \omega \le \infty \), is a solution of the initial value problem
if (2.1) holds for almost all \(t \in [0, \omega )\). If \(\omega =\infty \), then x is said to be a global solution. If \(x: [0, \omega ) \rightarrow \mathbb R^n\) is a solution of (2.1) for some \(0<\omega \le \infty \), then \(\dot{x}\) is a locally integrable selection of \(t \mapsto H(t, x(t))\). Therefore, for all \(0\le t_1 \le t_2 < \omega \), the set
is nonempty and, with this notation, x satisfies the integral inclusion
We shall consider the special case of (2.1) with
and
for some \(m,n,p \in \mathbb N\). We will impose positivity and stability properties on the data in (2.4) later in the section. Combined, (2.1), (2.3) and (2.4) give rise to the system of Lur’e differential inclusions
Our primary, but not exclusive, focus is the autonomous case wherein \(G(t,y) = F(y)\), for some \(F:\mathbb R^p \rightarrow P_0(\mathbb R^n)\), so that (2.5) reduces to (1.3). The setvalued forcing term \(D : \mathbb R_+ \rightarrow P_0(\mathbb R^n)\) does not play a role in Sect. 2.1, where (1.1) is considered by taking \(D = \{0\}\). As mentioned in the Introduction, when G is singletonvalued then (2.5) simplifies to a system of Lur’e differential equations; a special case which we consider in Sect. 2.3. We next state and prove a “variation of parameters” expression for solutions of forced Lur’e inclusions. No stability or positivity properties are required for this result.
Lemma 2.1
For model data (2.4) and \(x^0 \in \mathbb R^n\), let \(x: [0, \omega ) \rightarrow \mathbb R^n\) denote a solution of (2.5) for some \(\omega >0\). Then x satisfies the inclusion
Proof
Let \(0< t <\omega \) be fixed, but arbitrary, and define an absolutely continuous function z on [0, t] by \(z(\tau ) := \mathrm {e}^{A(t\tau )} x(\tau )\). Obviously, \(z(0) = \mathrm {e}^{At}x^0\) and \(z(t) = x(t)\), and a routine calculation shows that z satisfies the differential inclusion
Therefore, in light of (2.2),
which implies that
Since \(0<t < \omega \) was arbitrary, we conclude that (2.6) holds. \(\square \)
The following equivalence, known as “loopshifting” in the control engineering jargon, shall also play a key role, and is easily established. Namely, for fixed \(K\in \mathbb R^{m \times p}\), \(x^0 \in \mathbb R^n\) and model data (2.4), the function x is a solution of (2.5) if, and only if, x is a solution of
We introduce the positivity and stability properties of A, B, C, D and G as in (2.4):
 (A1):

\((A,B,C) \in \mathbb R^{n \times n} \times \mathbb R^{n\times m}_+ \times \mathbb R^{p \times n}_+\), A is Metzler, \(D : \mathbb R_+ \rightarrow P_0(\mathbb R^n_+)\) and \(G : \mathbb R_+ \times \mathbb R^p_+ \rightarrow P_0(\mathbb R^m_+)\);
 (A2):

\(\alpha (A)<0\);
 (A3):

there exists \(R>0\) such that
$$\begin{aligned} \Vert w \Vert \le R \Vert y\Vert \quad \forall \; w \in G(t,y) \; \; \forall \, t \in \mathbb R_+ \; \; \forall \, y \in \mathbb R^p_+. \end{aligned}$$
We comment that we shall interpret (A1) and (A3) in the autonomous case as well, meaning that \(G(t,y) = F(y)\) for some \(F : \mathbb R^p \rightarrow P_0(\mathbb R^m)\).
We briefly discuss an issue pertaining to domains which often arises when studying positive systems, to reconcile the general case (2.4) to the assumptions made in (A1). Indeed, under (A1), the function G is only defined on \(\mathbb R_+ \times \mathbb R^p_+\). Some existence theory (see, for example [25, Theorem 1, p. 97]) for (2.1) assumes that \(H : I \times \varOmega \rightarrow P_0(X)\) where \(I \subseteq \mathbb R\) and \(\varOmega \subseteq X \subseteq \mathbb R^n\) are open, which clearly fails with \(I = \mathbb R_+\) and \(\varOmega = \mathbb R^n_+\). Therefore, if \(J : \mathbb R_+ \times \mathbb R^n_+ \rightarrow P_0(\mathbb R^n_+)\) denotes the right hand side of the differential inclusion (2.5) under (A1), then we extend J to \(\mathbb R\times \mathbb R^n\), and denote the extension \(J_\mathrm{e}: \mathbb R\times \mathbb R^n \rightarrow P_0(\mathbb R^n_+)\), by setting \( J_\mathrm{e}(t,x) := J(\max \{0,t\},\mu (x))\) with \(\mu : \mathbb R^n \rightarrow \mathbb R^n_+\) defined by
Since J and \(J_\mathrm{e}\) coincide on \(\mathbb R^n_+\), we may seek solutions of \(\dot{x} \in J_\mathrm{e}(x)\), as an immediate consequence of the positivity assumptions in (A1) is the following.
Lemma 2.2
Under assumption (A1), every solution \(x:[0, \omega ) \rightarrow \mathbb R^n\) of (2.5) with \(x^0 \in \mathbb R^n_+\) takes values in \(\mathbb R^n_+\) for all \(t \in [0, \omega )\).
Proof
The claim follows from the variation of parameters inclusion (2.6) combined with the nonnegativity assumptions in (A1). Crucially, we have used that A is Metzler if, and only if, \(\mathrm{e}^{At} >0\) for all \(t\ge 0\); see, for example [10, Section 3.1].\(\square \)
We conclude this section by commenting that the loopshifting property, see (2.7), holds without the assumptions (A1)–(A3). It demonstrates that we may replace A and G in (1.3) by \(A+BKC\) and \((t,y) \mapsto G(t,y)  Ky\), respectively. In particular, A may not satisfy assumption (A2), but \(A+BKC\) may do so, for some \(K \in \mathbb R^{p\times m}\). In other words, this means that there is a socalled stabilising static output feedback \(u = Ky\) for the linear system (1.2), which is the approach we take in Example 4.1. Of course, in the current setting of positive Lur’e inclusions, the choice of K shall be constrained by the requirement that \(A+BKC\) and \((t,y) \mapsto G(t,y)  Ky\) satisfy (A1) as well, which may be infeasible in some cases.
Unforced systems
We consider the Lur’e inclusion (1.1) with assumptions (A1)–(A3). Recall from the previous section that this is a special case of (2.5). We note that the assumptions on A, B, C and F do not a priori guarantee that (1.1) admits solutions. Existence of solutions is not the focus of the present investigation, primarily as it is an extensively studied subject in the literature. That said, we do make some comments and provide some references regarding the existence of solutions. Recall the extension \(J_\mathrm{e}\) from Sect. 2, defined in terms of \(\mu \) from (2.8). The following lemma shows that \(J_\mathrm{e}\) inherits many useful properties from J. The proofs are readily established once it is noted that \(\mu \) is Lipschitz with Lipschitz constant equal to one.
Lemma 2.3
Let \(J : \mathbb R_+ \times \mathbb R^n_+ \rightarrow P_0(\mathbb R^n_+)\) and define \(J_\mathrm{e}(t,x) := J(\max \{0,t\}, \mu (x))\) where \(\mu \) is given by (2.8). If J has any of the following properties: bounded, closed valued, convex valued, upper semicontinuous, lower semicontinuous, then \(J_\mathrm{e}\) has the corresponding property.
Examples of results ensuring existence of solutions of (1.1) include [25, Theorem 3, p. 98], [26, Proposition 6.1, p. 53] and [27, Theorem 7.5.1, p. 279]. The results [25, Theorems 1 and 4, p. 97, p. 101], [26, Lemma 5.1, p. 53] and [26, Theorem 6.1, p. 53] provide conditions under which global solutions of (1.1) exist, from which we obtain the following.
Proposition 2.4
Given the Lur’e inclusion (1.1), assume that (A1) and (A3) hold and that F is upper semicontinuous with closed, convex values. Then, for all \(x^0 \in \mathbb R^n_+\), there is a global solution of (1.1), and every solution may be extended to a global solution. Further, every solution x satisfies \(x(t) \in \mathbb R^n_+\) for all t where x(t) is defined.
Proof
The lemma follows from applications of [26, Lemma 5.1, p. 53] and [26, Corollary 5.2, p. 58], which establish existence of solutions, and extension to global solutions, respectively. Lemma 2.2 ensures that every solution is nonnegative. \(\square \)
We shall later briefly consider nonautonomous versions of (1.1), specifically (2.5). In this context [26, Theorem 5.2, p. 58] provides further assumptions on G which, combined with (A1)–(A3), guarantee the existence of global solutions. In fact, under (A1)–(A3), any result guaranteeing existence of local solutions which uses continuous (or Caratheodory) selections of \(x \mapsto Ax + BF(Cx)\) (or \((t,x) \mapsto Ax + BG(t,Cx)\)) will, in fact, ensure existence of global solutions by wellknown theory of maximally defined solutions of ordinary differential equations (see the proof of [25, Theorem 1, p. 97]).
The main result of this section is presented next, and contains a suite of stability results for (1.1) formulated in terms of weighted onenorm inequalities and \(\mathbf{G}(0)\), assuming that global solutions exist. Here \(\mathbf{G}\) denotes the transfer function of the triple (A, B, C), that is, \(\mathbf{G}(s) = C(sIA)^{1}B\), where s is a complex variable. Recall that a matrix \(A \in \mathbb R^{n \times n}\) is Metzler with \(\alpha (A) <0\) if, and only if, \(A^{1} > 0\) (see, for example [5, Characterisation N\({}_{38}\) in Section 6.2] or [66, characterisation F\({}_{15}\)]). Consequently, under assumptions (A1) and (A2), it follows that \(\mathbf{G}(0) = CA^{1}B \in \mathbb R^{p \times m}_+\).
Theorem 2.5
Given the Lur’e inclusion (1.1), assume that (A1)–(A3) hold.

(i)
If there exists a strictly positive \(v \in \mathbb R^p_+\) such that
$$\begin{aligned} \vert \mathbf{G}(0) w \vert _{v} \le \vert y \vert _{v} \quad \forall \; w \in F(y) \; \; \forall \, y \in \mathbb R^p_+, \end{aligned}$$(2.9)then there exists \(\varGamma >0\) such that, for all \(x^0 \in \mathbb R^n_+\), every global solution x of (1.1) satisfies
$$\begin{aligned} \Vert x(t) \Vert \le \varGamma \Vert x^0\Vert \quad \forall \, t \in \mathbb R_+. \end{aligned}$$ 
(ii)
If there exist a strictly positive \(v \in \mathbb R^p_+\) and a lower semicontinuous function \(e : \mathbb R^p_+ \rightarrow \mathbb R_+\) such that
$$\begin{aligned} e(y) \; >0 \quad \text {and} \quad \vert \mathbf{G}(0) w \vert _{v} +e(y) \; \le \vert y \vert _{v} \quad \forall \; w \in F(y) \; \; \forall \, y \in \mathbb R^p_+{\setminus }\{0\}, \end{aligned}$$(2.10)then, for all \(x^0 \in \mathbb R^n_+\), every global solution x of (1.1) satisfies \(x(t) \rightarrow 0\) as \(t \rightarrow \infty \).

(iii)
If there exist a strictly positive \(v \in \mathbb R^p_+\) and \(\rho \in (0,1)\) such that
$$\begin{aligned} \vert \mathbf{G}(0) w \vert _{v} \le \rho \vert y \vert _{v} \quad \forall \; w \in F(y) \; \; \forall \, y \in \mathbb R^p_+, \end{aligned}$$(2.11)then there exist \(\varGamma , \gamma >0\) such that, for all \(x^0 \in \mathbb R^n_+\), every global solution x of (1.1) satisfies
$$\begin{aligned} \Vert x(t) \Vert \le \varGamma \mathrm{e}^{\gamma t}\Vert x^0\Vert \quad \forall \, t \in \mathbb R_+. \end{aligned}$$
The notion of stability concluded in statement (i) is often called “stability in the large”, see [36, Definition 3], which, when combined with statements (ii) and (iii) yield that the zero equilibrium of (1.1) is globally asymptotically and globally exponentially stable, respectively. Before proving the above theorem, we provide some commentary on assumptions (2.9)–(2.11).
Remark 2.6
The weighted onenorm estimates (2.9)–(2.11) provide conditions on the norm of the “product” \(\mathbf{G}(0)F(y)\) and not on a product of norms. Sufficient conditions for (2.9)–(2.11) are linear constraints which are reminiscent of sectortype conditions in a nonnegative orthant. Namely, if there exists an irreducible matrix \(M \in \mathbb R^{p \times p}_+\) with \(r(M)\le 1\) such that
then (2.9) holds. To see this, multiply both sides of (2.12) on the left by \(v^T\), a strictly positive left eigenvector of M corresponding to the eigenvalue r(M), the existence of which is ensured by the Perron–Frobenius Theorem (see, for example [5, Theorem 1.4, p. 27]). Further, if there exists an irreducible matrix \(M \in \mathbb R^{p \times p}_+\) with \(r(M)\le 1\) and a lower semicontinuous function \(\zeta : \mathbb R^p_+ \rightarrow \mathbb R_+^p\) such that
then (2.10) holds with \(e := v^T \zeta \), by the same argument as above. If there exists a nonnegative (not necessarily irreducible) matrix M which satisfies (2.12) with the property that \(r(M) <1\), then (2.11) holds. \(\square \)
Proof of Theorem 2.5
Throughout the proof, we let \(x:\mathbb R_+ \rightarrow \mathbb R^n_+\) denote a global solution of (1.1) for given \(x^0 \in \mathbb R^n_+\).
(i): As \(\mathbf{G}(0) \ge 0\), the condition (2.9) may be rewritten as
Multiplying both sides of (1.1) by \(v^TCA^{1}\) and invoking (2.13) yields that
whence
and, further,
We claim that there exists \(\theta >0\) such that
To that end, choose \(\beta >0\) such that \(A+ \beta I \ge 0\), so that in particular
As A is Metzler with \(\alpha (A)<0\), in light of (2.17) we have, for \(z \in \mathbb R^n_+\),
which is (2.16) with \(\theta := 1/\beta >0\). Using (2.15) and (2.16) shows that
which implies, by norm equivalence, that there exists \(P >0\) such that
Invoking Lemma 2.1, the variation of parameters inclusion (2.6) with \(G(t,Cx(t)) = F(Cx(t))\) and \(D=\{0\}\), combined with (A3) and (2.18), we may estimate
whence, by (A2), we conclude that statement (i) holds.
(ii): Our hypotheses ensure that statement (i) holds. First, suppose that
and fix \(\varepsilon > 0\). We note that for any \(T_1 \ge 0\), we may use (A2), (A3) and (2.19) to estimate that \(\xi \) satisfying
admits the estimate
for \(T_1 >0\) sufficiently large. Consequently, \(\Vert \xi (t) \Vert \le \varepsilon /2\) for all \(t \ge T_1\). Since x satisfies
(which follows easily from (2.6)), invoking (A2) gives \(T_2> T_1\) such that for all \(t \ge T_2\)
hence \(\lim _{t \rightarrow \infty } x(t) =0\) as \(t \rightarrow \infty \), as required, provided that (2.19) holds.
Therefore, it remains to establish (2.19). For which purpose, fix \(x^0 \in \mathbb R^n_+{\setminus }\{0\}\) and, seeking a contradiction, suppose that (2.19) fails. Then there exist a sequence \((t_k)_{k \in \mathbb N} \subseteq \mathbb R_+\) and \(\varepsilon > 0\) such that \(t_k \nearrow \infty \) as \(k \rightarrow \infty \) and
By statement (i) we have that x is bounded, and hence from (1.1) and (A3) it follows that \(\dot{x}\) is bounded as well. Hence x is uniformly continuous, and so is Cx. Consequently, there exists \(\delta >0\) such that
where we have used the bound for x from statement (i). As \(t_k \nearrow \infty \) as \(k \rightarrow \infty \) we may assume that \(t_{k+1} > t_{k} + \delta \) for all \(k \in \mathbb N\) (by redefining the sequence \((t_k)_{k \in \mathbb N}\) if necessary). Define
a compact set which does not contain zero. We claim that there exists \(\eta >0 \) such that
To establish (2.22), note that by (2.10),
as e is a lower semicontinuous function which is positivevalued for positive arguments, and \(\mathcal {M}\) is a compact set which does not contain zero.
Consider next the realvalued, nonnegative function
which is absolutely continuous, nonincreasing by (2.14) and, furthermore, satisfies
In light of (2.20), (2.22) and (2.23), we see that for every \(k \in \mathbb N\)
which yields that
Since f is nonincreasing and \(t_{k+1} \ge t_k + \delta \) for all \(k \in \mathbb N\)
showing that
which contradicts the nonnegativity of f.
(iii): Let \(0 < c_1 \le c_2\) be such that
Fix \(\varepsilon >0\) such that \(\rho + \varepsilon <1\). Since \(\alpha (A)<0\) and as \(\mathbf{G}\) is continuous at 0, there exists \(\delta >0\) such that
Thus, for fixed \(\gamma \in (0,\delta )\), we note that \(\mathbf{G}(\gamma ) \ge 0\) and, further, for \(y \in \mathbb R^p_+\) and \(w \in F(y)\),
where we have used (A3), (2.11), (2.24) and (2.25). Multiplying both sides of (2.26) by \(\mathrm {e}^{\gamma t}\), and taking \(w \in F(\mathrm {e}^{\gamma t} \xi )\) with \(\xi \in \mathbb R^p_+\), we see that
Define \(z(t):= \mathrm {e}^{\gamma t} x(t)\) for \(t \in \mathbb R_+\). A routine calculation using (1.1) shows that z is a solution of
Multiplying both sides of (2.28) by \(v^T C(A + \gamma I)^{1} \) and invoking (2.27), we obtain the estimate
for some \(\theta _\gamma >0\), so that there exists \(L >0\) such that
Applying Lemma 2.1 to (2.28) with \(D = \{0\}\) and \(G(t,Cx(t)) = F(Cx(t))\) shows that
Invoking the boundedness of Cz and (A3) we see that
Since \(\alpha (A + \gamma I)<0\) and \(x^0 \in \mathbb R^n_+\) was arbitrary, we conclude that there exists \(\varGamma >0\) such that
and so
as required. \(\square \)
In certain cases, the weighted onenorm estimate (2.9) itself implies that F must satisfy (A3), which we formulate as the next lemma.
Lemma 2.7
Assume that A, B, C and F satisfy (A1) and (A2), and let \(\mathbf{G}(s) = C(sIA)^{1}B\). If (2.9), and at least one of the two conditions

(a)
\(m =p\) and \(\mathbf{G}(0)\) is irreducible;

(b)
\(B,C \ne 0\), B has no zero columns and there exists \(\varDelta \in \mathbb R^{m \times p}_+\) such that \(A + B\varDelta C\) is irreducible;
hold, then F satisfies (A3).
Proof
Assume that (a) holds. By the Perron–Frobenius theorem, irreducibility of \(\mathbf{G}(0)\) implies that there exists a strictly positive \(\nu \in \mathbb R^m_+\) and \(r >0\) such that
The above equality, combined with norm equivalence of all norms on \(\mathbb R^m\), implies that there exists \(\theta _1, \theta _2 >0\) such that
for some \(c >0\), which demonstrates that (A3) holds with \(R : = c\theta _2/\theta _1\).
Now assume that (b) holds. Suppose that \(z \in \mathbb R^m_+\) is such that \( \mathbf{G}(0)z =0\). Since \(\alpha (A) <0\) we have that
where \(\delta >0\) is such that \(0 \le A + \delta I\) (such a \(\delta \) exists as A is Metzler). As the integrand is continuous and nonnegative, (2.30) implies that
whence,
and, therefore,
Let \(c_i^T \ne 0\) and \(b_j\) denote the ith row and jth column of C and B, respectively, where we have used that \(C \ne 0\). For each \(r \in \underline{m}\), we see from (2.31) that
As \(b_r \ne 0 \) for every \(r \in \underline{m}\) and \(A + \delta I+ B \varDelta C\) is irreducible, it follows from (2.32), by appropriate choices of \(k \in \underline{n}\), that \(z_r = 0\). Therefore, we deduce that \(z=0\) as \(r \in \underline{m}\) was arbitrary and thus \(\mathbf{G}(0)\) has no zero columns. Defining
we obtain, for \(z\in \mathbb R^m_+\),
We deduce that (2.29) holds, for some \(\theta _1,\theta _2 >0\) which, when combined with (2.9) and using arguments identical to those used in the first part of the proof, establishes the claim. \(\square \)
The condition (2.10) is an intermediate between (2.9) and (2.11) which, as the next result shows, simplifies if more regularity assumptions are made on F.
Corollary 2.8
Assume that (A1)–(A3) hold and that F is upper semicontinuous with closed values. If there exists a strictly positive \(v \in \mathbb R^p_+\) such that
then, for all \(x^0 \in \mathbb R^n_+\), every global solution x of (1.1) satisfies \(x(t) \rightarrow 0\) as \(t \rightarrow \infty \).
Proof
We note that it is sufficient to show that (2.22) holds, because in this case the proof of the corollary may be completed by arguments identical to those used in the proof of statement (ii) of Theorem 2.5. To see that (2.22) holds, let \(y_k \in \mathcal {M}\) and \(w_k \in F(y_k)\) be such that
where \(\mathcal {M}\) is given by (2.21). Since \(y_k \in \mathcal {M}\) and \(\mathcal {M}\) is compact, \((y_k)_{k \in \mathbb N}\) has a convergent subsequence, not relabelled, with limit \(y_* \in \mathcal {M}\), hence \(y_* \ne 0\). The upper semicontinuity of F means that we may choose another subsequence of \((y_k)_{k \in \mathbb N}\), again not relabelled, such that
where \(B(x,r) \subseteq \mathbb R^m\) denotes the open ball centred at x with radius \(r >0\). Assumption (A3) implies that \(F(y_*)\) is bounded and so, by (2.34), \((w_k)_{k \in \mathbb N}\) is bounded, and hence has a convergent subsequence, not relabelled, with limit \(w_*\). Necessarily, from (2.34) we see that \(w_* \in \overline{F(y_*)} = F(y_*)\), as F is assumed to be closed valued. We conclude that
by (2.33) as \(y_* \ne 0\), showing that (2.22) holds. \(\square \)
Although formulated for autonomous problems, Theorem 2.5 readily extends to the nonautonomous differential inclusion (2.5) (still with \(D=\{0\}\)), provided the conditions in Theorem 2.5 hold uniformly in time. We formulate these claims in the next corollary.
Corollary 2.9
Given the Lur’e inclusion (2.5) with \(D = \{0\}\), assume that A, B, C and G satisfy (A1)–(A3). Define
If F given by (2.35) satisfies the conditions (2.9)–(2.11) in Theorem 2.5, then the conclusions of Theorem 2.5 hold for every global solution of (2.5) with \(D = \{0\}\).
Forced systems
We next consider the system of forced Lur’e differential inclusions (1.3), where \(D : \mathbb R_+ \rightarrow P_0(\mathbb R^n_+)\). We say that \(D : \mathbb R_+ \rightarrow P_0(\mathbb R^n_+)\) is (essentially) locally bounded or (essentially) bounded if
respectively.
With regards to the existence of solutions of (1.3), we refer to, for example [26, Chap. 3, Sections 5–6] or [67, Theorems 1.1, 1.3, pp. 30–31]. The following result is based on [26, Theorem 5.2].
Proposition 2.10
Given the forced Lur’e inclusion (1.3), assume that:

(i)
(A1)–(A3) hold;

(ii)
F has closed, convex values, \(F(t, \cdot )\) is upper semicontinuous and \(F(\cdot ,x)\) is measurable;

(iii)
D is measurable, locally bounded with closed, convex values.
Then, for every \(x^0 \in \mathbb R^n_+\), (1.3) has a global solution, and every solution may be extended to a global solution. Further, every solution x satisfies \(x(t) \in \mathbb R^n_+\) for all t where x(t) is defined.
Proof
Existence of global solutions follows from an application of [26, Theorem 5.2] and [26, Corollary 5.2, p. 58] ensures that solutions may be extended to global solutions. Lemma 2.2 ensures that every solution is nonnegative. \(\square \)
Assumption (A3) implies that \(F(0) = \{0\}\) and hence \(x=0\), \(D = \{0\}\) is a solution of (1.3) with \(x^0 = 0\), which we shall hereafter refer to as the zero equilibrium pair. We proceed to state and prove the main result of the present section, namely that the assumptions made in statement (iii) of Theorem 2.5 are sufficient for the zero equilibrium pair of (1.3) to be socalled exponentially ISS. The proof is similar to that of statement (iii) of Theorem 2.5, and uses a socalled exponential weighting argument, see [36].
As will become apparent in the proof of Corollary 2.12, it is convenient in the next result to impose no assumption on sign of the disturbance term D, but instead assume that the state x remains nonnegative.
Theorem 2.11
Given the forced Lur’e inclusion (1.3), assume that (A1)–(A3) hold. If there exist a strictly positive \(v \in \mathbb R^p_+\) and \(\rho \in (0,1)\) such that (2.11) holds, then there exists \(\varGamma , \gamma >0\) such that, for all \(x^0 \in \mathbb R^n_+\), all locally bounded \(D : \mathbb R_+ \rightarrow P_0(\mathbb R^n)\) and every global nonnegative solution x of (1.3),
If D is nonnegativevalued, that is \(D(t) \subseteq \mathbb R^n_+\) for almost all \(t \ge 0\), then the hypotheses of Theorem 2.11 ensure that (2.36) holds for every global solution x of (1.3). The inequality (2.36) is the definition of exponential ISS of the zero equilibrium pair (in the current setvalued setting).
Proof of Theorem 2.11
Fix \(x^0 \in \mathbb R^n_+\) and \(D : \mathbb R_+ \rightarrow P_0(\mathbb R^n)\) as above and let x be a global, nonnegative solution of (1.3). Let \(\varepsilon , \gamma >0\) be such that \(\rho + \varepsilon <1\) and \(\alpha (A + \gamma I) <0 \). Defining \(z(t) := \mathrm {e}^{\gamma t}x(t)\) for \(t \ge 0\), which is also nonnegative, an elementary calculation using (1.3) shows that z is a solution of
Multiplying both sides of the above by \(v^T C(\gamma I  A)^{1} \) yields that, for almost all \(t \in \mathbb R_+\)
where
Using arguments similar to those involved in the derivation of (2.26), we see that for sufficiently small \(\gamma >0\)
whence, for almost all \(t \in \mathbb R_+\)
Setting \(\delta = 1  (\rho + \varepsilon ) \in (0,1)\) and
where \(\kappa := \Vert v^T C(\gamma I +A)^{1} \Vert >0\), it follows from (2.38)–(2.40) that
so that
Choose \(\sigma \in (0, \delta )\), and note that by definition of a and monotonicity of the integral
Be definition of a and \(\xi \), it follows from (2.42) that
by (2.43). Now, as \(0 \le v^T C(\gamma I  A)^{1} z(t)\), appealing to (2.41) yields that
for some positive constants \(K_1\) and \(K_2\), which are independent of t, D and \(x^0\).
An application of Lemma 2.1 to (2.37) implies that
Invoking (A3) and \(\alpha (A+\gamma I) <0\), we estimate \(\Vert z(t) \Vert \) using the above inclusion as follows
by (2.44), for some \(K_3,K_4,K_5 >0\) which are independent of t, D and \(x^0\). Thus,
where \(\varGamma := \max \big \{ K_3 + K_4K_1,K_4K_2 + K_5\big \}\), completing the proof. \(\square \)
The next corollary is a socalled ISS with bias result (see [36, 48]) which states that if the condition (2.11) fails on a bounded set, then solutions of (1.3) (which include those of (1.1)) still admit uniform estimates of the form (2.36), but with an additional positive constant term. We note that ISS with bias is closely related to the concept of inputtostate practical stability (ISpS), see [68, 69]. Although ISpS applies to more general nonlinear forced control systems, a difference is that it does not typically specify the form of the additional constant, denoted \(\beta \) in the bounds below.
Corollary 2.12
Given the forced differential Lur’e inclusion (1.3), assume that (A1)–(A3) hold. If there exist a strictly positive \(v \in \mathbb R^p_+\), \(\rho \in (0,1)\) and \(\varTheta \ge 0\) such that
then there exist \(\varGamma , \gamma >0\) such that, for all \(x^0 \in \mathbb R^n_+\) and all locally bounded \(D : \mathbb R_+ \rightarrow P_0(\mathbb R^n_+)\), every global solution x of (1.3) satisfies
Here
and
The number \(\beta \) in (2.47) seeks to capture the extent to which the inequality in (2.45) is violated on the set \(\{ y \in \mathbb R^p_+ {:} \, \Vert y \Vert < \varTheta \}\). Observe that if \(\varTheta = 0\), then \(\beta =0\) and the conclusions of Theorem 2.11 and Corollary 2.12 coincide.
Proof of Corollary 2.12
Define \(H : \mathbb R^p_+ \rightarrow P_0(\mathbb R^m_+)\) by
where S(y) is given by (2.48), so that H satisfies (A3). For given \(x^0 \in \mathbb R^n_+\) and \(D : \mathbb R_+ \rightarrow P_0(\mathbb R^n_+)\), let x denote a global solution of (1.3). As \(D(t) \subseteq \mathbb R^n_+\) for almost all \(t \ge 0\), we have that \(x \ge 0\) and thus x is also a global nonnegative solution of
where \(E := B\big [F(Cx)  H(Cx)\big ] + D\). We seek to apply Theorem 2.11 to (2.50), with F and D in (1.3) replaced by H and E, respectively. Although it is possible that \(E(t) \not \subseteq \mathbb R^n_+\) for some \(t \ge 0\), since x is nonnegative it suffices to verify that E is locally bounded. We consider two exhaustive cases: if \(\Vert Cx(t) \Vert \ge \varTheta \), then
by construction. Alternatively, if \(\Vert Cx(t) \Vert < \varTheta \)
Therefore, the hypotheses of Theorem 2.11 hold which, when combined with (2.51), yield the existence of \(\varGamma , \gamma >0\) such that x satisfies the estimate (2.46). \(\square \)
Positive Lur’e differential equations and inequalities
As indicated in the Introduction, the stability (or otherwise) of equilibria of Lur’e differential equations, or simply Lur’e systems, has been the focus of much attention in the control theory literature. The forced positive Lur’e system
where \(g : \mathbb R_+ \times \mathbb R^p_+ \rightarrow \mathbb R^m_+\) and \(d : \mathbb R_+ \rightarrow \mathbb R^n_+\), is a special case of the forced positive Lur’e inclusion (1.3) with
In certain applications, the socalled forced positive Lur’e inequality
is also of interest. Note that an absolutely continuous function \(x: \mathbb R_+ \rightarrow \mathbb R^n\) is a solution of (2.53) if, and only if, x is a solution of (1.3) with
In both of the special cases above, the setvalued map F satisfies assumption (A3) if, and only if, there exists \(R>0\) such that
We note that (2.52) is a particular case of (2.53), and so focus attention on (2.53). The following corollary is an immediate consequence of Theorems 2.5, 2.11 and Corollary 2.12.
Corollary 2.13
Given the forced positive Lur’e inequality (2.53), assume that (A1) and (A2) hold and that g satisfies (2.54).

(i)
If \(d=0\) and there exists a strictly positive \(v \in \mathbb R^p_+\) such that
$$\begin{aligned} \vert \mathbf{G}(0) g(t,y) \vert _{v} \le \vert y \vert _{v} \quad \forall \, t \in \mathbb R_+, \; \; \forall \, y \in \mathbb R^p_+, \end{aligned}$$(2.55)then there exists \(\varGamma >0\) such that, for all \(x^0 \in \mathbb R^n_+\), every global solution x of (2.53) satisfies
$$\begin{aligned} \Vert x(t) \Vert \le \varGamma \Vert x^0\Vert \quad \forall \, t \in \mathbb R_+. \end{aligned}$$ 
(ii)
If \(d=0\) and there exist a strictly positive \(v \in \mathbb R^p_+\) and a lower semicontinuous function \(e : \mathbb R^p_+ \rightarrow \mathbb R_+\) such that
$$\begin{aligned} e(y) \; >0 \quad \text {and} \quad \vert \mathbf{G}(0) g(t,y) \vert _{v} + e(y) \; \le \vert y \vert _{v} \quad \forall \, t \in \mathbb R_+, \; \; \forall \, y \in \mathbb R^p_+\backslash \{0\}\, \end{aligned}$$(2.56)then, for all \(x^0 \in \mathbb R^n_+\), every global solution x of (2.53) satisfies \(x(t) \rightarrow 0\) as \(t \rightarrow \infty \).

(iii)
If there exist a strictly positive \(v \in \mathbb R^p_+\), \(\rho \in (0,1)\) and \(\varTheta \ge 0\) such that
$$\begin{aligned} \vert \mathbf{G}(0) g(t,y) \vert _{v} \le \rho \vert y \vert _{v} \quad \forall \, t \in \mathbb R_+, \; \; \forall \, y \in \mathbb R^p_+ \; \Vert y \Vert \ge \varTheta , \end{aligned}$$(2.57)then there exist \(\varGamma , \gamma >0\) such that, for all \(x^0 \in \mathbb R^n_+\) and all \(d \in L^\infty _\mathrm{loc}(\mathbb R_+ ; \mathbb R^n_+)\), every global solution x of (2.53) satisfies
$$\begin{aligned} \Vert x(t) \Vert \le \varGamma \Big ( \mathrm {e}^{\gamma t} \Vert x^0\Vert + \Vert d(\tau )\Vert _{L^\infty (0,t)} + \beta \Big )\quad \forall \, t \in \mathbb R_+. \end{aligned}$$Here
$$\begin{aligned} \beta = \beta (\varTheta ) = \Vert B \Vert \sup _{\Vert y \Vert \le \varTheta } \left( \sup _{t \ge 0} \Big (\mathrm{dist}{ }\big (g(t, y),T(t,y)\big )\Big ) \right) , \end{aligned}$$and
$$\begin{aligned} T(t,y) := \big \{ w \in [0, g(t,y)] \subseteq \mathbb R^m_+ {:} \, \mathbf{G}(0)w_v\le \rho y_v \big \}. \end{aligned}$$
The following remark provides some commentary on the above corollary.
Remark 2.14
As the conditions (2.55)–(2.57) are assumed to hold uniformly in the first variable, for ease of presentation the following comments suppress this variable.

(a)
In the situation where \(m=p=1\) and g is continuous, the conditions (2.55), (2.56) and (2.57) (the latter with \(\varTheta =0\)) simplify to:
$$\begin{aligned} \mathbf{G}(0) g(y) \le y, \quad \mathbf{G}(0) g(y) < y \; (\text {for }y >0) \quad \text {and} \quad \mathbf{G}(0) g(y) \le \rho y \quad \forall \, y \in \mathbb R_+, \end{aligned}$$respectively.

(b)
When \(m=p\), a sufficient condition for (2.55) or (2.57) are the inequalities
$$\begin{aligned} \Vert \mathbf{G}(0) \Vert _v \Vert g\Vert _v \le 1 \quad \text {or} \quad \Vert \mathbf{G}(0) \Vert _v \Vert g\Vert _v < 1, \end{aligned}$$(2.58)respectively, where
$$\begin{aligned} \Vert \mathbf{G}(0) \Vert _v := \sup _{\begin{array}{c} \xi \in \mathbb R^m_+ \\ \xi \ne 0 \end{array}} \frac{\vert \mathbf{G}(0)\xi \vert _{v}}{\vert \xi \vert _{v}} \quad \text {and} \quad \Vert g \Vert _v := \sup _{\begin{array}{c} \xi \in \mathbb R^m_+ \\ \xi \ne 0 \end{array}} \frac{\vert g(\xi ) \vert _{v}}{\vert \xi \vert _{v}}, \end{aligned}$$are the induced vnorms. The inequalities in (2.58) are reminiscent of classical smallgain conditions, only here formed in the induced vnorm. We note that in general, \(\Vert \mathbf{G}(0) \Vert _v \ne \Vert \mathbf{G}(0) \Vert _2 = \Vert \mathbf{G}\Vert _{H^\infty }\), where the final equality is a property enjoyed by linear positive systems; see, for example [24, Theorem 5].

(c)
The conclusions of statements (i) and (ii) of Corollary 2.13 are similar to those in [58, Theorem 7.2] or [1, Theorem 5.6, p. 156], where a linear dissipativity theory approach to the absolute stability of positive Lur’e systems is taken. In [58, Theorem 7.2] the authors assume that the pair (C, A) is observable, and that the nonlinearity g satisfies \(0 \le g(y) \; \le My\) for all \(y \in \mathbb R^p_+\), for some nonnegative matrix \(M \in \mathbb R^{m \times p}_+\). Further, it is assumed that the triple (A, B, C) is exponentially linearly dissipative with respect to the supply rate \(s(u,y) = \mathbb {1}^T u  \mathbb {1}^T My\), which is equivalent to the inequality
$$\begin{aligned} \mathbb {1}^T M\mathbf{G}(0) \ll \mathbb {1}^T. \end{aligned}$$(2.59)The inequality (2.59) is itself equivalent to \(\vert M \mathbf{G}(0) \vert _{\mathbb {1}} = \Vert M \mathbf{G}(0) \Vert _1 < 1\) and may be interpreted as a smallgain condition in the induced the onenorm. Although not directly comparable, our norm conditions in (i)–(iii) are more general as they allow a smallgain condition in a weighted onenorm induced by any strictly positive vector, not just the usual onenorm, see Example 4.3. Finally, we remark that [58] focusses on unforced systems only. \(\square \)
Discretetime systems
In this section we turn attention to the systems of forced Lur’e difference inclusions (1.4) with properties:
 (B1):

\((A,B,C) \in \mathbb R^{n \times n}_+ \times \mathbb R^{n\times m}_+ \times \mathbb R^{p \times n}_+\), \(D : \mathbb N_0 \rightarrow P_0(\mathbb R^n_+)\) and \(F : \mathbb R^p_+ \rightarrow P_0(\mathbb R^m_+)\);
 (B2):

\(r(A)<1\);
where F is also assumed to satisfy (A3). Given \(x^0 \in \mathbb R^n_+\) and \(D : \mathbb N_0 \rightarrow P_0(\mathbb R^n_+)\), a function \(x:\mathbb N_0 \rightarrow \mathbb R^n_+\) satisfying (1.4) is called a solution of (1.4), the guaranteed existence of which is not a concern in discretetime. As with the continuoustime setting, assumption (A3) implies that \(x = 0, D = \{0\}\) is a solution of (1.4) with \(x^0 = 0\) which we refer to as the zero equilibrium pair. We comment that “loopshifting”, see (2.7), is also possible in discretetime, particularly if (B2) fails, by replacing A and F by \(A+BKC\) and \(y\mapsto F(y) Ky\), respectively, for \(K \in \mathbb R^{m \times p}\).
Our main result of this section contains a series of global stability (when \(D=\{0\}\)) and ISS results for (1.4), formulated in terms of induced weighted onenorm constraints. As before, let \(\mathbf{G}\) denote the transfer function of the triple (A, B, C) with \(\mathbf{G}(1) = C(IA)^{1}B\). Assumption (B2) implies that \(\mathbf{G}(1)\) is welldefined and together with (B1) implies that \(\mathbf{G}(1) \in \mathbb R^{p \times m}_+\).
Theorem 3.1
Given the Lur’e difference inclusion (1.4), assume that (B1), (B2) and (A3) hold.

(i)
If \(D=\{0\}\) and there exists a strictly positive \(v \in \mathbb R^p_+\) such that
$$\begin{aligned} \vert \mathbf{G}(1) w \vert _{v} \le \vert y \vert _{v} \quad \forall \; w \in F(y) \; \; \forall \, y \in \mathbb R^p_+, \end{aligned}$$(3.1)then there exists \(\varGamma >0\) such that, for all \(x^0 \in \mathbb R^n_+\), every solution x of (1.1) satisfies
$$\begin{aligned} \Vert x(t) \Vert \le \varGamma \Vert x^0\Vert \quad \forall \, t \in \mathbb N_0. \end{aligned}$$ 
(ii)
If \(D=\{0\}\) and there exist a strictly positive \(v \in \mathbb R^p_+\) and a lower semicontinuous function \(e : \mathbb R^p_+ \rightarrow \mathbb R_+\) such that
$$\begin{aligned} e(y) \; >0 \quad \text {and} \quad \vert \mathbf{G}(1) w \vert _{v} +e(y) \; < \vert y \vert _{v} \quad \forall \; w \in F(y) \; \; \forall \, y \in \mathbb R^p_+{\setminus }\{0\}, \end{aligned}$$then, for all \(x^0 \in \mathbb R^n_+\), every solution x of (1.1) satisfies \(x(t) \rightarrow 0\) as \(t \rightarrow \infty \).

(iii)
If there exist a strictly positive \(v \in \mathbb R^p_+\) and \(\rho \in (0,1)\) such that
$$\begin{aligned} \vert \mathbf{G}(1) w \vert _{v} \le \rho \vert y \vert _{v} \quad \forall \; w \in F(y) \; \; \forall \, y \in \mathbb R^p_+, \end{aligned}$$(3.2)then there exist \(\varGamma >0\) and \(\gamma \in (0,1)\) such that, for all \(x^0 \in \mathbb R^n_+\) and all \(D: \mathbb N_0 \rightarrow P_0(\mathbb R^n_+)\), every solution x of (1.1) satisfies
$$\begin{aligned} \Vert x(t) \Vert \le \varGamma \big ( \gamma ^t \Vert x^0\Vert + \max _{\tau \in \underline{t1}} {\left \left \left D(\tau ) \right \right \right }\big ) \quad \forall \, t \in \mathbb N. \end{aligned}$$(3.3)
Statements (i), (ii) and (iii) of Theorem 3.1 imply that, with \(D=\{0\}\), the zero equilibrium of (1.4) is stable in the large, globally asymptotically stable and globally exponentially stable, respectively. Moreover, statement (iii) implies that the zero equilibrium pair of (1.4) is exponentially ISS.
Proof of Theorem 3.1
Throughout the proof let x denote a solution of (1.4) for given \(x^0 \in \mathbb R^n_+\).
(i): The inequality (3.1) implies that
Multiplying both sides of (1.4) by \(v^TC(IA)^{1}\), subtracting \(v^TC(IA)^{1}x(t)\) and invoking (3.4) yields
so that
Furthermore, as \(A\ge 0\) and \(r(A) <1\),
and hence, arguing inductively in (3.5), we see that
Consequently, there exists \(P>0\) such that
As \(r(A)<1\), statement (i) now follows from the variation of parameters inclusion
(which is easily established from (1.4) via induction on t), the estimate (3.6) and (A3).
(ii): Our hypotheses ensure that statement (i) holds, in particular meaning that every global solution is bounded. It is sufficient to show that \(Cx(t) \rightarrow 0\) as \(t \rightarrow \infty \), as then \(x(t) \rightarrow 0\) as \(t\rightarrow 0\) by (3.7), (B2) and (A3). To that end, fix \(x^0 \in \mathbb R^n_+ {\setminus }\{0\}\) and, seeking a contradiction, suppose that \(Cx(t) \not \rightarrow 0\) as \(t \rightarrow \infty \), implying that there exists \((t_k)_{k \in \mathbb N_0} \subseteq \mathbb N\) with \(t_k \nearrow \infty \) as \(k \rightarrow \infty \) and \(\varepsilon > 0\) such that
Invoking statement (i), we conclude further that
and so \(Cx(t_k) \in \mathcal {M}\) for all \(k \in \mathbb N_0\), with \(\mathcal {M}\) defined as in (2.21). We claim that there exists \(\eta >0\) such that
The proof of (3.8) is identical to that of (2.22), and hence is omitted.
Next note that, by (3.5), the nonnegative sequence \((v^TC(IA)^{1}x(t))_{t \in \mathbb N_0}\) is nonincreasing and thus convergent. We now estimate that
where the final inclusion follows from (3.8). As a consequence,
which contradicts the convergence of \((v^TC(IA)^{1}x(t))_{t \in \mathbb N_0}\).
(iii): Fix \(x^0 \in \mathbb R^n_+\), locally bounded \(D: \mathbb N_0 \rightarrow P_0(\mathbb R^n_+)\) and let \(\varepsilon >0\) be such that \(\kappa := \rho + \varepsilon <1\). Since \(r(A)<1\) and \(\mathbf{G}\) is continuous at 1, there exists \(\delta \in (0,1)\) such that
where \(c_1,c_2 >0\) are the constants in (2.24). Thus, for fixed \(\gamma \in (1/(1+\delta ),1)\) we note that \(\mathbf{G}(\gamma ) \ge 0\) and, further, for \(y \in \mathbb R^p_+\) and \(w \in F(y) \;\)
where we have used (A3), (2.24), (3.2) and (3.9). Multiplying both sides of the above inequality by \(\gamma ^{t}\), and taking \(y = \gamma ^t \xi \) for \(\xi \in \mathbb R^p_+\), we see that
or, equivalently,
Define \(z(t):= \gamma ^{t} x(t)\) and \(H(t) : = v^T C(I\gamma ^{1}A)^{1} \gamma ^{(t+1)}D(t)\) for \(t \in \mathbb N_0\). An elementary calculation using (1.4) shows that
Multiplying both sides of (3.11) by \(v^T C(I\gamma ^{1}A)^{1} \) and invoking (3.10), we have that
whence
Defining \(E(t) := [ v^T C z(t), (\kappa 1) v^T Cz(t)] \) for \(t \in \mathbb N_0\), it follows from (3.12) that there exist selections \(\zeta \) and \(\eta \) of E and H, respectively, such that
Consequently,
Noting that, by construction, for \(\theta \in (0, 1\kappa )\)
we infer from (3.13) that
A straightforward estimate shows that there exists \(K>0\) such that
where
In light of (3.14) and (3.15) we may infer the existence of \(K_1, K_2 >0\), independent of \(x^0\), t and D, such that
Invoking (3.11), z satisfies the following inclusion
which, by (A3) and (3.9), may be estimated as follows:
for positive constants \(K_3, K_4\) and \(K_5\), independent of \(x^0\), t and D. Inserting (3.16) into (3.17) establishes the claim with \(\varGamma := \max \big \{ K_3 + K_1 K_4, K_5 + K_2 K_4\big \}\), as required. \(\square \)
Remark 3.2
In Sect. 2 we obtained two corollaries to Theorem 2.5—stability of certain nonautonomous differential inclusions and boundedness of solutions when the linear constraint (2.9) fails on a compact set, formulated as Corollary 2.9 and Corollary 2.12, respectively. The corresponding discretetime versions of these results also hold mutatis mutandis, but, for the sake of brevity, are not formally stated. \(\square \)
Lur’e difference equations and inequalities
In parallel to Sect. 2.3, attention in the control theory literature has been devoted to the study of (forced) positive Lur’e difference equations of the form
where \(g : \mathbb N_0 \times \mathbb R^p_+ \rightarrow \mathbb R^m_+\) and \(d : \mathbb N_0 \rightarrow \mathbb R^n_+\). It is also of interest to study the stability properties of solutions of positive Lur’e difference inequalities, that is,
of which (3.18) is a special case. Both (3.18) and (3.19) are special cases of the forced positive Lur’e differential inclusion (1.4) with respective F defined analogously to those in Sect. 2.3.
The current section pertains to the difference inequalities (3.19) and we present a suite of discretetime stability results which forms the discretetime analogue of Corollary 2.13. The discretetime version of the linear bound (2.54) is
for some \(R >0\).
Corollary 3.3
Given the forced positive Lur’e difference inequality (3.19), assume that (B1) and (B2) hold and that g satisfies (3.20).

(i)
If \(d=0\) and there exists a strictly positive \(v \in \mathbb R^p_+\) such that
$$\begin{aligned} \vert \mathbf{G}(1) g(t,y) \vert _{v} \le \vert y \vert _{v} \quad \forall \, y \in \mathbb R^p_+, \; \forall \, t \in \mathbb N_0, \end{aligned}$$then there exists \(\varGamma >0\) such that, for all \(x^0 \in \mathbb R^n_+\), every solution x of (2.53) satisfies
$$\begin{aligned} \Vert x(t) \Vert \le \varGamma \Vert x^0\Vert \quad \forall \, t \in \mathbb N_0. \end{aligned}$$ 
(ii)
If \(d=0\) and there exist a strictly positive \(v \in \mathbb R^p_+\) and a lower semicontinuous function \(e : \mathbb R^p_+ \rightarrow \mathbb R_+\) such that
$$\begin{aligned} e(y) \; >0 \quad \text {and} \quad \vert \mathbf{G}(1) g(t,y) \vert _{v} + e(y) \; \le \vert y \vert _{v} \quad \forall \, y \in \mathbb R^p_+{\setminus }\{0\}, \; t \in \mathbb N_0, \end{aligned}$$then, for all \(x^0 \in \mathbb R^n_+\), every solution x of (3.19) satisfies \(x(t) \rightarrow 0\) as \(t \rightarrow \infty \).

(iii)
If there exist a strictly positive \(v \in \mathbb R^p_+\), \(\rho \in (0,1)\) and \(\varTheta \ge 0\) such that
$$\begin{aligned} \vert \mathbf{G}(1) g(t,y) \vert _{v} \le \rho \vert y \vert _{v} \quad \forall \, y \in \mathbb R^p_+, \; \; \Vert y \Vert \ge \varTheta , \; \forall \, t \in \mathbb N_0, \end{aligned}$$then there exist \(\varGamma >0\), \(\gamma \in (0,1)\) such that, for all \(x^0 \in \mathbb R^n_+\) and all \(d \in \ell ^\infty _\mathrm{loc}(\mathbb N_0 ; \mathbb R^n_+)\), every solution x of (3.19) satisfies
$$\begin{aligned} \Vert x(t) \Vert \le \varGamma \Big ( \gamma ^{t} \Vert x^0\Vert + \max _{\tau \in \underline{t1}}\Vert d(\tau ) \Vert + \beta \Big )\quad \forall \, t \in \mathbb N. \end{aligned}$$Here
$$\begin{aligned} \beta = \beta (\varTheta ) = \Vert B \Vert \sup _{\Vert y \Vert \le \varTheta } \left( \sup _{t \in \mathbb N_0} \Big (\mathrm{dist}{ }\big (g(t, y),T(t,y)\big )\Big ) \right) , \end{aligned}$$and
$$\begin{aligned} T(t,y) := \big \{ w \in [0, g(t,y)] \subseteq \mathbb R^m_+ {:} \, \mathbf{G}(1)w_v\le \rho y_v \big \}. \end{aligned}$$
We conclude this section with some commentary on the discretetime Lur’e system (3.18), and compare our results with others available in the literature.
Remark 3.4

(a)
Note that if \(\varTheta =0\) in statement (iii) of Corollary 3.3, then \(\beta (\varTheta ) = 0\) and the zero equilibrium pair of the Lur’e difference inequality (3.19) is exponentially ISS, that is, (3.3) holds. Consequently, if \(\varTheta =0\), then the zero equilibrium of the unforced (\(d=0\)) Lur’e difference inequality is globally exponentially stable.

(b)
The comments in Remark 2.14 pertaining to the continuoustime result Corollary 2.13 have discretetime analogues in the context of Corollary 3.3. To avoid repetition, we do not repeat them here, other than noting that the statements (i)–(iii) of Corollary 3.3 are similar to [59, Theorem 15], where different assumptions are made to those made here.

(c)
Corollary 3.3 demonstrates that the weighted onenorm constraints imposed in (i)–(iii) are sufficient for respective notions of absolute stability. We claim that when \(m=p=1\), the conclusions of statements (ii) and (iii) do not hold if their hypotheses are not satisfied. To that end, consider (3.18) with \(m=p=1\), \(d=0\) and a linear function \(y \mapsto g(y) \; = \beta y\), for some \(\beta >0\). Suppose further that \(\beta \) and \(\mathbf{G}(1)\) are such that (3.1) holds with equality (for any \(0 \ll v^T\)—when \(p=1\), v appears as a multiplicative scalar on both sides), that is,
$$\begin{aligned} \mathbf{G}(1) \beta y = y \quad \forall \, y \ge 0. \end{aligned}$$Clearly, \(\beta \) and \(\mathbf{G}(1)\) must be related by
$$\begin{aligned} \beta = \frac{1}{\mathbf{G}(1)} = \frac{1}{\Vert \mathbf{G}\Vert _{H^\infty }}, \end{aligned}$$and it is straightforward to prove that \(r(A+\beta b c^T) = 1\) meaning that \(\beta \) is a destabilising perturbation. In particular, (3.18) becomes
$$\begin{aligned} x(t+1) = \left( A + \beta bc^T\right) x(t), \quad x(0) = x^0, \quad t\in \mathbb N_0, \end{aligned}$$and so \(\Vert x(t) \Vert \not \rightarrow 0\) as \(t \rightarrow \infty \) in general (dependent on \(x^0\)). We note that statement (i) of Corollary 3.3 holds, but that statements (ii) and (iii) do not. More generally, for arbitrary \(g : \mathbb R_+ \rightarrow \mathbb R_+\), whenever \(y^* >0\) is such that
$$\begin{aligned} \mathbf{G}(1) g(y^*) = y^*, \end{aligned}$$(3.21)in particular meaning that the estimates in both (ii) and (iii) do not hold, then \(x^* := (IA)^{1} B g(y^*)\) is a nonzero equilibrium of (3.18) and the zero equilibrium of (3.18) cannot then be globally asymptotically or exponentially stable. The papers [49, 64] consider attractivity and stability properties of the nonzero equilibrium \(x^*\) when \(m = p =1\) and under conditions on A, B, C and g which ensure that \(y^* >0\) in (3.21) is unique. \(\square \)
Remark 3.5
We provide some commentary comparing our results with material from the positive systems and control literature. The paper [63] (see also [65]) considers ISS for forced monotone dynamical systems, including those of the form
where \(\varGamma : \mathbb R^n_+ \times \mathbb R^m_+ \rightarrow \mathbb R^n_+\) satisfies \(\varGamma (0,0) = 0\) and is monotone increasing, that is,
Clearly, in the case that the discretetime Lur’e system (3.18) is autonomous, then it is an instance of (3.22) with \(n=m\) and
Moreover, if \(g : \mathbb R^p_+ \rightarrow \mathbb R^m_+\) is continuous and monotone with \(g(0) =0\), then \(\varGamma \) defined by (3.23) is continuous, monotone and satisfies \(\varGamma (0,0) =0\). It is straightforward to prove that, under the assumptions of Corollary 3.3, if the first inequality in statement (iii) of Corollary 3.3 holds with \(\varTheta =0\), then \(\varGamma \) given by (3.23) satisfies the inequality [63, Eq. (17)]. Hence, by [63, Theorem 3], it follows that the zero equilibrium pair of (3.18) is ISS. Similarly, in the unforced case, it can be shown that the first inequality in statement (ii) of Corollary 3.3 implies that
and so global asymptotic stability of the zero equilibrium of (3.18) may be inferred from [62, Proposition 5.12]. Thus there is partial overlap between our results and those of [62, 63], in the special case that the Lur’e system under consideration is monotone. By way of contrast, we comment that the positive Lur’e systems considered throughout the current paper, although positive, need not be monotone. \(\square \)
Examples
We consider three worked examples.
Example 4.1
We consider stabilisation of singleinput singleoutput (SISO) continuoustime, linear positive systems by quantised output feedback. Given
where, as usual, u, x, y and d denote the input, state, output and exogenous disturbance, respectively, suppose that \(A \in \mathbb R^{n \times n}\) is Metzler and \(b, c \in \mathbb R^n_+\) are nonnegative, that \(x^0 \in \mathbb R^n_+\), and that \(\alpha (A) \ge 0\), meaning that the uncontrolled linear system is unstable. The control objective is to stabilise (4.1) by static output feedback which is subject to quantisation. Specifically, for fixed \(\tau >0\), consider the upper semicontinuous quantisation function \(q :\mathbb R_+ \rightarrow \mathbb R_+\) defined by
which is a coarse underestimate of the identity function \(y \mapsto y\), and an example of which is plotted in Fig. 2a.
We assume that \(\mathbf{G}\ne 0\), where \(\mathbf{G}\) is the transfer function of (4.1), and that there is a feedbackgain \(k>0\) such that \(Akbc^T\) is Metzler and Hurwitz. With these assumptions we seek to apply Theorem 2.11 or Corollary 2.12 to investigate stability properties of the zero equilibrium of the linear system (4.1) in feedback connection with the quantised output feedback \(u = kq(y)\), together with the requirement that \(x(t) \in \mathbb R^n_+\) for all \(t \in \mathbb R^n_+\). The feedback connection may be formally written as
Associated with q and k is the setvalued function \(H_k : \mathbb R_+ \rightarrow P_0(\mathbb R_+)\), given by
which “fills in the jumps” in kq with closed intervals and leads to the differential inclusion for x
where \(D := \{d\}\). To fit our current framework of positive Lur’e inclusions, we rewrite (4.3) as
which is in the form (1.3) with A replaced by \(Akbc^T\) and \(F: \mathbb R_+ \rightarrow P_0(\mathbb R^n_+)\) given by \(F(y) := ky  H_k(y)\), which is plotted in Fig. 2b.
By our hypothesis on k and construction of \(H_k\), assumptions (A1)–(A3) are satisfied by the Lur’e inclusion (4.4). Further, F has compact values and is upper semicontinuous (which is readily verified or see, for example [26, Example 1.3, p. 5]) and D is locally bounded, measurable, with closed, convex values. Therefore, by Proposition 2.10, for every \(x^0 \in \mathbb R^n_+\), there is a global solution of (4.4) which satisfies \(x(t) \in \mathbb R^n_+\) for all \(t \in \mathbb R_+\).
Let \(\mathbf{G}_k\) denote the transfer function of the triple \((Abkc^T, b, c^T)\), that is,
We have that \(\mathbf{G}_k(0) = \Vert \mathbf{G}_k\Vert _{H^\infty }\) is positive (indeed, we have that \(\mathbf{G}= 0\) if, and only if, \(\mathbf{G}_k = 0\)).
For simplicity, assume that \(\mathbf{G}\) is defined at zero.^{Footnote 1} We consider two exhaustive cases. If \(\mathbf{G}(0) \ge 0\), then \(\mathbf{G}_k(0) = \mathbf{G}(0)/(1+k\mathbf{G}(0)) = \rho /k\) for some \(\rho \in [0,1)\), and noting from Fig. 2b that
it follows that Theorem 2.11 applies and the zero equilibrium of (4.3) is exponentially ISS, which implies that A is Hurwitz, which is false by hypothesis. We conclude that \(\mathbf{G}(0) < 0\), so that \(\mathbf{G}_k(0) > 1/k\) and by choosing \(\rho = \mathbf{G}_k(0)(k\theta ) \in (0,1)\) for \(\theta \) sufficiently close to k, in light of Fig. 2b it follows that
Corollary 2.12 now applies, so that the zero equilibrium of (4.3) is exponentially ISS with bias, here with \(\varTheta \) in that result equal to \(\tau \) and
which, note, is a linear function of \(\tau \).
For a numerical simulation, consider (4.1) with the following
Upon inspection, we see that \(k =2\) renders \(AkBC = A2BC\) Metzler with \(\alpha (A  2BC) = 0.172 <0\), so that \(k=2\) is stabilising. Figure 3 plots solutions of (4.3) with \(k=2\) for several \(\tau >0\), subject to a nonnegative, periodic disturbance d given by
The norm of the state decreases with decreasing \(\tau \), corresponding to finer quantisation. For comparison, Fig. 3 also contains a plot of the solution of (4.1) subject to the output feedback \(u = ky\) (without quantisation).
We conclude by summarising that “linear positive stability”, that is, \(Akbc^T\) Metzler and Hurwitz, is sufficient to ensure that the zero equilibrium pair of the closedloop quantised feedback system is ISS with bias and the state remains positive. Consequently, the problem is one of static output feedback control design for linear positive systems via the choice of k, which has been considered in, for example [21]. Observe that the constant \(\varGamma \) depends only on A, b, c, k and \(\rho \in (0,1)\). Clearly, \(\beta \) is a decreasing function of \(\tau \), which captures the coarseness of the quantisation, and, as such, the ISS with bias bound for \(\Vert x(t) \Vert \) decreases (viz. improves) with decreasing \(\tau \), or finer quantisation, as we would expect, and as seen in Fig. 3. \(\square \)
Example 4.2
Consider the following model for a population partitioned into \(n \in \mathbb N\), \(n \ge 3\), discrete stageclasses:
Here \(x_i(t)\) denotes the abundance or distribution of the ith stageclass at timestep t. The \(s_i\) and \(h_i\) are probabilities denoting survival (or stasis) within a stageclass, and growth into the next stageclass, respectively. As such \(s_i, h_j \in (0,1]\) and \(s_j + h_j \le 1\) for all \(i \in \{1,2,\ldots ,n\}\) and \(j \in \{2,\ldots ,n1\}\). The \(c_i\) terms are nonnegative constants which capture the fecundity of the ith stageclass. The setvalued functions \(F_1\) and \(F_2\) capture percapita reproduction and percapital survival rates, respectively, and are modelled thus to accommodate for uncertainty in accurately describing these processes. If \(F_1\) and \(F_2\) are constant singletonvalued functions, meaning that there is no densitydependence, then (4.7) may be expressed as matrix population projection model, see [70]. We are assuming, as is often the case, that recruitment is into the first stageclass, which typically denotes eggs, juveniles or seeds, in an insect, animal or plant model, respectively.
Finally, \(u_1, u_2\) and \(u_3\) are forcing (controls or disturbances) affecting the reproductive rates, the number of offspring of reproductive individuals and the number of individuals which transition from the first to second stageclasses, respectively. They are modelled to act multiplicatively so that, in particular, \(u_1 = u_2 = u_3 \equiv 1\) corresponds to the absence of forcing. In an animal model, to reduce a population, the term \(u_1(t) <1 \) could reflect applying contraceptives to (a proportion of) the population, for instance, and \(u_2(t) <1\) could model the removal of new juvenile members of the population, whilst \(u_3(t) <1\) corresponds to the removal of members of the population which are transitioning from first stage class into the second, perhaps by culling, harvesting or moving individuals.
For constant \(u_1, u_2\) and \(u_3\), the model (4.7) may be written in the form of (1.4) with
For ease of exposition in the present example, we address the following problem: assuming that
for functions \(f_1^,f_1^+, f_2^, f_2^+ : \mathbb R_+ \rightarrow \mathbb R_+\) which satisfy
find conditions on \(\mathbf{G}(1), F_1, F_2, u_1, u_2\) and \(u_3\) such that zero equilibrium of (4.7) is stable. The functions \(f_1^,f_1^+, f_2^, f_2^+\) are typically assumed to be continuous, nonnegative valued and either sublinear for large arguments or bounded. These latter qualitative properties seek to model densitydependent crowding, saturation and competition effects in the population, particularly at large abundances.
It is clear that A, B and C satisfy (B1) and as \(\sigma (A) = \{s_1,\ldots , s_n\}\), it follows that A satisfies (B2). An elementary calculation shows that
where \(\alpha _1,\alpha _2, \alpha _3 \ge 0\). To apply Theorem 3.1, we require \(v^T = \begin{pmatrix}v_1&v_2 \end{pmatrix} \gg 0\) and \(\rho \in [0, 1]\) such that
and, without loss of generality, we may assume that \(v_1 =1\). If \(\rho =1\), then statement (i) of Theorem 3.1 applies and if \(\rho <1\), then statement (iii) of Theorem 3.1 applies. Expanding the above inequality, we require \(v_2 >0\) such that
Using the definition of F, we see that (4.8) holds if
or, equivalently, if
It follows that (4.9) is a sufficient condition for stability of the zero equilibrium which is independent of the lower bounds \(f_1^\) and \(f_2^\) for F. Indeed, the “worst case” scenario from the point of view of destabilising the zero equilibrium corresponds to the upper bounds \(f_1^+\) and \(f_2^+\) for F, which both appear in (4.9). Furthermore, if \(f_1^+\) and \(f_2^+\) are assumed bounded, then (4.9) can be satisfied for \(\rho <1\), if \(u_2\) and \(u_3\) are sufficiently small. Recall that in the present context control acts multiplicatively, and so “small” \(u_2\) and \(u_3\) correspond to “large” control efforts. For fixed \(\alpha _i\), \(f_i^+\) and \(\rho \), the first inequality in (4.9) may be satisfied by making \(u_2\) sufficiently small. There is then some freedom in how small \(u_3\) has to be to satisfy the second inequality, through the choice of \(v_2\), which itself may be large. However, we note that the functions \(z \mapsto f_1^+(z)\) and \(z \mapsto f_1^+(u_1z)\) have the same image for each fixed positive \(u_1\), and hence \(u_1\) alone cannot necessarily guarantee that the first inequality in (4.9) is satisfied—and small \(u_2\) may be required as well. Arguably these observations would have not been as apparent from the difference equations (4.7) alone. \(\square \)
Example 4.3
To illustrate the difference between Corollary 2.13 and the absolute stability results of [58], we consider (2.52), with \(n=m=p=2\) and
where \(\alpha , \beta ,\gamma , \delta >0\) are parameters. Throughout this example we are considering the unforced version of (2.52), and so assume that \(d = 0\) in (2.52). A positive, stable realisation of \(\mathbf{G}\) is
which clearly satisfies assumptions (A1), (A2). It is readily seen that (A3) holds as well. We seek conditions on \(\alpha , \beta ,\gamma , \delta >0\) which ensure that there exists a strictly positive \(v^T = \begin{pmatrix}v_1&v_2 \end{pmatrix} \in \mathbb R^2_+\) such that
which, by statement (ii) of Corollary 2.13 guarantees that the zero equilibrium of (2.52) with model data (4.10) is globally asymptotically stable. Note that there is no loss of generality in assuming that \(v_1 =1\) and, expanding the above expression, we require that \(\alpha , \beta ,\gamma , \delta \) and \(v_2\) satisfy
which is certainly satisfied if
In order to apply [58, Theorem 7.2] we require \(M \in \mathbb R^{2 \times 2}_+\) such that
The first condition necessitates that
and so substituting \(M=N\) into the second condition yields
which corresponds to taking \(v_2 = 1\) in (4.11). Clearly, if \(\beta + \delta \ge 1\), then (4.12) cannot hold, but if \(\beta ,\gamma <1\) and
then (4.11) holds, and so statement (ii) of Corollary 2.13 applies. Similar examples may be constructed in discretetime. \(\square \)
Discussion
Global stability of the zero equilibrium of systems of positive Lur’e differential and difference inclusions has been considered. We have also considered inputtostate stability of the zero equilibrium pair of these inclusions when subject to exogenous forcing. Under rather mild assumptions on the setvalued term F, results available in the literature germane to the existence of local solutions of differential inclusions are readily applicable in the present context. Therefore, in the continuoustime case, we have focussed on stability of global solutions, and have presented conditions in terms of weighted onenorms of the “product” \(\mathbf{G}(0)F(y)\) of the steadystate gain \(\mathbf{G}(0)\) and setvalued nonlinearity F, reminiscent of classical smallgain conditions, which are sufficient for global stability properties, including ISS for forced inclusions. As we commented in Remark 2.6, sufficient conditions for the smallgain estimates are the existence of suitable nonnegative matrices M such that linear constraints of the form \(\mathbf{G}(0)w \le My\) for all \(w \in F(y)\) and \(y \in \mathbb R^p_+\) hold. The stability conditions presented guarantee existence of global solutions provided standard assumptions for existence of local solutions are satisfied. Our main results are Theorems 2.5 and 2.11 in the continuoustime case, and Theorem 3.1 in discretetime. As corollaries we obtained a socalled ISS with bias result, Corollary 2.12, for forced inclusions where the smallgain condition fails on some bounded set, and suites of stability results for systems of positive Lur’e differential and difference equations and inequalities, Corollaries 2.13 and 3.3. Two key differences to our earlier work, notably [60], is that the linear components of the Lur’e inclusions are multivariable and, second, here we consider differential inclusions, rather than differential equations. Comparisons to other relevant results available in the literature appear in Remarks 2.14, 3.4 and 3.5 and worked Examples were presented in Sect. 4.
Notes
Although this assumption is not needed, it eases exposition.
References
Haddad, W.M., Chellaboina, V., Hui, Q.: Nonnegative and Compartmental Dynamical Systems. Princeton University Press, Princeton (2010)
Krause, U.: Positive Dynamical Systems in Discrete Time. De Gruyter, Berlin (2015)
Berman, A., Neumann, M., Stern, R.J.: Nonnegative Matrices in Dynamic Systems. Wiley, New York (1989)
Krasnosel’skij, M.A., Lifshits, J.A., Sobolev, A.V.: Positive Linear Systems: The Method of Positive Operators. Heldermann Verlag, Berlin (1989)
Berman, A., Plemmons, R.J.: Nonnegative Matrices in the Mathematical Sciences. SIAM, Philadelphia (1994)
Luenberger, D.G.: Introduction to Dynamic Systems: Theory, Models, and Applications. Wiley, New York (1979)
Gaubert, S., Gunawardena, J.: The Perron–Frobenius theorem for homogeneous, monotone functions. Trans. Am. Math. Soc. 356, 4931–4950 (2004)
Sine, R.: A nonlinear Perron–Frobenius theorem. Proc. Am. Math. Soc. 109, 331–336 (1990)
Lemmens, B., Nussbaum, R.: Nonlinear Perron–Frobenius Theory. Cambridge University Press, Cambridge (2012)
Smith, H.L.: Monotone Dynamical Systems. American Mathematical Society, Providence (1995)
Hirsch, M.W., Smith, H.: Monotone dynamical systems. In: Cañada, A., Drábek, P., Fonda, A. (eds.) Handbook of Differential Equations: Ordinary Differential Equations, vol. II, pp. 239–357. Elsevier B.V., Amsterdam (2005)
Hirsch, M.W., Smith, H.L.: Monotone maps: a review. J. Difference Equ. Appl. 11, 379–398 (2005)
Farina, L., Rinaldi, S.: Positive Linear Systems: Theory and Applications. Wiley, New York (2000)
Rantzer, A.: Scalable control of positive systems. Eur. J. Control 24, 72–80 (2015)
Coxson, P.G., Shapiro, H.: Positive input reachability and controllability of positive systems. Linear Algebra Appl. 94, 35–53 (1987)
Caccetta, L., Rumchev, V.G.: A survey of reachability and controllability for positive linear systems. Ann. Oper. Res. 98, 101–122 (2001)
Härdin, H.M., van Schuppen, J.H.: Observers for linear positive systems. Linear Algebra Appl. 425, 571–607 (2007)
Ohta, Y., Maeda, H., Kodama, S.: Reachability, observability, and realizability of continuoustime positive systems. SIAM J. Control Optim. 22, 171–180 (1984)
Benvenuti, L., Farina, L.: A tutorial on the positive realization problem. IEEE Trans. Automat. Control 49, 651–664 (2004)
De Leenheer, P., Aeyels, D.: Stabilization of positive linear systems. Syst. Control Lett. 44, 259–271 (2001)
Roszak, B., Davison, E.J.: Necessary and sufficient conditions for stabilizability of positive LTI systems. Syst. Control Lett. 58, 474–481 (2009)
Hinrichsen, D., Pritchard, A.J.: Stability radii of linear systems. Syst. Control Lett. 7, 1–10 (1986)
Hinrichsen, D., Pritchard, A.J.: Stability radius for structured perturbations and the algebraic Riccati equation. Syst. Control Lett. 8, 105–113 (1986)
Son, N.K., Hinrichsen, D.: Robust stability of positive continuous time systems. Numer. Funct. Anal. Optim. 17, 649–659 (1996)
Aubin, J.P., Cellina, A.: Differential Inclusions. Springer, Berlin (1984)
Deimling, K.: Multivalued Differential Equations. Walter de Gruyter & Co., Berlin (1992)
Vrabie, I.I.: Differential Equations. World Scientific Publishing Co., Inc., River Edge (2004)
Liberzon, D.: Calculus of Variations and Optimal Control Theory. Princeton University Press, Princeton (2012)
Vinter, R.: Optimal Control. Birkhäuser, Boston (2000)
Clarke, F.H.: Optimization and Nonsmooth Analysis, 2nd edn. SIAM, Philadelphia (1990)
Aubin, J.P., Frankowska, H.: SetValued Analysis. Birkhäuser, Boston (1990)
Goebel, R., Sanfelice, R.G., Teel, A.R.: Hybrid dynamical systems: robust stability and control for systems that combine continuoustime and discretetime dynamics. IEEE Control Syst. Mag. 29, 28–93 (2009)
Ryan, E.P.: Discontinuous feedback and universal adaptive stabilization. In: Hinrichsen, D., Mårtensson, B. (eds.) Control of Uncertain Systems, pp. 245–258. Birkhäuser, Boston (1990)
Ryan, E.P.: On Brockett’s condition for smooth stabilizability and its necessity in a context of nonsmooth feedback. SIAM J. Control Optim. 32, 1597–1604 (1994)
Cortés, J.: Discontinuous dynamical systems: a tutorial on solutions, nonsmooth analysis, and stability. IEEE Control Syst. Mag. 28, 36–73 (2008)
Jayawardhana, B., Logemann, H., Ryan, E.: The circle criterion and inputtostate stability. IEEE Control Syst. Mag. 31, 32–67 (2011)
De Glas, M.: Exponential stability revisited. Int. J. Control 46, 1505–1510 (1987)
Liberzon, M.: Essays on the absolute stability theory. Autom. Remote Control 67, 1610–1644 (2006)
Vidyasagar, M.: Nonlinear Systems Analysis. SIAM, Philadelphia (2002)
Khalil, H.K.: Nonlinear Systems. Macmillan Publishing Company, New York (1992)
Haddad, W.M., Chellaboina, V.: Nonlinear Dynamical Systems and Control. Princeton University Press, Princeton (2008)
Bill, A., Guiver, C., Logemann, H., Townley, S.: The converginginput convergingstate property for Lur’e systems. Math. Control Signals Syst. 29, 1–50 (2017)
Briat, C.: Robust stability and stabilization of uncertain linear positive systems via integral linear constraints: \(L_1\)gain and \(L_\infty \)gain characterization. Int. J. Robust Nonlinear Control 23, 1932–1954 (2013)
Rantzer, A., Rüffer, B., Dirr, G.: Separable Lyapunov functions for monotone systems. In: 52nd IEEE Conference on Decision and Control, Florence (2013)
Sontag, E.D.: Smooth stabilization implies coprime factorization. IEEE Trans. Automat. Control 34, 435–443 (1989)
Sontag, E.D.: Input to State Stability: Basic Concepts and Results, in Nonlinear and Optimal Control Theory, pp. 163–220. Springer, Berlin (2008)
Sarkans, E., Logemann, H.: Inputtostate stability of Lur’e systems. Math. Control Signals Syst. 27, 439–465 (2015)
Jayawardhana, B., Logemann, H., Ryan, E.P.: Inputtostate stability of differential inclusions with applications to hysteretic and quantized feedback systems. SIAM J. Control Optim. 48, 1031–1054 (2009)
Townley, S., Rebarber, R., Tenhumberg, B.: Feedback control systems analysis of density dependent population dynamics. Syst. Control Lett. 61, 309–315 (2012)
Rebarber, R., Tenhumberg, B., Townley, S.: Global asymptotic stability of density dependent integral population projection models. Theor. Popul. Biol. 81, 81–87 (2012)
Smith, H.L., Thieme, H.R.: Persistence and global stability for a class of discrete time structured population models. Discrete Contin. Dyn. Syst. 33, 4627–4646 (2013)
Franco, D., Logemann, H., Perán, J.: Global stability of an agestructured population model. Syst. Control Lett. 65, 30–36 (2014)
Eager, E.A., Rebarber, R., Tenhumberg, B.: Global asymptotic stability of plantseed bank models. J. Math. Biol. 69, 1–37 (2014)
Taylor, C.M., Hastings, A.: Allee effects in biological invasions. Ecol. Lett. 8, 895–908 (2005)
Courchamp, F., Berec, L., Gascoigne, J.: Allee Effects in Ecology and Conservation. Oxford University Press, Oxford (2008)
Schreiber, S.J.: Allee effects, extinctions, and chaotic transients in simple population models. Theor. Popul. Biol. 64, 201–209 (2003)
Eager, E., Rebarber, R., Tenhumberg, B.: Choice of densitydependent seedling recruitment function affects predicted transient dynamics: a case study with platte thistle. Theor. Ecol. 5, 1–15 (2011)
Haddad, W.M., Chellaboina, V.: Stability and dissipativity theory for nonnegative dynamical systems: a unified analysis framework for biological and physiological systems. Nonlinear Anal. Real World Appl. 6, 35–65 (2005)
Haddad, W.M., Chellaboina, V.S., August, E.: Stability and dissipativity theory for discretetime nonnegative and compartmental dynamical systems. Int. J. Control 76, 1845–1861 (2003)
Bill, A., Guiver, C., Logemann, H., Townley, S.: Stability of nonnegative Lur’e systems. SIAM J. Control Optim. 54, 1176–1211 (2016)
Krause, U., Ranft, P.: A limit set trichotomy for monotone nonlinear dynamical systems. Nonlinear Anal. 19, 375–392 (1992)
Dashkovskiy, S., Rüffer, B.S., Wirth, F.R.: Discrete time monotone systems: criteria for global asymptotic stability and applications. In: Proceeding of 17th International Symposium on Mathematical Theory of Networks and Systems (Kyoto, Japan), pp. 89–97 (2006)
Rüffer, B.S., Sailer, R.: Inputtostate stability for discretetime monotone systems. In: Proceeding of 21st International Symposium Mathematical Theory of Networks and Systems (MTNS), pp. 96–102 (2014)
Franco, D., Guiver, C., Logemann, H., Peràn, J.: Semiglobal persistence and stability for a class of forced discretetime population models. Physica D 360, 46–61 (2017)
Rüffer, B.S.: Smallgain conditions and the comparison principle. IEEE Trans. Automat. Control 55, 1732–1736 (2010)
Plemmons, R.J.: \(M\)matrix characterizations. I. Nonsingular \(M\)matrices. Linear Algebra Appl. 18, 175–188 (1977)
Yakubovich, V.A., Leonov, G.A., Gelig, A.K.: Stability of Stationary Sets in Control Systems with Discontinuous Nonlinearities. World Scientific Publishing Co., Inc., River Edge (2004)
Jiang, Z.P., Teel, A.R., Praly, L.: Smallgain theorem for ISS systems and applications. Math. Control Signals Syst. 7, 95–120 (1994)
Sontag, E.D., Wang, Y.: New characterizations of inputtostate stability. IEEE Trans. Automat. Control 41, 1283–1294 (1996)
Caswell, H.: Matrix Population Models: Construction, Analysis, and Interpretation. Sinauer Associates, Sunderland (2001)
Acknowledgements
B. Rüffer has been supported by ARC grant DP160102138.
Author information
Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Guiver, C., Logemann, H. & Rüffer, B. Smallgain stability theorems for positive Lur’e inclusions. Positivity 23, 249–289 (2019). https://doi.org/10.1007/s1111701806052
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s1111701806052
Keywords
 Differential inclusion
 Exponential stability
 Inputtostate stability
 Lur’e systems
 Population biology
 Positive systems
Mathematics Subject Classification
 34A60
 37N35
 39A30
 47B65
 93D20