Advertisement

Positivity

pp 1–41 | Cite as

Small-gain stability theorems for positive Lur’e inclusions

  • Chris Guiver
  • Hartmut Logemann
  • Björn Rüffer
Open Access
Article
  • 60 Downloads

Abstract

Stability results are presented for a class of differential and difference inclusions, so-called positive Lur’e inclusions which arise, for example, as the feedback interconnection of a linear positive system with a positive set-valued static nonlinearity. We formulate sufficient conditions in terms of weighted one-norms, reminiscent of the small-gain condition, which ensure that the zero equilibrium enjoys various global stability properties, including asymptotic and exponential stability. We also consider input-to-state 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.

Keywords

Differential inclusion Exponential stability Input-to-state stability Lur’e systems Population biology Positive systems 

Mathematics Subject Classification

34A60 37N35 39A30 47B65 93D20 

1 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 state-variables of positive systems, typically modelling abundances or concentrations, must take nonnegative values to be meaningful. Consequently, positive systems are well-studied 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 well-defined 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 set-valued (or multi-valued) map [31], one of the building blocks of non-smooth 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
$$\begin{aligned} \dot{x} - Ax \in B F(Cx), \quad x(0) = x^0, \end{aligned}$$
(1.1)
so-called Lur’e inclusions, where AB and C are appropriately sized matrices, with certain nonnegativity properties and F is a nonnegative set-valued function. Differential inclusions of the form (1.1) often arise in closed-loop from the linear control system
$$\begin{aligned} \dot{x} = Ax + B u, \quad x(0) = x^0, \quad y = Cx, \end{aligned}$$
(1.2)
in feedback connection with the static set-valued (nonlinear) output feedback
$$\begin{aligned} u \in F(y), \end{aligned}$$
and generalise the well-known and important class of nonlinear control systems referred to as (positive) Lur’e or Lurie systems, to which (1.1) reduces if F is singleton-valued.

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 so-called 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 complex-variable, which ensure the respective notions of stability for all set-valued functions F for which the “product” \(\mathbf{G}(0)F(y)\) satisfies certain norm bounds. The conditions may be interpreted as small-gain conditions in a weighted one-norm. In the spirit of absolute stability theory, stability of the zero equilibrium is determined by the norm-estimates 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 time-varying 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 sum-separable Lyapunov functions [44]. These techniques are not applicable in the general (non-positive) 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
$$\begin{aligned} \dot{x} - Ax \in B F(Cx) + D, \quad x(0) = x^0, \end{aligned}$$
(1.3)
where D is a set-valued 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 set-valued function E, in which case (1.3) is the feedback interconnection of (1.2) and
$$\begin{aligned} u \in F(y) + E. \end{aligned}$$
Here the natural notion of stability, now of the zero equilibrium pair (\(x = 0\), \(D=\{0\}\)) of (1.3), is so-called input-to-state 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].
Fig. 1

Block diagram of the forced Lur’e system (1.3)

The approach we adopt readily admits treatment of positive Lur’e difference inclusions, that is,
$$\begin{aligned} x^+ - Ax \in B F(Cx) + D, \quad x(0) = x^0, \end{aligned}$$
(1.4)
where \(x^+\) denotes the image of x under the left-shift operator, viz. \(x^+(t) = x(t+1)\), for all \(t \in \mathbb N_0\). In Theorem 3.1 we present analogous sufficient small-gain conditions for various global stability properties of (1.4).

The motivation for the current study is to derive stability results for multivariable (that is, multi-input multi-output, 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 density-independent (that is, linear) and density-dependent (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, well-understood 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 set-valued 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 discrete-time 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 non-zero equilibrium, or diverge. Similar limit set trichotomies have been established for various classes of monotone discrete-time dynamical systems in [2, 61, Chap. 6] for finite-dimensional systems and in [12, 50, 51] for infinite-dimensional 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 n-dimensional 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
$$\begin{aligned} \begin{array}{ll} M \le N &{}\quad \text {if}\, m_{ij} \le n_{ij}\quad \text {for all}\quad i\in \underline{n}, j \in \underline{m}, \\ M< N &{}\quad \text {if}\, M \le N\quad \text {and}\quad M \ne N, \\ M \ll N &{}\quad \text {if} \,m_{ij} < n_{ij}\quad \text {for all}\quad i \in \underline{n}, j \in \underline{m}, \end{array} \end{aligned}$$
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 letwhere the i-th 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 (ij)-th entry of \(M^k\) is positive. Strictly positive matrices are evidently irreducible, and small irreducible matrices (which are not strictly positive) include
$$\begin{aligned} \begin{pmatrix}0 &{} 1 \\ 1 &{} 0 \end{pmatrix} \quad \text {and} \quad \begin{pmatrix}0 &{} 0 &{}1\\ 1 &{} 0&{} 0\\ 0&{} 1 &{}0 \end{pmatrix}. \end{aligned}$$
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 quasi-positive or essentially nonnegative, if every off-diagonal 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
$$\begin{aligned} r(M) := \max \{ \vert \lambda \vert {:} \, \lambda \in \sigma (M)\} \quad \text {and} \quad \alpha (M) := \max \{ \mathrm{Re} \,\lambda {:} \, \lambda \in \sigma (M)\}, \end{aligned}$$
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\)
$$\begin{aligned} \vert x \vert \le \vert y \vert \quad \Rightarrow \quad \Vert x \Vert \le \Vert y \Vert \quad \text {where} \quad \vert x \vert := \begin{pmatrix}\vert x_1 \vert&\ldots&\vert x_n \vert \end{pmatrix}^T. \end{aligned}$$
Every p-norm for \(1 \le p \le \infty \) is monotonic. We let \(\Vert \cdot \Vert _1\) denote both the one-norm and induced one-norm.
For \(v,w \in \mathbb R^n\) with \(v \le w\), we define the order interval \([v, w] \subseteq \mathbb R^n\) as
$$\begin{aligned}{}[v, w] : = \{ x \in \mathbb R^n {:} \, v \le x \le w\}, \end{aligned}$$
which, in light of the componentwise definition of the partial order \(\le \), is equal to the Cartesian product of intervals, viz.
$$\begin{aligned}{}[v,w]= & {} [v_1,w_1] \times [v_2, w_2] \times \ldots \times [v_n, w_n] \quad \text {where} \\ v= & {} \begin{pmatrix}v_1&\ldots&v_n \end{pmatrix}^T, \; w = \begin{pmatrix}w_1&\ldots&w_n \end{pmatrix}^T. \end{aligned}$$
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 normed-space,
$$\begin{aligned} {\left| \left| \left| X \right| \right| \right| } := \sup _{x \in X}{\Vert x\Vert }, \end{aligned}$$
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
$$\begin{aligned} X+ Y := \{ x + y {:} \, x \in X, \; y \in Y\} \quad \text {and} \quad TX := \{ Tx {:} \, x \in X\}. \end{aligned}$$
Finally, a function \(g : \mathbb R^n \rightarrow \mathbb R^m\) is said to be lower semi-continuous if every component \(g_i : \mathbb R^n \rightarrow \mathbb R\) is lower semi-continuous, where \(i \in \underline{m}\), that is
$$\begin{aligned} g_i(x) \le \liminf _{y \rightarrow x} g_i(y) \quad \forall \, x \in \mathbb R^n. \end{aligned}$$

2 Continuous-time systems

In this section we consider continuous-time 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 set-valued 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
$$\begin{aligned} \dot{x}(t) \in H(t,x(t)), \quad x(0) = x^0, \end{aligned}$$
(2.1)
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
$$\begin{aligned}&\int _{t_1}^{t_2} H(s,x(s)) \,ds\\&\quad := \left\{ \int _{t_1}^{t_2} h(s) \, ds \, \Big \vert \, h \in L^1([t_1,t_2];\mathbb R^n)\text { is a selection of }t \mapsto H(t, x(t)) \right\} , \end{aligned}$$
is non-empty and, with this notation, x satisfies the integral inclusion
$$\begin{aligned} x(t_2) - x(t_1) \in \int _{t_1}^{t_2} H(s,x(s)) \, ds. \end{aligned}$$
(2.2)
We shall consider the special case of (2.1) with
$$\begin{aligned} H(t,x) = Ax + BG(t,Cx) + D(t), \end{aligned}$$
(2.3)
and
$$\begin{aligned} (A,B,C) \in \mathbb R^{n \times n} \times \mathbb R^{n\times m} \times \mathbb R^{p \times n}, \quad D : \mathbb R_+ \rightarrow P_0\left( \mathbb R^n\right) , \quad \text {and} \quad G : \mathbb R_+ \times \mathbb R^p \rightarrow P_0\left( \mathbb R^m\right) , \end{aligned}$$
(2.4)
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
$$\begin{aligned} \dot{x}(t) - Ax(t) \in B G(t,Cx(t)) + D(t), \quad x(0) = x^0, \quad t \in \mathbb R_+. \end{aligned}$$
(2.5)
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 set-valued 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 singleton-valued 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
$$\begin{aligned} x(t) - \mathrm {e}^{At} x^0 \in \int _0^t \mathrm {e}^{A(t-\tau )}\big [BG(\tau ,Cx(\tau )) +D(\tau ) \big ]\, d\tau \quad \forall \, t \in [0, \omega ). \end{aligned}$$
(2.6)

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
$$\begin{aligned} \frac{\mathrm{d}}{\mathrm{d}\tau } z(\tau ) \in \mathrm {e}^{A(t-\tau )}\big [ BG(\tau , Cx(\tau )) + D(\tau ) \big ] \quad \text {almost all }\tau \in (0,t). \end{aligned}$$
Therefore, in light of (2.2),
$$\begin{aligned} z(t) - z(0) = \int _0^t \frac{\mathrm{d}}{\mathrm{d}\tau } z(\tau ) \, d\tau \in \int _0^t \mathrm {e}^{A(t-\tau )}\big [ BG(\tau , Cx(\tau )) + D(\tau ) \big ] \, d\tau , \end{aligned}$$
which implies that
$$\begin{aligned} x(t) - \mathrm {e}^{At} x^0 \in \int _0^t \mathrm {e}^{A(t-\tau )}\big [ BG(\tau , Cx(\tau )) + D(\tau ) \big ]\, d\tau . \end{aligned}$$
Since \(0<t < \omega \) was arbitrary, we conclude that (2.6) holds. \(\square \)
The following equivalence, known as “loop-shifting” 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
$$\begin{aligned} \dot{x}(t) - (A+BKC)x(t) \in B \Big (G(t,Cx(t)) - KCx(t) \Big )+ D(t), \quad x(0) = x^0, \quad t \in \mathbb R_+. \end{aligned}$$
(2.7)
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
$$\begin{aligned} \mu (x) := \begin{pmatrix} \max \{0, x_1\},&\max \{0, x_2\}&\ldots&\max \{0, x_n\} \end{pmatrix}^T \quad \forall \, x = \begin{pmatrix}x_1&\ldots&x_n \end{pmatrix}^T \in \mathbb R^n. \end{aligned}$$
(2.8)
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 loop-shifting 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 so-called 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.

2.1 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 ABC 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 semi-continuous, lower semi-continuous, 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 semi-continuous 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 non-autonomous 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 well-known 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 one-norm inequalities and \(\mathbf{G}(0)\), assuming that global solutions exist. Here \(\mathbf{G}\) denotes the transfer function of the triple (ABC), that is, \(\mathbf{G}(s) = C(sI-A)^{-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.
  1. (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}$$
     
  2. (ii)
    If there exist a strictly positive \(v \in \mathbb R^p_+\) and a lower semi-continuous 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 \).
     
  3. (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 one-norm 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 sector-type 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
$$\begin{aligned} \mathbf{G}(0) w \le My \quad \forall \; w \in F(y) \; \; \forall \, y \in \mathbb R^p_+, \end{aligned}$$
(2.12)
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 semi-continuous function \(\zeta : \mathbb R^p_+ \rightarrow \mathbb R_+^p\) such that
$$\begin{aligned} \zeta (y) \; >0 \quad \text {and} \quad \mathbf{G}(0) w + \zeta (y) \; < My \quad \; \forall \, w \in F(y) \; \; \forall \, y \in \mathbb R^p_+{\setminus }\{0\}, \end{aligned}$$
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
$$\begin{aligned} v^T \mathbf{G}(0) F(Cx(t)) \subseteq [0, v^T Cx(t)] \quad \forall \, t \in \mathbb R_+. \end{aligned}$$
(2.13)
Multiplying both sides of (1.1) by \(-v^TCA^{-1}\) and invoking (2.13) yields that
$$\begin{aligned} -v^TCA^{-1}\dot{x}(t)&\in -v^TCA^{-1}\big [Ax(t) + B F(Cx(t))\big ] = -v^TCx(t) +v^T\mathbf{G}(0)F(Cx(t)) \\&\subseteq [-v^TCx(t), 0] \quad \text {for almost all } t \ge 0, \end{aligned}$$
whence
$$\begin{aligned} -v^TCA^{-1}\dot{x}(t) \le 0\quad \text {for almost all } t \ge 0, \end{aligned}$$
(2.14)
and, further,
$$\begin{aligned} 0 \le -v^TC A^{-1} x(t) \le -v^TC^{-1} A x^0 \quad \forall \, t \in \mathbb R_+. \end{aligned}$$
(2.15)
We claim that there exists \(\theta >0\) such that
$$\begin{aligned} \theta z \le -A^{-1} z \quad \forall \, z \in \mathbb R^n_+. \end{aligned}$$
(2.16)
To that end, choose \(\beta >0\) such that \(A+ \beta I \ge 0\), so that in particular
$$\begin{aligned} \mathrm {e}^{(A +\beta I)t} = \sum _{k =0}^\infty \frac{t^k}{k!} (A+\beta I)^k \ge I \quad \forall \, t \in \mathbb R_+. \end{aligned}$$
(2.17)
As A is Metzler with \(\alpha (A)<0\), in light of (2.17) we have, for \(z \in \mathbb R^n_+\),
$$\begin{aligned} -A^{-1} z= \int _0^\infty \mathrm {e}^{At} z\, dt = \int _0^\infty \mathrm {e}^{(A + \beta I)t} \mathrm {e}^{-\beta t} z\, dt \ge \int _0^\infty \mathrm {e}^{-\beta t} z\, dt = \frac{z}{\beta }, \end{aligned}$$
which is (2.16) with \(\theta := 1/\beta >0\). Using (2.15) and (2.16) shows thatwhich implies, by norm equivalence, that there exists \(P >0\) such that
$$\begin{aligned} \Vert Cx(t) \Vert \le P\Vert x^0\Vert \quad \forall \, t \in \mathbb R_+. \end{aligned}$$
(2.18)
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
$$\begin{aligned} \Vert x(t) \Vert \le \left( \Vert \mathrm {e}^{At} \Vert + RP \int _0^t \Vert \mathrm {e}^{A(t-\tau )} B\Vert \, d\tau \right) \Vert x^0 \Vert \quad \forall \, t \in \mathbb R_+, \end{aligned}$$
whence, by (A2), we conclude that statement (i) holds.
(ii): Our hypotheses ensure that statement (i) holds. First, suppose that
$$\begin{aligned} Cx(t) \rightarrow 0 \quad \text {as } t \rightarrow \infty , \end{aligned}$$
(2.19)
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
$$\begin{aligned} \xi (t) \in \int _{T_1}^t \mathrm {e}^{A(t-\tau )}B F(Cx(\tau )) \, d\tau \quad \forall \,t \ge T_1, \end{aligned}$$
admits the estimate
$$\begin{aligned} \Vert \xi (t) \Vert&\le \int _{T_1}^t \Vert \mathrm {e}^{A(t-\tau )} \Vert \Vert B\Vert {\left| \left| \left| F(Cx(\tau )) \right| \right| \right| } \, d\tau \le \Vert B\Vert R \int _{T_1}^t \Vert \mathrm {e}^{A(t-\tau )} \Vert \Vert Cx(\tau ) \Vert \, d\tau \\&\le \frac{\varepsilon }{2}, \end{aligned}$$
for \(T_1 >0\) sufficiently large. Consequently, \(\Vert \xi (t) \Vert \le \varepsilon /2\) for all \(t \ge T_1\). Since x satisfies
$$\begin{aligned} x(t) - \mathrm {e}^{A(t-T_1)} x(T_1) \in \int _{T_1}^t \mathrm {e}^{A(t-\tau )}BF(Cx(\tau )) \, d\tau \quad \forall \, t \ge T_1, \end{aligned}$$
(which follows easily from (2.6)), invoking (A2) gives \(T_2> T_1\) such that for all \(t \ge T_2\)
$$\begin{aligned} \Vert x(t) - \mathrm {e}^{A(t-T_1)} x(T_1)\Vert \le \frac{\varepsilon }{2} \quad \Rightarrow \quad \Vert x(t) \Vert \le \Vert \mathrm {e}^{A(t-T_1)} x(T_1)\Vert + \frac{\varepsilon }{2} < \varepsilon , \end{aligned}$$
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
$$\begin{aligned} 2 \varepsilon \le \Vert Cx(t_k) \Vert \quad \forall \, k \in \mathbb N. \end{aligned}$$
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
$$\begin{aligned} \varepsilon \le \Vert Cx(t) \Vert \le \varGamma \Vert C \Vert \Vert x^0\Vert \quad \forall \, t \in [t_k, t_k + \delta ] \; \; \forall \, k \in \mathbb N, \end{aligned}$$
(2.20)
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
$$\begin{aligned} \mathcal {M}:= \big \{ \xi \in \mathbb R^p_+ {:} \, \varepsilon \le \Vert \xi \Vert \le \varGamma \Vert C \Vert \Vert x^0\Vert \big \}, \end{aligned}$$
(2.21)
a compact set which does not contain zero. We claim that there exists \(\eta >0 \) such that
$$\begin{aligned} \inf _{\begin{array}{c} \xi \in \mathcal {M}\\ w \in F(\xi ) \end{array}}\big [v^T \xi - v^T\mathbf{G}(0)w\big ] \ge \eta . \end{aligned}$$
(2.22)
To establish (2.22), note that by (2.10),
$$\begin{aligned} \big [v^T \xi - v^T\mathbf{G}(0)w\big ] \ge e(\xi ) \ge \inf _{\zeta \in \mathcal {M}} e(\zeta ) =: \eta >0, \quad \forall \, w \in F(\xi ),\; \forall \, \xi \in \mathcal {M}, \end{aligned}$$
as e is a lower semi-continuous function which is positive-valued for positive arguments, and \(\mathcal {M}\) is a compact set which does not contain zero.
Consider next the real-valued, nonnegative function
$$\begin{aligned} f : \mathbb R_+ \rightarrow \mathbb R_+, \quad f(t) := -v^TCA^{-1}x(t), \end{aligned}$$
which is absolutely continuous, non-increasing by (2.14) and, furthermore, satisfies
$$\begin{aligned} \dot{f}(t) = -v^TCA^{-1}\dot{x}(t) \in - v^T C x(t) + v^T\mathbf{G}(0)F(Cx(t)) \quad \text {for almost all} \; t \in \mathbb R_+. \end{aligned}$$
(2.23)
In light of (2.20), (2.22) and (2.23), we see that for every \(k \in \mathbb N\)
$$\begin{aligned} \dot{f}(t) \in (-\infty , -\eta ] \quad \text {for almost all} \; t \in [t_k, t_k+\delta ], \end{aligned}$$
which yields that
$$\begin{aligned} f(t_k + \delta ) - f(t_k) \le -\eta \delta . \end{aligned}$$
Since f is non-increasing and \(t_{k+1} \ge t_k + \delta \) for all \(k \in \mathbb N\)
$$\begin{aligned} f(t_{k+1}) - f(t_k) \le - \eta \delta , \quad \forall \, k \in \mathbb N, \end{aligned}$$
showing that
$$\begin{aligned} f(t_{N+1}) - f(t_1) = \sum _{k=1}^N \big [ f(t_{k+1}) - f(t_k) \big ]\le - \eta \delta N \rightarrow -\infty \quad \text {as } N \rightarrow \infty , \end{aligned}$$
which contradicts the nonnegativity of f.
(iii): Let \(0 < c_1 \le c_2\) be such that
$$\begin{aligned} c_1 \Vert y \Vert \le \vert y \vert _{v} \le c_2 \Vert y \Vert \quad \forall \, y \in \mathbb R^p. \end{aligned}$$
(2.24)
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
$$\begin{aligned} 0< \gamma< \delta \quad \Rightarrow \quad \alpha (A+\gamma I)<0 \quad \text {and} \quad \Vert \mathbf{G}(-\gamma ) - \mathbf{G}(0) \Vert < \frac{\varepsilon c_1}{ c_2 R}. \end{aligned}$$
(2.25)
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)\),
$$\begin{aligned} \vert \mathbf{G}(-\gamma )w \vert _{v}&= v^T\mathbf{G}(-\gamma )w = v^T[\mathbf{G}(-\gamma )-\mathbf{G}(0)]w + \vert \mathbf{G}(0)w \vert _{v} \nonumber \\&\le \vert [\mathbf{G}(-\gamma )-\mathbf{G}(0)]w \vert _{v} + \vert \mathbf{G}(0)w \vert _{v}\nonumber \\&\le c_2 \Vert \mathbf{G}(-\gamma ) - \mathbf{G}(0) \Vert \cdot \Vert w \Vert + \rho \vert y \vert _{v} \le \frac{\varepsilon c_1}{R}\Vert w \Vert + \rho \vert y \vert _{v} \le (\varepsilon + \rho ) \vert y \vert _{v}\nonumber \\&\le \vert y \vert _{v}, \end{aligned}$$
(2.26)
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
$$\begin{aligned} \vert \mathrm{e}^{\gamma t}\mathbf{G}(-\gamma )w \vert _{v} \le \mathrm {e}^{\gamma t} \cdot \vert \mathrm {e}^{-\gamma t} \xi \vert _{v} = \vert \xi \vert _{v} \quad \forall \, w \in F(\mathrm {e}^{-\gamma t} \xi ), \quad \forall \, \xi \in \mathbb R^p_+, \quad \forall \, t \in \mathbb R_+. \end{aligned}$$
(2.27)
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
$$\begin{aligned} \dot{z}(t) - (A + \gamma I)z(t) \in B \mathrm {e}^{\gamma t} F(\mathrm {e}^{-\gamma t} Cz(t)), \quad z(0) = x^0, \quad t \in \mathbb R_+. \end{aligned}$$
(2.28)
Multiplying both sides of (2.28) by \(-v^T C(A + \gamma I)^{-1} \) and invoking (2.27), we obtain the estimate
$$\begin{aligned} \theta _\gamma v^T C z(t) \le -v^T C(A + \gamma I)^{-1} z(t) \le -v^T C(A + \gamma I)^{-1} x^0 \quad \forall \, t \in \mathbb R_+, \end{aligned}$$
for some \(\theta _\gamma >0\), so that there exists \(L >0\) such that
$$\begin{aligned} \Vert Cz(t)\Vert \le L \Vert x^0\Vert \quad \forall \, t \in \mathbb R_+. \end{aligned}$$
Applying Lemma 2.1 to (2.28) with \(D = \{0\}\) and \(G(t,Cx(t)) = F(Cx(t))\) shows that
$$\begin{aligned} z(t) - \mathrm {e}^{(A + \gamma I)t} x^0 \in \int _0^t \mathrm {e}^{(A + \gamma I)(t-\tau )}B \mathrm{e}^{\gamma \tau } F(\mathrm{e}^{-\gamma \tau }Cz(\tau )) \, d\tau \quad \forall \, t \in \mathbb R_+. \end{aligned}$$
Invoking the boundedness of Cz and (A3) we see that
$$\begin{aligned} \Vert z(t) \Vert&\le \Vert \mathrm {e}^{(A + \gamma I)t} x^0 \Vert + \int _0^t {\left| \left| \left| \mathrm {e}^{(A + \gamma I)(t-\tau )}B \mathrm {e}^{\gamma \tau } F( \mathrm {e}^{-\gamma \tau } Cz(\tau )) \right| \right| \right| } \, d\tau \\&\le \left( \Vert \mathrm {e}^{(A + \gamma I)t} \Vert + L R \int _0^t \left\| \mathrm {e}^{(A + \gamma I)(t-\tau )}B \right\| \, d\tau \right) \Vert x^0\Vert \quad \forall \, t \in \mathbb R_+. \end{aligned}$$
Since \(\alpha (A + \gamma I)<0\) and \(x^0 \in \mathbb R^n_+\) was arbitrary, we conclude that there exists \(\varGamma >0\) such that
$$\begin{aligned} \Vert z(t) \Vert \le \varGamma \Vert x^0\Vert \quad \forall \, t \in \mathbb R_+, \; \forall \, x^0 \in \mathbb R^n_+, \end{aligned}$$
and so
$$\begin{aligned} \Vert x(t) \Vert \le \varGamma \mathrm {e}^{-\gamma t} \Vert x^0\Vert \quad \forall \, t \in \mathbb R_+, \; \forall \, x^0 \in \mathbb R^n_+, \end{aligned}$$
as required. \(\square \)

In certain cases, the weighted one-norm estimate (2.9) itself implies that F must satisfy (A3), which we formulate as the next lemma.

Lemma 2.7

Assume that AB, C and F satisfy (A1) and (A2), and let \(\mathbf{G}(s) = C(sI-A)^{-1}B\). If (2.9), and at least one of the two conditions
  1. (a)

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

     
  2. (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
$$\begin{aligned} \nu ^T \mathbf{G}(0) = r \nu ^T \quad \text {and so} \quad \vert \mathbf{G}(0)z \vert _{\nu } = r \vert z \vert _{\nu } \quad \forall \, z \in \mathbb R^m_+. \end{aligned}$$
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
$$\begin{aligned} \theta _1 \Vert z \Vert \le \Vert \mathbf{G}(0) z \Vert \le \theta _2 \vert \mathbf{G}(0) z \vert _{v} \quad \forall \, z \in \mathbb R^m_+. \end{aligned}$$
(2.29)
Thus, by (2.9) and (2.29)
$$\begin{aligned} \theta _1 \Vert w \Vert \le \Vert \mathbf{G}(0) w \Vert \le \theta _2 \vert \mathbf{G}(0) w \vert _{v} \le \theta _2 \vert y \vert _{v} \le c \theta _2 \Vert y \Vert \quad \forall \, w \in F(y), \; \; \forall \, y \in \mathbb R^p_+, \end{aligned}$$
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
$$\begin{aligned} 0 = \mathbf{G}(0)z = -CA^{-1}B z = \int _0^\infty C \mathrm {e}^{(A + \delta I)t} \mathrm {e}^{-\delta t}B z \,dt \ge 0, \end{aligned}$$
(2.30)
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
$$\begin{aligned} 0 = C \mathrm {e}^{(A+ \delta I)t} B z = \sum _{k=0}^\infty \frac{t^k}{k!} C (A+\delta I)^k B z \quad \forall \, t\ge 0, \end{aligned}$$
whence,
$$\begin{aligned} C (A+\delta I)^k B z = 0 \quad \forall \, k \in \mathbb N_0, \end{aligned}$$
and, therefore,
$$\begin{aligned} C (A+\delta I + B\varDelta C)^k B z =0\quad \forall \, k \in \mathbb N_0. \end{aligned}$$
(2.31)
Let \(c_i^T \ne 0\) and \(b_j\) denote the i-th row and j-th 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
$$\begin{aligned} c_i^T (A + \delta I+ B \varDelta C)^k b_r z_r = 0 \quad \forall \, k \in \mathbb N_0. \end{aligned}$$
(2.32)
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
$$\begin{aligned} \beta = \min _{j \in \underline{m}} \left( \sum _{i=1}^p [\mathbf{G}(0)]_{ij}\right) >0, \end{aligned}$$
we obtain, for \(z\in \mathbb R^m_+\),
$$\begin{aligned} \Vert \mathbf{G}(0) z \Vert _1 = \sum _{i=1}^p (\mathbf{G}(0) z)_i = \sum _{j=1}^m \left( \sum _{i=1}^p [\mathbf{G}(0)]_{ij} \right) z_j \ge \beta \sum _{j=1}^m z_j = \beta \Vert z\Vert _1. \end{aligned}$$
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 semi-continuous with closed values. If there exists a strictly positive \(v \in \mathbb R^p_+\) such that
$$\begin{aligned} \quad \vert \mathbf{G}(0) w \vert _{v} < \vert y \vert _{v} \quad \forall \; w \in F(y) \; \; \forall \, y \in \mathbb R^p_+{\setminus }\{0\}, \end{aligned}$$
(2.33)
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
$$\begin{aligned} v^T y_k - v^T \mathbf{G}(0) w_k \rightarrow \inf \big \{ v^T \xi - v^T\mathbf{G}(0)w {:} \, w \in F(\xi ), \; \xi \in \mathcal {M}\big \} \quad \text {as } k \rightarrow \infty , \end{aligned}$$
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 semi-continuity of F means that we may choose another subsequence of \((y_k)_{k \in \mathbb N}\), again not relabelled, such that
$$\begin{aligned} w_k \in F(y_k) \subseteq F(y_*) + B(0,1/k), \end{aligned}$$
(2.34)
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
$$\begin{aligned} \inf \big \{ v^T \xi - v^T\mathbf{G}(0)w {:} \, w \in F(\xi ), \; \xi \in \mathcal {M}\big \}= & {} \lim _{k \rightarrow \infty } \big [ v^T y_k - v^T \mathbf{G}(0) w_k \big ] \\= & {} v^T y_* - v^T \mathbf{G}(0) w_* >0, \end{aligned}$$
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 non-autonomous 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
$$\begin{aligned} F : \mathbb R^p_+ \rightarrow P_0(\mathbb R_+^m), \quad F(y) \;:= \bigcup _{t \ge 0} G(t,y). \end{aligned}$$
(2.35)
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\}\).

2.2 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
$$\begin{aligned} \mathop {{{\mathrm{ess\,sup}}}}\limits _{\tau \in [0, t]} {\left| \left| \left| D(\tau ) \right| \right| \right| }< \infty \quad \forall \, t \in \mathbb R_+ \quad \text {or} \quad \mathop {{{\mathrm{ess\,sup}}}}\limits _{\tau \in [0, \infty )} {\left| \left| \left| D(\tau ) \right| \right| \right| } < \infty , \end{aligned}$$
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:
  1. (i)

    (A1)–(A3) hold;

     
  2. (ii)

    F has closed, convex values, \(F(t, \cdot )\) is upper semi-continuous and \(F(\cdot ,x)\) is measurable;

     
  3. (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 so-called exponentially ISS. The proof is similar to that of statement (iii) of Theorem 2.5, and uses a so-called 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),
$$\begin{aligned} \Vert x(t) \Vert \le \varGamma \Big ( \mathrm {e}^{-\gamma t} \Vert x^0\Vert + \mathop {{{\mathrm{ess\,sup}}}}\limits _{\tau \in [0, t]}{\left| \left| \left| D(\tau ) \right| \right| \right| }\Big )\quad \forall \, t \in \mathbb R_+. \end{aligned}$$
(2.36)

If D is nonnegative-valued, 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 set-valued 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
$$\begin{aligned} \dot{z}(t) - (A + \gamma I)z(t) \in B \mathrm {e}^{\gamma t} F(\mathrm {e}^{-\gamma t} Cz(t)) + \mathrm {e}^{\gamma t} D(t), \quad z(0) = x^0, \quad t \in \mathbb R_+. \end{aligned}$$
(2.37)
Multiplying both sides of the above by \(v^T C(-\gamma I - A)^{-1} \) yields that, for almost all \(t \in \mathbb R_+\)
$$\begin{aligned} v^T C(-\gamma I - A)^{-1} \dot{z}(t) + v^T Cz(t) \in v^T\mathbf{G}(-\gamma ) \mathrm {e}^{\gamma t} F(\mathrm {e}^{-\gamma t} Cz(t)) + H(t) \end{aligned}$$
(2.38)
where
$$\begin{aligned} H(t) := v^T C(-\gamma I - A)^{-1}\mathrm {e}^{\gamma t} D(t) \quad \forall \, t \in \mathbb R_+. \end{aligned}$$
Using arguments similar to those involved in the derivation of (2.26), we see that for sufficiently small \(\gamma >0\)
$$\begin{aligned} v^T \mathbf{G}(-\gamma ) \mathrm {e}^{\gamma t} F(\mathrm {e}^{-\gamma t} Cz(t)) \subseteq [0, (\rho + \varepsilon ) v^T Cz(t)] \quad \forall \, t \in \mathbb R_+, \end{aligned}$$
(2.39)
whence, for almost all \(t \in \mathbb R_+\)
$$\begin{aligned} v^T\mathbf{G}(-\gamma ) \mathrm {e}^{\gamma t} F(\mathrm {e}^{-\gamma t} Cz(t)) + H(t) \subseteq [0, (\rho + \varepsilon ) v^T Cz(t)] + H(t) \end{aligned}$$
(2.40)
Setting \(\delta = 1 - (\rho + \varepsilon ) \in (0,1)\) and
$$\begin{aligned} \left. \begin{aligned} E(t)&:= [-v^T C z(t), -\delta v^T C z(t)] \\ a(t)&: = - \delta v^T \int _0^t C z(\tau ) \, d\tau \\ \xi (t)&:= \kappa \, \mathop {{{\mathrm{ess\,sup}}}}\limits _{\tau \in [0,t]} {\left| \left| \left| D (\tau ) \right| \right| \right| } \int _0^t \mathrm{e}^{\gamma \tau } \, d \tau \end{aligned} \right\} \quad \forall \,t \in \mathbb R_+, \end{aligned}$$
(2.41)
where \(\kappa := \Vert v^T C(\gamma I +A)^{-1} \Vert >0\), it follows from (2.38)–(2.40) that
$$\begin{aligned} v^T C(-\gamma I - A)^{-1} \dot{z}(\tau ) \in E(\tau ) + H(\tau ) \quad \text {for almost all } \tau \in \mathbb R_+, \end{aligned}$$
so that
$$\begin{aligned} v^T C(-\gamma I - A)^{-1} z(t) - v^T C(-\gamma I - A)^{-1} x^0 \in \int _0^t \big ( E(\tau ) + H(\tau ) \big ) \, d \tau \quad \forall \, t \in \mathbb R_+. \end{aligned}$$
(2.42)
Choose \(\sigma \in (0, \delta )\), and note that by definition of a and monotonicity of the integralBe definition of a and \(\xi \), it follows from (2.42) thatby (2.43). Now, as \(0 \le v^T C(-\gamma I - A)^{-1} z(t)\), appealing to (2.41) yields that
$$\begin{aligned} \Vert Cz \Vert _{L^1(0,t)} \le K_1 \Vert x_0 \Vert + K_2 \mathrm{e}^{\gamma t} \sup _{\tau \in [0,t]} {\left| \left| \left| D(\tau ) \right| \right| \right| } \quad \forall \, t \in \mathbb R_+, \end{aligned}$$
(2.44)
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
$$\begin{aligned} z(t) - \mathrm {e}^{(A + \gamma I)t} x^0 \in \int _0^t \mathrm {e}^{(A + \gamma I)(t-\tau )}\left[ B \mathrm {e}^{\gamma \tau } F( \mathrm {e}^{-\gamma \tau } Cz(\tau )) + \mathrm {e}^{\gamma \tau } D(\tau ) \right] \, d\tau \quad \forall \, t \in \mathbb R_+. \end{aligned}$$
Invoking (A3) and \(\alpha (A+\gamma I) <0\), we estimate \(\Vert z(t) \Vert \) using the above inclusion as follows
$$\begin{aligned} \Vert z(t) \Vert&\le K_3 \Vert x^0\Vert + K_4 \Vert Cz \Vert _{L^1(0,t)} + K_5 \mathrm {e}^{\gamma t} \sup _{\tau \in [0,t]} {\left| \left| \left| D(\tau ) \right| \right| \right| } \nonumber \\&\le (K_3 + K_4K_1) \Vert x^0\Vert + (K_4K_2 + K_5) \mathrm{e}^{\gamma t}\mathop {{{\mathrm{ess\,sup}}}}\limits _{\tau \in [0,t]} {\left| \left| \left| D(\tau ) \right| \right| \right| } \quad \forall \, t \in \mathbb R_+, \end{aligned}$$
by (2.44), for some \(K_3,K_4,K_5 >0\) which are independent of t, D and \(x^0\). Thus,
$$\begin{aligned} \Vert x(t) \Vert \le \varGamma (\mathrm{e}^{-\gamma t} \Vert x^0\Vert + \mathop {{{\mathrm{ess\,sup}}}}\limits _{\tau \in [0,t]} {\left| \left| \left| D(\tau ) \right| \right| \right| } ) \quad \forall \, t \in \mathbb R_+, \end{aligned}$$
where \(\varGamma := \max \big \{ K_3 + K_4K_1,K_4K_2 + K_5\big \}\), completing the proof. \(\square \)

The next corollary is a so-called 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 input-to-state 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
$$\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_+, \; \Vert y \Vert \ge \varTheta , \end{aligned}$$
(2.45)
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
$$\begin{aligned} \Vert x(t) \Vert \le \varGamma \Big ( \mathrm {e}^{-\gamma t} \Vert x^0\Vert + \mathop {{{\mathrm{ess\,sup}}}}\limits _{\tau \in [0, t]}{\left| \left| \left| D(\tau ) \right| \right| \right| } + \beta \Big )\quad \forall \, t \in \mathbb R_+. \end{aligned}$$
(2.46)
Here
$$\begin{aligned} \beta :=\Vert B\Vert \sup _{\Vert y\Vert \le \theta } \left( \sup _{w\in F(y)}\Big (\mathrm{dist}{ }\big (w,S(y) \big ) \Big ) \right) , \end{aligned}$$
(2.47)
and
$$\begin{aligned} S(y) := \big \{w \in F(y) {:} \, |\mathbf{G}(0)w|_v\le \rho |y|_v \big \} \subseteq F(y). \end{aligned}$$
(2.48)

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
$$\begin{aligned} H(y) = \left\{ \begin{aligned}&F(y)&\Vert y \Vert&\ge \varTheta , \\&S(y)&\Vert y \Vert&< \varTheta , \end{aligned} \right. \end{aligned}$$
(2.49)
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
$$\begin{aligned} \dot{x} - Ax \in BH(Cx) + B\big [F(Cx) - H(Cx)\big ] + D = B H(Cx) + E, \quad x(0) = x^0, \end{aligned}$$
(2.50)
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
$$\begin{aligned} \mathop {{{\mathrm{ess\,sup}}}}\limits _{\tau \in [0,t]}{\left| \left| \left| E(t) \right| \right| \right| } = \mathop {{{\mathrm{ess\,sup}}}}\limits _{\tau \in [0,t]} {\left| \left| \left| D(\tau ) \right| \right| \right| } < \infty , \end{aligned}$$
by construction. Alternatively, if \(\Vert Cx(t) \Vert < \varTheta \)
$$\begin{aligned} \mathop {{{\mathrm{ess\,sup}}}}\limits _{\tau \in [0,t]}{\left| \left| \left| E(t) \right| \right| \right| }&\le \sup _{t \in [0, \tau ]} {\left| \left| \left| B\big [F(Cx(t)) - H(Cx(t))\big ] \right| \right| \right| } + \mathop {{{\mathrm{ess\,sup}}}}\limits _{\tau \in [0,t]} {\left| \left| \left| D(\tau ) \right| \right| \right| } \nonumber \\&\le \beta + \mathop {{{\mathrm{ess\,sup}}}}\limits _{\tau \in [0,t]} {\left| \left| \left| D(\tau ) \right| \right| \right| } < \infty . \end{aligned}$$
(2.51)
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 \)

2.3 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
$$\begin{aligned} \dot{x}(t) = Ax(t) + B g(t,Cx(t)) +d(t), \quad x(0) = x^0, \quad t \in \mathbb R_+, \end{aligned}$$
(2.52)
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
$$\begin{aligned} F(y) \; := \bigcup _{t \in \mathbb R_+} \{g(t,y)\} \quad \forall \, y \in \mathbb R^p_+ \quad \text {and} \quad D(t) := \{ d(t)\} \quad \forall \, t \in \mathbb R_+. \end{aligned}$$
In certain applications, the so-called forced positive Lur’e inequality
$$\begin{aligned} 0 \le \dot{x}(t) - Ax(t) \le B g(t,Cx(t)) +d(t), \quad x(0) = x^0, \quad t \in \mathbb R_+, \end{aligned}$$
(2.53)
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
$$\begin{aligned} F(y) \; := \bigcup _{t \in \mathbb R_+} [0,g(t,y)] \quad \forall \, y \in \mathbb R^p_+ \quad \text {and} \quad D(t) := [0, d(t)] \quad \forall \, t \in \mathbb R_+. \end{aligned}$$
In both of the special cases above, the set-valued map F satisfies assumption (A3) if, and only if, there exists \(R>0\) such that
$$\begin{aligned} \Vert g(t,y)\Vert \le R \Vert y \Vert \quad \forall \, t \in \mathbb R_+, \; \; \forall \, y \in \mathbb R^p_+. \end{aligned}$$
(2.54)
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.52.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).
  1. (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}$$
     
  2. (ii)
    If \(d=0\) and there exist a strictly positive \(v \in \mathbb R^p_+\) and a lower semi-continuous 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 \).
     
  3. (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.
  1. (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.
     
  2. (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 v-norms. The inequalities in (2.58) are reminiscent of classical small-gain conditions, only here formed in the induced v-norm. 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].
     
  3. (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 (CA) 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 (ABC) 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 small-gain condition in the induced the one-norm. Although not directly comparable, our norm conditions in (i)–(iii) are more general as they allow a small-gain condition in a weighted one-norm induced by any strictly positive vector, not just the usual one-norm, see Example 4.3. Finally, we remark that [58] focusses on unforced systems only. \(\square \)
     

3 Discrete-time 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 discrete-time. As with the continuous-time 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 “loop-shifting”, see (2.7), is also possible in discrete-time, 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 one-norm constraints. As before, let \(\mathbf{G}\) denote the transfer function of the triple (ABC) with \(\mathbf{G}(1) = C(I-A)^{-1}B\). Assumption (B2) implies that \(\mathbf{G}(1)\) is well-defined 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.
  1. (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}$$
     
  2. (ii)
    If \(D=\{0\}\) and there exist a strictly positive \(v \in \mathbb R^p_+\) and a lower semi-continuous 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 \).
     
  3. (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{t-1}} {\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
$$\begin{aligned} v^T\mathbf{G}(1) w \in [0, v^Ty] \quad \forall \, w \in F(y) \; \; \forall \, y \in \mathbb R^p_+. \end{aligned}$$
(3.4)
Multiplying both sides of (1.4) by \(v^TC(I-A)^{-1}\), subtracting \(v^TC(I-A)^{-1}x(t)\) and invoking (3.4) yields
$$\begin{aligned} v^TC(I\!-\!A)^{-1}x(t\!+\!1) \!-\! v^TC(I\!-\!A)^{-1}x(t)&\in v^TC(I-A)^{-1}\big [Ax(t) + B F(Cx(t))\big ] \\&\quad - v^TC(I-A)^{-1}x(t)\\&\subseteq - v^TCx(t) \!+\! [0, v^TCx(t)] \!=\! [-v^TCx(t),0], \end{aligned}$$
so that
$$\begin{aligned} v^TC(I-A)^{-1}x(t+1) - v^TC(I-A)^{-1}x(t) \le 0 \quad \forall \, t \in \mathbb N_0. \end{aligned}$$
(3.5)
Furthermore, as \(A\ge 0\) and \(r(A) <1\),
$$\begin{aligned} C z \le C \left( \sum _{k =0}^\infty A^k \right) z = C(I-A)^{-1}z \quad \forall \, z \in \mathbb R^n_+, \end{aligned}$$
and hence, arguing inductively in (3.5), we see that
$$\begin{aligned} v^TCx(t) \le v^TC(I-A)^{-1}x(t) \le v^TC(I-A)^{-1}x^0 \quad \forall \, t \in \mathbb N_0. \end{aligned}$$
Consequently, there exists \(P>0\) such that
$$\begin{aligned} \Vert Cx(t) \Vert \le P \Vert x^0\Vert \quad \forall \, t \in \mathbb N_0. \end{aligned}$$
(3.6)
As \(r(A)<1\), statement (i) now follows from the variation of parameters inclusion
$$\begin{aligned} x(t) - A^t x^ 0 \in \sum _{j=0}^{t-1} A^{t-1-j}BF(Cx(j)) \quad t \in \mathbb N, \end{aligned}$$
(3.7)
(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
$$\begin{aligned} \varepsilon \le \Vert Cx(t_k)\Vert \quad \forall \,k \in \mathbb N_0. \end{aligned}$$
Invoking statement (i), we conclude further that
$$\begin{aligned} \varepsilon \le \Vert Cx(t_k)\Vert \le \varGamma \Vert C \Vert \Vert x^0 \Vert \quad \forall \,k \in \mathbb N_0, \end{aligned}$$
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
$$\begin{aligned} \inf _{ \begin{array}{c} \xi \in \mathcal {M}\\ w \in F(\xi ) \end{array}}\big [v^T \xi - v^T\mathbf{G}(1)w\big ] \ge \eta . \end{aligned}$$
(3.8)
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(I-A)^{-1}x(t))_{t \in \mathbb N_0}\) is non-increasing and thus convergent. We now estimate that
$$\begin{aligned} v^T C(I-A)^{-1}x(t_k) - v^T C(I-A)^{-1}x(t_{k}+1)&\in v^T Cx(t_k)- v^T\mathbf{G}(1) F(Cx(t_k)) \\&\subseteq [\eta , \infty ), \end{aligned}$$
where the final inclusion follows from (3.8). As a consequence,
$$\begin{aligned} v^TC(I-A)^{-1}x(t_k) - v^TC(I-A)^{-1}x(t_{k}+1) \ge \eta \quad \forall \, k \in \mathbb N_0, \end{aligned}$$
which contradicts the convergence of \((v^TC(I-A)^{-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
$$\begin{aligned} \frac{1}{1+\delta }< \gamma< 1 \quad \Rightarrow \quad r(A/\gamma )<1 \quad \text {and} \quad \Vert \mathbf{G}(\gamma ) - \mathbf{G}(1) \Vert < \frac{\varepsilon c_1}{R c_2}, \end{aligned}$$
(3.9)
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) \;\)
$$\begin{aligned} \vert \mathbf{G}(\gamma )w \vert _{v}&= v^T\mathbf{G}(\gamma )w = v^T[\mathbf{G}(\gamma )-\mathbf{G}(1)]w + \vert \mathbf{G}(1)w \vert _{v} \\&\le c_2 \Vert \mathbf{G}(\gamma ) - \mathbf{G}(1) \Vert \Vert w \Vert + \rho \vert y \vert _{v} \le \frac{\varepsilon c_1}{R}\Vert w \Vert + \rho \vert y \vert _{v} \\&\le \kappa \vert y \vert _{v}, \end{aligned}$$
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
$$\begin{aligned} \vert \gamma ^{-t}\mathbf{G}(\gamma )w \vert _{v} \le \gamma ^{-t} \cdot \kappa \vert \gamma ^t \xi \vert _{v} = \kappa \vert \xi \vert _{v} \quad \forall \, w \in F(\gamma ^t \xi ) \quad \forall \, \xi \in \mathbb R^p_+ \quad \forall \, t \in \mathbb N_0, \end{aligned}$$
or, equivalently,
$$\begin{aligned} v^T \gamma ^{-t}\mathbf{G}(\gamma ) F(\gamma ^t \xi ) \subseteq [ 0, \kappa v^T \xi ] \quad \forall \, \xi \in \mathbb R^p_+ \quad \forall \, t \in \mathbb N_0. \end{aligned}$$
(3.10)
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
$$\begin{aligned} z(\tau +1) - \gamma ^{-1} A z(\tau ) \in \gamma ^{-1} B \gamma ^{-\tau } F(\gamma ^{\tau } Cz(\tau )) + \gamma ^{-(\tau +1)} D(\tau ) \quad \forall \, \tau \in \mathbb N_0. \end{aligned}$$
(3.11)
Multiplying both sides of (3.11) by \(v^T C(I-\gamma ^{-1}A)^{-1} \) and invoking (3.10), we have that
$$\begin{aligned} v^T C(I-\gamma ^{-1}A)^{-1} \big ( z(\tau +1) {-} z(\tau ) \big ) {+} v^T C z(\tau ) \in [0, \kappa v^T Cz(\tau )] + H(\tau ) \forall \, \tau \in \mathbb N_0, \end{aligned}$$
whence
$$\begin{aligned} v^T C(I-\gamma ^{-1}A)^{-1} \big ( z(\tau +1) - z(\tau ) \big ) \in [- v^T C z(\tau ), (\kappa -1) v^T Cz(\tau )] + H(\tau ) \quad \forall \, \tau \in \mathbb N_0. \end{aligned}$$
(3.12)
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
$$\begin{aligned} v^T C(I-\gamma ^{-1}A)^{-1} \big (z(\tau +1) - z(\tau )\big ) = \zeta (\tau ) + \eta (\tau ) \quad \forall \, \tau \in \mathbb N_0. \end{aligned}$$
Consequently,
$$\begin{aligned} v^T C(I-\gamma ^{-1}A)^{-1} z(t) = v^T C(I-\gamma ^{-1}A)^{-1} x^0 + \sum _{\tau =0}^{t-1}[\zeta (\tau ) + h(\tau ) ]\quad \forall \, t \in \mathbb N. \end{aligned}$$
(3.13)
Noting that, by construction, for \(\theta \in (0, 1-\kappa )\)
$$\begin{aligned} \zeta (\tau ) + \theta v^T Cz(\tau ) \le 0, \quad \forall \, \tau \in \mathbb N_0, \end{aligned}$$
we infer from (3.13) thatA straightforward estimate shows that there exists \(K>0\) such that
$$\begin{aligned} \sum _{\tau =0}^{t-1} h(\tau ) \le K \gamma ^{-t} \delta (t) \quad \forall \, t \in \mathbb N, \end{aligned}$$
(3.15)
where
$$\begin{aligned} \delta (t) := \max _{\tau \in \underline{t-1}} {\left| \left| \left| D(\tau ) \right| \right| \right| } \quad \forall \, t \in \mathbb N. \end{aligned}$$
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
$$\begin{aligned} \Vert C z\Vert _{\ell ^1(0, t-1)} \le K_1 \Vert x^0 \Vert + K_2 \gamma ^{-t} \max _{\tau \in \underline{t-1}} {\left| \left| \left| D(\tau ) \right| \right| \right| } \quad \forall \, t \in \mathbb N. \end{aligned}$$
(3.16)
Invoking (3.11), z satisfies the following inclusion
$$\begin{aligned}&z(t) - (\gamma ^{-1}A)^t x^0 \in \sum _{j=0}^{t-1} (\gamma ^{-1} A)^{t-1-j}\\&\quad \times \,\Big [ \gamma ^{-1}B \gamma ^{-j}F(\gamma ^{j}Cz(j)) + \gamma ^{-(j+1)}D(j) \Big ] \quad \forall \, t \in \mathbb N, \end{aligned}$$
which, by (A3) and (3.9), may be estimated as follows:
$$\begin{aligned} \Vert z(t) \Vert \le K_3 \Vert x^0\Vert + K_4 \Vert Cz\Vert _{\ell ^1(0, t-1)} + K_5 \gamma ^{-t} \delta (t) \quad \forall \, t \in \mathbb N, \end{aligned}$$
(3.17)
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 non-autonomous 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 discrete-time versions of these results also hold mutatis mutandis, but, for the sake of brevity, are not formally stated. \(\square \)

3.1 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
$$\begin{aligned} x(t+1) = Ax(t) + B g(t,Cx(t)) +d(t), \quad x(0) = x^0, \quad t \in \mathbb N_0, \end{aligned}$$
(3.18)
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,
$$\begin{aligned} 0 \le x(t+1) - Ax(t) \le B g(t,Cx(t)) +d(t),\quad x(0) = x^0, \quad t \in \mathbb N_0, \end{aligned}$$
(3.19)
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 discrete-time stability results which forms the discrete-time analogue of Corollary 2.13. The discrete-time version of the linear bound (2.54) is
$$\begin{aligned} \Vert g(t,y)\Vert \le R \Vert y \Vert \quad \forall \, t \in \mathbb N_0, \; \; \forall \, y \in \mathbb R^p_+, \end{aligned}$$
(3.20)
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).
  1. (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}$$
     
  2. (ii)
    If \(d=0\) and there exist a strictly positive \(v \in \mathbb R^p_+\) and a lower semi-continuous 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 \).
     
  3. (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{t-1}}\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 discrete-time Lur’e system (3.18), and compare our results with others available in the literature.

Remark 3.4

  1. (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.

     
  2. (b)

    The comments in Remark 2.14 pertaining to the continuous-time result Corollary 2.13 have discrete-time 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.

     
  3. (c)
    Corollary 3.3 demonstrates that the weighted one-norm 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^* := (I-A)^{-1} B g(y^*)\) is a non-zero 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 non-zero equilibrium \(x^*\) when \(m = p =1\) and under conditions on ABC 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
$$\begin{aligned} x(t+1) = \varGamma (x(t),v(t)), \quad x(0) = x^0, \quad t \in \mathbb N_0, \end{aligned}$$
(3.22)
where \(\varGamma : \mathbb R^n_+ \times \mathbb R^m_+ \rightarrow \mathbb R^n_+\) satisfies \(\varGamma (0,0) = 0\) and is monotone increasing, that is,
$$\begin{aligned} (x_1,v_1) \le (x_2,v_2) \quad \Rightarrow \quad \varGamma (x_1,v_1) \le \varGamma (x_2,v_2) \quad \forall \, (x_j,v_j) \in \mathbb R^n_+ \times \mathbb R^m_+. \end{aligned}$$
Clearly, in the case that the discrete-time Lur’e system (3.18) is autonomous, then it is an instance of (3.22) with \(n=m\) and
$$\begin{aligned} \mathbb R_+^n \times \mathbb R^n_+ \ni (x,v) \mapsto \varGamma (x,v) := A x + B g(Cx) +v \in \mathbb R^n_+. \end{aligned}$$
(3.23)
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
$$\begin{aligned} s \in \mathbb R^n_+ \quad \text {and} \quad \varGamma (s,0) \ge s \quad \Rightarrow \quad s =0, \end{aligned}$$
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 \)

4 Examples

We consider three worked examples.

Example 4.1

We consider stabilisation of single-input single-output (SISO) continuous-time, linear positive systems by quantised output feedback. Given
$$\begin{aligned} \begin{aligned} \dot{x}&= A x + bu + d, \quad x(0) = x^0, \\ y&= c^T x, \end{aligned} \end{aligned}$$
(4.1)
where, as usual, uxy 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 semi-continuous quantisation function \(q :\mathbb R_+ \rightarrow \mathbb R_+\) defined by
$$\begin{aligned} q(y) := \tau (m-1) \quad \forall \, y \in [ (m -1)\tau , m \tau ), \quad m \in \mathbb N, \end{aligned}$$
(4.2)
which is a coarse under-estimate 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 feedback-gain \(k>0\) such that \(A-kbc^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
$$\begin{aligned} \dot{x} = A x - kbq\left( c^Tx\right) + d, \quad x(0) = x^0. \end{aligned}$$
Associated with q and k is the set-valued function \(H_k : \mathbb R_+ \rightarrow P_0(\mathbb R_+)\), given by
$$\begin{aligned} H_k(y) = \left\{ \begin{aligned}&kq(y)&y&\in ( (m -1)\tau , m \tau ) \\&[(m-1)k\tau , mk \tau ]&y&= m \tau \end{aligned} \right. \quad m \in \mathbb N, \end{aligned}$$
which “fills in the jumps” in kq with closed intervals and leads to the differential inclusion for x
$$\begin{aligned} \dot{x} - A x \in - bH_k\left( c^Tx\right) + D, \quad x(0) = x^0, \end{aligned}$$
(4.3)
where \(D := \{d\}\). To fit our current framework of positive Lur’e inclusions, we rewrite (4.3) as
$$\begin{aligned} \dot{x} -\left( A - kbc^T\right) x \in b\left[ k c^T x - H_k\left( c^Tx\right) \right] +D(t), \quad x(0) = x^0, \end{aligned}$$
(4.4)
which is in the form (1.3) with A replaced by \(A-kbc^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.
Fig. 2

a Quantisation function q from (4.2) (solid line) and \(y \mapsto y\) (dashed line). b Set-valued function F with singleton-values in solid lines and interval-values in dotted lines

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 semi-continuous (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 \((A-bkc^T, b, c^T)\), that is,
$$\begin{aligned} \mathbf{G}_k = (I + k\mathbf{G})^{-1}\mathbf{G}. \end{aligned}$$
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.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
$$\begin{aligned} w \le k y \quad \forall \, w \in F(y), \; \forall \, y \ge 0, \end{aligned}$$
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
$$\begin{aligned} \mathbf{G}_k(0) w \le \rho y \quad \forall \, w \in F(y), \; \forall \, y \in \mathbb R_+ \; y \ge \tau . \end{aligned}$$
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
$$\begin{aligned} \beta = \Vert b\Vert \sup \big \{ w - \rho y/\mathbf{G}_k(0) {:} \, w \in F(y), \; 0 \le y \le \tau \big \} = \Vert b \Vert \big ( k(1-\rho ) - \rho /\mathbf{G}(0) \big )\tau , \end{aligned}$$
which, note, is a linear function of \(\tau \).
For a numerical simulation, consider (4.1) with the following
$$\begin{aligned} A =\left( \begin{array}{rrr} -\,3&{}2&{}4\\ 2&{}-\,1&{}5\\ 4&{}0&{}-\,3 \end{array}\right) , \quad B = \begin{pmatrix}1\\ 0 \\ 0 \end{pmatrix}, \quad C = \begin{pmatrix}0&1&1 \end{pmatrix}, \quad x^0 = \begin{pmatrix}10\\ 10\\ 10 \end{pmatrix}. \end{aligned}$$
(4.5)
Upon inspection, we see that \(k =2\) renders \(A-kBC = A-2BC\) 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
$$\begin{aligned} d(t) = 0.3(1+ \sin (0.6t)) \quad t \in \mathbb R_+. \end{aligned}$$
(4.6)
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).
Fig. 3

Numerical simulations of (4.3) with model data (4.5) and disturbance (4.6), \(k=2\) and \(\tau \in \{0.5, 0.25, 0.125\}\) in solid, dashed and dashed-dotted, respectively. The dotted line is un-quantised feedback system—the solution of (4.1) with \(u = -ky\)

We conclude by summarising that “linear positive stability”, that is, \(A-kbc^T\) Metzler and Hurwitz, is sufficient to ensure that the zero equilibrium pair of the closed-loop 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 Abck 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 stage-classes:
$$\begin{aligned} \left. \begin{aligned} x_1(t+1) -s_1 x_1(t)&\in F_1 \left( \sum _{j=1}^n u_1(t) c_j x_j(t) \right) \sum _{j=1}^n u_2(t) c_j x_j(t), \quad x_1(0) = x_1^0\\ x_2(t+1) - s_2 x_2(t)&\in F_2(x_1(t)) u_3(t) x_1(t), \quad x_2(0) = x_2^0\\ x_i(t+1)&= s_i x_i(t) + h_{i-1} x_{i-1}(t), \quad x_i(0) = x_i^0, \quad i \in \{3,4,\ldots ,n\} \end{aligned}\right\} \quad t \in \mathbb N_0. \end{aligned}$$
(4.7)
Here \(x_i(t)\) denotes the abundance or distribution of the i-th stage-class at time-step t. The \(s_i\) and \(h_i\) are probabilities denoting survival (or stasis) within a stage-class, and growth into the next stage-class, 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 ,n-1\}\). The \(c_i\) terms are non-negative constants which capture the fecundity of the i-th stage-class. The set-valued functions \(F_1\) and \(F_2\) capture per-capita reproduction and per-capital survival rates, respectively, and are modelled thus to accommodate for uncertainty in accurately describing these processes. If \(F_1\) and \(F_2\) are constant singleton-valued functions, meaning that there is no density-dependence, 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 stage-class, 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 stage-classes, 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
$$\begin{aligned} A&:=\begin{pmatrix} s_1&{}0&{}0&{}\cdots &{}0\\ 0 &{} s_2&{}\ddots &{}\vdots &{}\vdots \\ \vdots &{} h_2 &{}\ddots &{}\ddots &{}\\ \vdots &{} &{} \ddots &{} \ddots &{} 0\\ 0&{} \ldots &{} 0 &{} h_{n-1}&{} s_n\end{pmatrix},\quad B:=\begin{pmatrix}1 &{} 0\\ 0 &{} 1 \\ \vdots &{} 0\\ \vdots &{} \vdots \\ 0 &{} 0\end{pmatrix},\quad C :=\begin{pmatrix}c_1 &{} c_2 &{} \ldots &{} c_n \\ 1 &{} 0 &{} \ldots &{} 0\end{pmatrix}, \\ F\left( \begin{pmatrix}y_1\\ y_2 \end{pmatrix}\right)&:= \begin{pmatrix}1 \\ 0 \end{pmatrix}F_1(u_1 y_1)u_2 y_1 + \begin{pmatrix}0 \\ 1 \end{pmatrix} F_2(y_2)u_3y_2. \end{aligned}$$
For ease of exposition in the present example, we address the following problem: assuming that
$$\begin{aligned} F_1(y) = [f_1^-(y), f_1^+(y)] \quad \text {and} \quad F_2(y) = [f_2^-(y), f_2^+(y)] \quad \forall \, y \in \mathbb R_+, \end{aligned}$$
for functions \(f_1^-,f_1^+, f_2^-, f_2^+ : \mathbb R_+ \rightarrow \mathbb R_+\) which satisfy
$$\begin{aligned} f_1^-(y) \le f_1^+(y) \quad \text {and} \quad f_2^-(y) \le f_2^+(y) \quad \forall \, y \in \mathbb R_+, \end{aligned}$$
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, non-negative valued and either sub-linear for large arguments or bounded. These latter qualitative properties seek to model density-dependent 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 thatwhere \(\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
$$\begin{aligned} v^T \mathbf{G}(1) w \le \rho v^T y \quad \forall \, w \in F(y), \quad \forall \, y \in \mathbb R^2_+, \end{aligned}$$
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
$$\begin{aligned} \alpha _1 w_1 + \alpha _2 w_2 + v_2 \alpha _3 w_1 \le \rho y_1 + \rho v_2 y_2 \quad \forall \, \begin{pmatrix}w_1\\ w_2 \end{pmatrix} \in F\big ( \left( {\begin{matrix}y_1 \\ y_2 \end{matrix}}\right) \big ), \; \forall \, y_1, y_2 \in \mathbb R_+. \end{aligned}$$
(4.8)
Using the definition of F, we see that (4.8) holds if
$$\begin{aligned} (\alpha _1 + v_2 \alpha _3) f_1^+(u_1 y_1) u_2 y_1 \le \rho y_1 \quad \text {and} \quad \alpha _2 f_2^+(y_2)u_3 y_2 \le \rho v_2 y_2 \quad \forall \, y_1, y_2 \in \mathbb R_+, \end{aligned}$$
or, equivalently, if
$$\begin{aligned} (\alpha _1 + v_2 \alpha _3) f_1^+(u_1 y_1) u_2 \le \rho \quad \text {and} \quad \alpha _2 f_2^+(y_2)u_3 \le \rho v_2 \quad \forall \, y_1, y_2 \in \mathbb R_+. \end{aligned}$$
(4.9)
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
$$\begin{aligned} \mathbf{G}(0) := \begin{pmatrix}\alpha &{} \beta \\ \gamma &{} \delta \end{pmatrix}, \quad g \; : \mathbb R_+^2 \rightarrow \mathbb R^2_+ \quad g\left( y\right) := \begin{pmatrix}y_2\mathrm{e}^{-y_1}\\ y_1\mathrm{e}^{-y_2} \end{pmatrix} \quad \forall \, y = \begin{pmatrix}y_1 \\ y_2 \end{pmatrix} \in \mathbb R^2_+, \end{aligned}$$
(4.10)
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
$$\begin{aligned} A := -I, \quad B := I, \quad C := \begin{pmatrix}\alpha &{} \beta \\ \gamma &{} \delta \end{pmatrix}. \end{aligned}$$
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
$$\begin{aligned} v^T \mathbf{G}(0) g(y) \; < v^T y \quad \forall \, y = \begin{pmatrix}y_1 \\ y_2 \end{pmatrix} \in \mathbb R^2_+, \; y \ne 0,\end{aligned}$$
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
$$\begin{aligned} ( \alpha + v_2 \gamma )y_2\mathrm{e}^{-y_1} + (\beta + v_2 \delta )y_1\mathrm{e}^{-y_2} < y_1 + v_2 y_2 \quad \forall \, y = \begin{pmatrix}y_1 \\ y_2 \end{pmatrix} \in \mathbb R^2_+, \; y \ne 0, \end{aligned}$$
which is certainly satisfied if
$$\begin{aligned} \alpha + v_2 \gamma \le v_2 \quad \text {and} \quad \beta +v_2 \delta \le 1. \end{aligned}$$
(4.11)
In order to apply [58, Theorem 7.2] we require \(M \in \mathbb R^{2 \times 2}_+\) such that
$$\begin{aligned} g(y) \; \le My \quad \forall \, y \in \mathbb R^2_+ \quad \text {and} \quad \mathbb {1}^T \mathbf{G}(0) M \ll \mathbb {1}^T. \end{aligned}$$
The first condition necessitates that
$$\begin{aligned} N:= \begin{pmatrix}0 &{} 1 \\ 1 &{} 0 \end{pmatrix} \le M, \end{aligned}$$
and so substituting \(M=N\) into the second condition yields
$$\begin{aligned} \alpha + \gamma< 1\quad \text {and} \quad \beta + \delta < 1, \end{aligned}$$
(4.12)
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
$$\begin{aligned} \frac{\alpha }{1-\gamma }< v_2 < \frac{1-\beta }{\delta }, \end{aligned}$$
then (4.11) holds, and so statement (ii) of Corollary 2.13 applies. Similar examples may be constructed in discrete-time. \(\square \)

5 Discussion

Global stability of the zero equilibrium of systems of positive Lur’e differential and difference inclusions has been considered. We have also considered input-to-state stability of the zero equilibrium pair of these inclusions when subject to exogenous forcing. Under rather mild assumptions on the set-valued 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 continuous-time case, we have focussed on stability of global solutions, and have presented conditions in terms of weighted one-norms of the “product” \(\mathbf{G}(0)F(y)\) of the steady-state gain \(\mathbf{G}(0)\) and set-valued nonlinearity F, reminiscent of classical small-gain conditions, which are sufficient for global stability properties, including ISS for forced inclusions. As we commented in Remark 2.6, sufficient conditions for the small-gain 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 continuous-time case, and Theorem 3.1 in discrete-time. As corollaries we obtained a so-called ISS with bias result, Corollary 2.12, for forced inclusions where the small-gain 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.143.4 and 3.5 and worked Examples were presented in Sect. 4.

Footnotes

  1. 1.

    Although this assumption is not needed, it eases exposition.

Notes

Acknowledgements

B. Rüffer has been supported by ARC grant DP160102138.

References

  1. 1.
    Haddad, W.M., Chellaboina, V., Hui, Q.: Nonnegative and Compartmental Dynamical Systems. Princeton University Press, Princeton (2010)CrossRefzbMATHGoogle Scholar
  2. 2.
    Krause, U.: Positive Dynamical Systems in Discrete Time. De Gruyter, Berlin (2015)CrossRefzbMATHGoogle Scholar
  3. 3.
    Berman, A., Neumann, M., Stern, R.J.: Nonnegative Matrices in Dynamic Systems. Wiley, New York (1989)zbMATHGoogle Scholar
  4. 4.
    Krasnosel’skij, M.A., Lifshits, J.A., Sobolev, A.V.: Positive Linear Systems: The Method of Positive Operators. Heldermann Verlag, Berlin (1989)Google Scholar
  5. 5.
    Berman, A., Plemmons, R.J.: Nonnegative Matrices in the Mathematical Sciences. SIAM, Philadelphia (1994)CrossRefzbMATHGoogle Scholar
  6. 6.
    Luenberger, D.G.: Introduction to Dynamic Systems: Theory, Models, and Applications. Wiley, New York (1979)zbMATHGoogle Scholar
  7. 7.
    Gaubert, S., Gunawardena, J.: The Perron–Frobenius theorem for homogeneous, monotone functions. Trans. Am. Math. Soc. 356, 4931–4950 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Sine, R.: A nonlinear Perron–Frobenius theorem. Proc. Am. Math. Soc. 109, 331–336 (1990)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Lemmens, B., Nussbaum, R.: Nonlinear Perron–Frobenius Theory. Cambridge University Press, Cambridge (2012)CrossRefzbMATHGoogle Scholar
  10. 10.
    Smith, H.L.: Monotone Dynamical Systems. American Mathematical Society, Providence (1995)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    Hirsch, M.W., Smith, H.L.: Monotone maps: a review. J. Difference Equ. Appl. 11, 379–398 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Farina, L., Rinaldi, S.: Positive Linear Systems: Theory and Applications. Wiley, New York (2000)CrossRefzbMATHGoogle Scholar
  14. 14.
    Rantzer, A.: Scalable control of positive systems. Eur. J. Control 24, 72–80 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Coxson, P.G., Shapiro, H.: Positive input reachability and controllability of positive systems. Linear Algebra Appl. 94, 35–53 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Caccetta, L., Rumchev, V.G.: A survey of reachability and controllability for positive linear systems. Ann. Oper. Res. 98, 101–122 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Härdin, H.M., van Schuppen, J.H.: Observers for linear positive systems. Linear Algebra Appl. 425, 571–607 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Ohta, Y., Maeda, H., Kodama, S.: Reachability, observability, and realizability of continuous-time positive systems. SIAM J. Control Optim. 22, 171–180 (1984)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Benvenuti, L., Farina, L.: A tutorial on the positive realization problem. IEEE Trans. Automat. Control 49, 651–664 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    De Leenheer, P., Aeyels, D.: Stabilization of positive linear systems. Syst. Control Lett. 44, 259–271 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Roszak, B., Davison, E.J.: Necessary and sufficient conditions for stabilizability of positive LTI systems. Syst. Control Lett. 58, 474–481 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    Hinrichsen, D., Pritchard, A.J.: Stability radii of linear systems. Syst. Control Lett. 7, 1–10 (1986)MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Hinrichsen, D., Pritchard, A.J.: Stability radius for structured perturbations and the algebraic Riccati equation. Syst. Control Lett. 8, 105–113 (1986)CrossRefzbMATHGoogle Scholar
  24. 24.
    Son, N.K., Hinrichsen, D.: Robust stability of positive continuous time systems. Numer. Funct. Anal. Optim. 17, 649–659 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
  25. 25.
    Aubin, J.-P., Cellina, A.: Differential Inclusions. Springer, Berlin (1984)CrossRefzbMATHGoogle Scholar
  26. 26.
    Deimling, K.: Multivalued Differential Equations. Walter de Gruyter & Co., Berlin (1992)CrossRefzbMATHGoogle Scholar
  27. 27.
    Vrabie, I.I.: Differential Equations. World Scientific Publishing Co., Inc., River Edge (2004)CrossRefzbMATHGoogle Scholar
  28. 28.
    Liberzon, D.: Calculus of Variations and Optimal Control Theory. Princeton University Press, Princeton (2012)zbMATHGoogle Scholar
  29. 29.
    Vinter, R.: Optimal Control. Birkhäuser, Boston (2000)zbMATHGoogle Scholar
  30. 30.
    Clarke, F.H.: Optimization and Nonsmooth Analysis, 2nd edn. SIAM, Philadelphia (1990)CrossRefzbMATHGoogle Scholar
  31. 31.
    Aubin, J.-P., Frankowska, H.: Set-Valued Analysis. Birkhäuser, Boston (1990)zbMATHGoogle Scholar
  32. 32.
    Goebel, R., Sanfelice, R.G., Teel, A.R.: Hybrid dynamical systems: robust stability and control for systems that combine continuous-time and discrete-time dynamics. IEEE Control Syst. Mag. 29, 28–93 (2009)MathSciNetGoogle Scholar
  33. 33.
    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)Google Scholar
  34. 34.
    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)MathSciNetCrossRefzbMATHGoogle Scholar
  35. 35.
    Cortés, J.: Discontinuous dynamical systems: a tutorial on solutions, nonsmooth analysis, and stability. IEEE Control Syst. Mag. 28, 36–73 (2008)MathSciNetGoogle Scholar
  36. 36.
    Jayawardhana, B., Logemann, H., Ryan, E.: The circle criterion and input-to-state stability. IEEE Control Syst. Mag. 31, 32–67 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  37. 37.
    De Glas, M.: Exponential stability revisited. Int. J. Control 46, 1505–1510 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  38. 38.
    Liberzon, M.: Essays on the absolute stability theory. Autom. Remote Control 67, 1610–1644 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  39. 39.
    Vidyasagar, M.: Nonlinear Systems Analysis. SIAM, Philadelphia (2002)CrossRefzbMATHGoogle Scholar
  40. 40.
    Khalil, H.K.: Nonlinear Systems. Macmillan Publishing Company, New York (1992)zbMATHGoogle Scholar
  41. 41.
    Haddad, W.M., Chellaboina, V.: Nonlinear Dynamical Systems and Control. Princeton University Press, Princeton (2008)zbMATHGoogle Scholar
  42. 42.
    Bill, A., Guiver, C., Logemann, H., Townley, S.: The converging-input converging-state property for Lur’e systems. Math. Control Signals Syst. 29, 1–50 (2017)MathSciNetCrossRefzbMATHGoogle Scholar
  43. 43.
    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)MathSciNetCrossRefzbMATHGoogle Scholar
  44. 44.
    Rantzer, A., Rüffer, B., Dirr, G.: Separable Lyapunov functions for monotone systems. In: 52nd IEEE Conference on Decision and Control, Florence (2013)Google Scholar
  45. 45.
    Sontag, E.D.: Smooth stabilization implies coprime factorization. IEEE Trans. Automat. Control 34, 435–443 (1989)MathSciNetCrossRefzbMATHGoogle Scholar
  46. 46.
    Sontag, E.D.: Input to State Stability: Basic Concepts and Results, in Nonlinear and Optimal Control Theory, pp. 163–220. Springer, Berlin (2008)zbMATHGoogle Scholar
  47. 47.
    Sarkans, E., Logemann, H.: Input-to-state stability of Lur’e systems. Math. Control Signals Syst. 27, 439–465 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  48. 48.
    Jayawardhana, B., Logemann, H., Ryan, E.P.: Input-to-state stability of differential inclusions with applications to hysteretic and quantized feedback systems. SIAM J. Control Optim. 48, 1031–1054 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  49. 49.
    Townley, S., Rebarber, R., Tenhumberg, B.: Feedback control systems analysis of density dependent population dynamics. Syst. Control Lett. 61, 309–315 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  50. 50.
    Rebarber, R., Tenhumberg, B., Townley, S.: Global asymptotic stability of density dependent integral population projection models. Theor. Popul. Biol. 81, 81–87 (2012)CrossRefzbMATHGoogle Scholar
  51. 51.
    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)MathSciNetCrossRefzbMATHGoogle Scholar
  52. 52.
    Franco, D., Logemann, H., Perán, J.: Global stability of an age-structured population model. Syst. Control Lett. 65, 30–36 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  53. 53.
    Eager, E.A., Rebarber, R., Tenhumberg, B.: Global asymptotic stability of plant-seed bank models. J. Math. Biol. 69, 1–37 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  54. 54.
    Taylor, C.M., Hastings, A.: Allee effects in biological invasions. Ecol. Lett. 8, 895–908 (2005)CrossRefGoogle Scholar
  55. 55.
    Courchamp, F., Berec, L., Gascoigne, J.: Allee Effects in Ecology and Conservation. Oxford University Press, Oxford (2008)CrossRefGoogle Scholar
  56. 56.
    Schreiber, S.J.: Allee effects, extinctions, and chaotic transients in simple population models. Theor. Popul. Biol. 64, 201–209 (2003)CrossRefzbMATHGoogle Scholar
  57. 57.
    Eager, E., Rebarber, R., Tenhumberg, B.: Choice of density-dependent seedling recruitment function affects predicted transient dynamics: a case study with platte thistle. Theor. Ecol. 5, 1–15 (2011)Google Scholar
  58. 58.
    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)MathSciNetCrossRefzbMATHGoogle Scholar
  59. 59.
    Haddad, W.M., Chellaboina, V.S., August, E.: Stability and dissipativity theory for discrete-time non-negative and compartmental dynamical systems. Int. J. Control 76, 1845–1861 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  60. 60.
    Bill, A., Guiver, C., Logemann, H., Townley, S.: Stability of nonnegative Lur’e systems. SIAM J. Control Optim. 54, 1176–1211 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
  61. 61.
    Krause, U., Ranft, P.: A limit set trichotomy for monotone nonlinear dynamical systems. Nonlinear Anal. 19, 375–392 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  62. 62.
    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)Google Scholar
  63. 63.
    Rüffer, B.S., Sailer, R.: Input-to-state stability for discrete-time monotone systems. In: Proceeding of 21st International Symposium Mathematical Theory of Networks and Systems (MTNS), pp. 96–102 (2014)Google Scholar
  64. 64.
    Franco, D., Guiver, C., Logemann, H., Peràn, J.: Semi-global persistence and stability for a class of forced discrete-time population models. Physica D 360, 46–61 (2017)MathSciNetCrossRefzbMATHGoogle Scholar
  65. 65.
    Rüffer, B.S.: Small-gain conditions and the comparison principle. IEEE Trans. Automat. Control 55, 1732–1736 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  66. 66.
    Plemmons, R.J.: \(M\)-matrix characterizations. I. Nonsingular \(M\)-matrices. Linear Algebra Appl. 18, 175–188 (1977)MathSciNetCrossRefzbMATHGoogle Scholar
  67. 67.
    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)CrossRefzbMATHGoogle Scholar
  68. 68.
    Jiang, Z.P., Teel, A.R., Praly, L.: Small-gain theorem for ISS systems and applications. Math. Control Signals Syst. 7, 95–120 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  69. 69.
    Sontag, E.D., Wang, Y.: New characterizations of input-to-state stability. IEEE Trans. Automat. Control 41, 1283–1294 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
  70. 70.
    Caswell, H.: Matrix Population Models: Construction, Analysis, and Interpretation. Sinauer Associates, Sunderland (2001)Google Scholar

Copyright information

© The Author(s) 2018

Open AccessThis 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.

Authors and Affiliations

  1. 1.Department of Mathematical SciencesUniversity of BathBathUK
  2. 2.School of Mathematical and Physical SciencesThe University of NewcastleCallaghanAustralia

Personalised recommendations