A Remark on Monotone I/O Systems

Eduardo D. Sontag * * Email: sontag@math.rutgers.edu Dept. of Mathematics, Rutgers University, New Brunswick, NJ

Abstract
This note remarks that small-gain results for a negative feedback loop around a monotone system can be seen as consequences of results concerning an extended monotone system.
Introduction Several recent papers, see e.g. [1, 2, 3, 4, 5, 6and references there, have dealt with input/output monotone systems. Restricting for concreteness to the finite-dimensional continuous-time case, one considers systems with inputs and outputs in the standard sense of control theory ([9):
 $\begin{array}{c}\stackrel{˙}{x}=f\left(x,u\right),y=h\left(x\right)\end{array}$ (1)
and the interest is to study the effect of unity feedback $u=y$  , assuming that the input and output value spaces are the same, (More general feedbacks can be considered as well, simply redefining $h$  . Dynamic feedback can be included, too, by enlarging the system.) The general assumption is that $\stackrel{˙}{x}=f\left(x,u\right)$  is monotone as a system with inputs, meaning that partial orders are given on states and input values, and the dynamics preserves the orders.
It is also assumed that the open loop system is stable in an appropriate sense. The state space is a suitable subset of ${\mathbb{R}}^{n}$  .
There are basically two very distinct types of theorems:
• Positive-feedback results, for which $h$  is a monotone map. In this case, one relates location and stability of steady states to a reduced-dimension discrete or continuous-time dynamics, a dynamics which evolves in the space of input (and output) values.
• Negative-feedback results, for which $h$  is anti-monotone. Here one gives sufficient conditions for stability. The conditions can be interpreted as saying that “small enough gain” in the feedback loop does not destroy open-loop stability.
The purpose of this communication is to point out that these two types of theorems are very closely related. In summary, studying the system ( 1 ) under a negative feedback can be reduced, in the context of small-gain results, to the study of the following $2n$  -dimensional extended system:
 $\begin{array}{ccc}\stackrel{˙}{x}& =& f\left(x,u\right)\end{array}$
 $\begin{array}{ccc}\stackrel{˙}{z}& =& f\left(z,h\left(x\right)\right)\end{array}$ (2)
 $\begin{array}{ccc}y& =& h\left(z\right)\end{array}$
(obtained by cascading two copies of the original system) under feedback $u=y$  . The key observation is that the extended system is monotone in the i/o sense, and therefore the positive-feedback results can be applied to the closed-loop under $u=y$  . When interpreted in terms of the “diagonal” system obtained by restricting to $x=z$  , one recovers precisely the small-gain results.
We will keep the discussion somewhat informal, in order to emphasize the main ideas.
Missing details can be filled-in by using the techniques developed in the references.
Definitions and Assumptions We assume existence and uniqueness of maximal solutions of $\stackrel{˙}{x}=f\left(x,u\right)$  under locally bounded inputs; local Lipschitz conditions as in [9suffice for this. We take $h$  to be continuous. States $x\left(t\right)$  are assumed to belong to a closed invariant convex subset $X$  of ${\mathbb{R}}^{n}$  , and inputs to a closed convex subset $U$  of ${\mathbb{R}}^{m}$  , for some $n,m$  . Thus, solutions starting at $x\left(0\right)\in X$  and with inputs taking values $u\left(t\right)\in U$  have the property that $x\left(t\right)\in X$  for all $t>0$  in their maximal domain of definition. Outputs take values in $U$  as well, that is, $h:X\to U$  .
Convex proper cones with nonempty interiors are given on ${\mathbb{R}}^{m}$  and ${\mathbb{R}}^{n}$  , and, the system is monotone with respect to the orders that they induce. That is, $x\left(0\right)\le {x}^{\prime }\left(0\right)$  and $u\left(t\right)\le {u}^{\prime }\left(t\right)$  for all $t$  imply $x\left(t\right)\le {x}^{\prime }\left(t\right)$  for all $t$  in the common domain of definition, if $\stackrel{˙}{x}\left(t\right)=f\left(x\left(t\right),u\left(t\right)\right)$  and ${\stackrel{˙}{x}}^{\prime }\left(t\right)=f\left({x}^{\prime }\left(t\right),{u}^{\prime }\left(t\right)\right)$  .
A standard case is that in which $X$  and $U$  are the respective positive orthants (that is, states and inputs are required to have nonnegative coordinates), and the cones are also orthants, corresponding to coordinatewise partial orders, see [1. See [10, 11for excellent introductions to monotone systems (but with no inputs or outputs).
When $h$  is a monotone mapping, that is to say, $x\le {x}^{\prime }⇒h\left(x\right)\le h\left({x}^{\prime }\right)$  , we say that the system ( 1 ) is input/output (i/o) monotone. If $h$  is anti-monotone, meaning that $x\le {x}^{\prime }⇒h\left(x\right)\ge h\left({x}^{\prime }\right)$  , we will say that the system ( 1 ) is input/output (i/o) anti-monotone. Of course, these definitions are all relative to the orders in states and outputs.
We will suppose from now on that the system ( 1 ) is i/o anti-monotone.
Now we consider the system ( 2 ). Its state space is the Cartesian product $X×X$  . As an order in this extended state space, we will pick, for pairs $\left(x,z\right)$  and $\left({x}^{\prime },{z}^{\prime }\right)$  , the following one:
$\left(x,z\right)\le \left({x}^{\prime },{z}^{\prime }\right)⇔x\le {x}^{\prime }\text{and}z\ge {z}^{\prime }$  where “ $\le$  ” denotes the order on $X$  . The extended system is monotone. Indeed, suppose that $\left(x\left(0\right),z\left(0\right)\right)\le \left({x}^{\prime }\left(0\right),{z}^{\prime }\left(0\right)\right)$  in the order in $X×X$  , that is, $x\left(0\right)\le {x}^{\prime }\left(0\right)$  and ${z}^{\prime }\left(0\right)\le z\left(0\right)$  , and that $u\left(t\right)\le {u}^{\prime }\left(t\right)$  . Then $x\left(t\right)\le {x}^{\prime }\left(t\right)$  for all $t$  (where defined). Now consider $h\left(x\left(t\right)\right)$  and $h\left({x}^{\prime }\left(t\right)\right)$  as inputs to the system $\stackrel{˙}{z}=f\left(z,x\right)$  , and notice that $h\left({x}^{\prime }\left(t\right)\right)\le h\left(x\left(t\right)\right)$  since $h$  is anti-monotone. Since ${z}^{\prime }\left(0\right)\le z\left(0\right)$  , monotonicity of ( 1 ) gives us that ${z}^{\prime }\left(t\right)\le z\left(t\right)$  for all $t$  . Thus, $\left(x\left(t\right),z\left(t\right)\right)\le \left({x}^{\prime }\left(t\right),{z}^{\prime }\left(t\right)\right)$  in the order in $X×X$  , showing monotonicity. It is very important to notice that the output map $\left(x,z\right)↦h\left(z\right)$  is monotone, not anti-monotone, once that we have reversed the order in this fashion. Therefore, the extended system ( 2 ) is i/o monotone.
We will make the following assumption:
• (B) Every solution of the closed loop system $\stackrel{˙}{x}=f\left(x,h\left(z\right)\right)$  , $\stackrel{˙}{z}=f\left(z,h\left(x\right)\right)$  is bounded.
Although this is, generally speaking, a strong assumption, it is automatically satisfied in many situations of interest, as we discuss below. Moreover, our purpose is to re-interpret small-gain theorems as in [1, 3in terms of the extended system, and small-gain theorems have similar boundedness hypotheses.
One general situation in which (B) is satisfied is as follows. Suppose that the open-loop system $\stackrel{˙}{x}=f\left(x,u\right)$  has the following property: for every constant input $u\left(t\right)\equiv {u}_{0}$  , solutions are bounded. One case when this happens is if, as in [1, 3, one assumes that a characteristic exists, meaning that for every constant input, there is a state ${x}_{u}\in X$  such that all solutions converge to ${x}_{u}$  . Existence of characteristics obviously implies boundedness. (As it turns out, boundedness together with uniqueness of steady states for each ${u}_{0}$  is already equivalent to the convergence property, via the results of [7, 8.) Suppose also that, as common in biological inhibitory loops, the map $h$  is bounded (for instance, it has the form $V/\left(K+{x}_{n}\right)$  ). Finally, assume that $X$  and $U$  have the property that any bounded subset is included in a “rectangle” in the sense that ${U}_{0}\subseteq U$  bounded implies the existence of ${u}_{-},{u}_{+}\in U$  such that ${u}_{-}\le u\le {u}_{+}$  for all $u\in {U}_{0}$  and similarly for $X$  . Now consider any solution of the closed-loop system. Since $u=h\left(z\right)$  is bounded, this solution is also a solution of the open-loop system $\stackrel{˙}{x}=f\left(x,u\right)$  , $\stackrel{˙}{z}=f\left(z,h\left(x\right)\right)$  with some bounded input $u$  . So there are two constant inputs ${u}_{-}$  and ${u}_{+}$  such that ${u}_{-}\le u\left(t\right)\le {u}_{+}$  for all $t$  . This means, because of monotonicity, that $x\left(t\right)$  remains bounded between the solutions corresponding to the two constant inputs. Now we repeat with the system $\stackrel{˙}{z}=f\left(z,h\left(x\right)\right)$  , which has a bounded input since $h\left(x\left(t\right)\right)$  is bounded. So the state of the composite system remains bounded, as we wanted.
An Observation The main observation is as follows:
• Suppose that the closed loop system $\stackrel{˙}{x}=f\left(x,h\left(z\right)\right)$  , $\stackrel{˙}{z}=f\left(z,h\left(x\right)\right)$  has a unique steady state. Then there is a state $\overline{x}$  such that every solution of $\stackrel{˙}{x}=f\left(x,h\left(x\right)\right)$  converges to $\overline{x}$  .
The assumption means that there is only one solution $\left(\overline{x},\overline{z}\right)$  to these algebraic equations:
 $\begin{array}{ccc}f\left(x,h\left(z\right)\right)& =& 0\end{array}$
 $\begin{array}{ccc}f\left(z,h\left(x\right)\right)& =& 0.\end{array}$
From the results in [7, 8(Theorem 1 in the latter, although stated for discrete iterations, also applies to differential equations, as remarked in that same paper), we have then that all solutions of the closed-loop system converge to $\left(\overline{x},\overline{z}\right)$  . (Note that monotonicity of the extended system is essential in this argument. The results from [7, 8do not apply to the original system, which is not monotone in closed-loop.) In particular, then, we can consider those solutions starting at the diagonal $\Delta =\left\{\left(x,x\right)\in X×X\right\}$  . By uniqueness of solutions, these are precisely the functions of the form $\left(x\left(t\right),x\left(t\right)\right)$  , where $x\left(t\right)$  solves $\stackrel{˙}{x}=f\left(x,h\left(x\right)\right)$  . Therefore, we conclude that $x\left(t\right)\to \overline{x}$  .
We have given a sufficient condition ensuring convergence of all solutions to an equilibrium, for the negative feedback (and hence not monotone) system $\stackrel{˙}{x}=f\left(x,h\left(x\right)\right)$  . This condition is far from being necessary. For example, consider the linear monotone system $\stackrel{˙}{x}=-x+u$  , with $X=U=\mathbb{R}$  and the output map $h\left(x\right)=-kx$  , where $k$  is a positive constant. The closed-loop system $\stackrel{˙}{x}=f\left(x,h\left(x\right)\right)$  is $\stackrel{˙}{x}=-\left(1+k\right)x$  , which is globally asymptotically stable for any $k>0$  .
On the other hand, the composite system is $\stackrel{˙}{\xi }=A\xi$  , where $\xi$  is the vector with components $x$  and $z$  and $A=\begin{pmatrix}-1 & -k\\ -k & -1\end{pmatrix}$  and this matrix is stable (so (B) holds, and equilibria are unique) if and only if $k<1$  (“small-gain” condition). The gap is due to the fact that arbitrary delays can be tolerated in the feedback loop: the same conditions guarantee that the delay-differential system $\stackrel{˙}{x}\left(t\right)=f\left(x\left(t\right),h\left(x\left(t-r\right)\right)\right)$  has a global stability property, for any delay length $r>0$  , as follows by applying the same argument to the extended system. (See [10for a discussion of how delays, if appearing at appropriate places in the system equations, do not affect stability for monotone systems, or, specifically in the context of small gain theorems the discussion in [6.) We next discuss how our observation relates to the conditions imposed in small-gain theorems for monotone systems. For this, we assume that the system $\stackrel{˙}{x}=f\left(x,u\right)$  admits a characteristic, and we denote as $k:U\to U$  the function that assigns to each value $u\in U$  the output value $y=h\left({x}_{u}\right)$  , where ${x}_{u}$  is the steady state to which trajectories converge under the constant input $u\left(t\right)\equiv u$  . It is easy to see that $k$  is anti-monotone. Thus, if there is a fixed point $k\left(u\right)=u$  , then under slight additional assumptions (strict decrease), this fixed point must be unique. On the other hand, convexity of $U$  plus appropriate boundedness often allows one to apply a fixed-point theorem and conclude that such an $u$  must indeed exist. In any event, the small-gain conditions in [1, 3amount to asking that the following iteration on $U$  :
${u}^{+}=k\left(u\right)$  must globally converge to a fixed point. As remarked in this context in [5for scalar systems, and generally in [3, this global convergence condition is equivalent, under assumptions subsumed by the ones made here, to asking that solutions of the iteration be bounded (which automatically happens if, for example, $h$  is bounded) and that $k\left(k\left(u\right)\right)=u\text{has a unique solution.}$  Now, the characteristic of the extended system ( 2 ) is well-defined, and it is precisely ${k}^{2}$  . In view of the one to one correspondence between steady states of the closed-loop extended system and solutions of $k\left(k\left(u\right)\right)=u$  , we conclude that the assumption that the closed loop system $\stackrel{˙}{x}=f\left(x,h\left(z\right)\right)$  , $\stackrel{˙}{z}=f\left(z,h\left(x\right)\right)$  system has a unique steady state is equivalent to the small-gain condition that ${u}^{+}=k\left(u\right)$  is globally convergent. This provides an equivalence between the condition as stated here and the small-gain condition as stated in our previous papers.
Linear Systems The picture is especially clear for linear systems. Linear systems are of interest in themselves and also serve to provide local versions of stability results for nonlinear systems. For linear systems, one can give a self-contained algebraic proof, with no need to appeal to [7, 8.
We assume now that $f\left(x,u\right)=Ax+Bu$  , $h\left(x\right)=-Cx$  , where the matrix $A$  is an $n×n$  quasi-monotone real matrix and $B$  and $C$  are both monotone, $B\in {\mathbb{R}}^{n×m}$  and $C\in {\mathbb{R}}^{m×n}$  .
(Quasi-monotonicity means that the exponentials ${e}^{tA}$  are monotone, for all $t>0$  , and can be characterized algebraically, see e.g. [11. For the standard case in which the cone is the main orthant in ${\mathbb{R}}^{n}$  , quasi-monotone is the same as “Metzler matrix,” i.e. the off-diagonal entries of $A$  must be nonnegative.) We also assume that $A$  is a Hurwitz matrix (all its eigenvalues have negative real parts). The extended open-loop system has the form $\stackrel{˙}{\xi }=F\xi +Gu$  , $y=H\xi$  , where $F=\begin{pmatrix}A & 0\\ -BC & A\end{pmatrix},G=\begin{pmatrix}B\\ 0\end{pmatrix},H=\begin{pmatrix}0 & -C\end{pmatrix},$  and its characteristic is the linear map ${k}^{2}\left(x\right)={K}^{2}x$  , where $K=-C{A}^{-1}B.$  The closed-loop extended system is $\stackrel{˙}{\xi }=\left(F+GH\right)\xi$  , where $F+GH=\begin{pmatrix}A & -BC\\ -BC & A\end{pmatrix}.$  It is shown in [2for the scalar input case, and in [4(Theorem 2 and Lemma 1; the nonsingularity assumption turns out to be redundant) for the general case, that for a linear monotone system, stability of the closed loop amounts to the spectral radius $\rho$  of the characteristic being less than one. That is, $F+GH$  is a Hurwitz matrix if and only if all eigenvalues of ${K}^{2}$  lie strictly inside the unit disk. A matrix $K$  has spectral radius less than one if and only if ${K}^{2}$  does. Therefore, $F+GH$  being Hurwitz is equivalent to the small-gain condition $\rho \left(K\right)<1$  . (Which is equivalent, of course, to the global convergence of the iteration ${u}^{+}=k\left(u\right)$  .) A change of variables using $y=x+z$  on the extended system brings it into the following form:
 $\begin{array}{ccc}\stackrel{˙}{y}& =& \left(A-BC\right)y\end{array}$
 $\begin{array}{ccc}\stackrel{˙}{z}& =& -BCy+\left(A+BC\right)z,\end{array}$
so stability of the composite system is equivalent to:
$A-BC\text{and}A+BC\text{are both Hurwitz matrices.}$  The gap with necessity is then clear: stability of the original system under feedback means merely that $A-BC$  must be Hurwitz. It is also interesting to notice that, when Theorem 2 and Lemma 1 of [4are applied to the i/o monotone system $\stackrel{˙}{x}=Ax+Bu$  with output $y=Cx$  (instead of the anti-monotone output $y=-Cx$  ), one concludes that $\rho \left(K\right)<1$  is equivalent to just $A+BC$  being a Hurwitz matrix.
Concluding Remarks We described how “small-gain” results for negative feedback loops around monotone systems can be viewed as a consequence of results for feedback loops on an extended monotone system. It is important to point out, however, that often small-gain results can be derived under somewhat weaker assumptions that those made here, and our “proof by embedding” may not cover all such situations.
Negative feedback loops involving monotone systems are of interest, in particular, because any system with sign-definite interactions can be written in that form. This is obvious (just pull-out the negative connections into the feedback loop), but can be analyzed from the point of view of minimizing the number of inputs and outputs (cf. [4).
An interesting consequence of our approach is the following connection between periodic behavior of the original system and multi-stability of the extended one: if the extended system has unique steady states, then we have convergence to equilibria in the original system. Thus, periodic behavior of this system would imply, under the assumptions of this note, the existence of multiple equilibria for the extension.
A very weak sort of converse is valid as well. Input values $u$  with $k\left(k\left(u\right)\right)=u$  which do not arise from the unique fixed point of $k\left(u\right)=u$  are period-two orbits of the iteration ${u}^{+}=k\left(u\right)$  .
Now suppose that we consider the delay differential system $\stackrel{˙}{x}\left(t\right)=f\left(x\left(t\right),h\left(x\left(t-r\right)\right)\right)$  , where the delay $r>0$  is very large. We take the initial condition $x\left(t\right)={x}_{0}$  , $t\in \left[-r,0\right]$  , where ${x}_{0}$  is picked in such a manner that $h\left({x}_{0}\right)={u}_{0}$  , and ${u}_{0}\ne {u}_{1}$  are two elements of $U$  such that $k\left({u}_{0}\right)={u}_{1}$  and $k\left({u}_{1}\right)={u}_{0}$  . By definition of characteristic, the solution $x\left(t\right)$  approaches ${x}_{1}$  , where $h\left({x}_{1}\right)={u}_{1}$  , if the input to the open-loop system $\stackrel{˙}{x}=f\left(x,u\right)$  is $u\left(t\right)\equiv {u}_{0}$  . Thus, if $r$  is large enough, the solution of the closed-loop system will be close to the constant value ${x}_{1}$  for $t\approx r$  . Repeating this procedure, one can show the existence of a lightly damped “oscillation” between the values ${x}_{0}$  and ${x}_{1}$  , in the sense of a trajectory that comes close to these values as many times as desired (a larger $r$  being in principle required in order to come closer and more often). In certain applications such as molecular biological experiments, measurements have poor resolution and time duration. In such a situation, it may be impossible to practically determine the difference between such pseudo-oscillations and true oscillations.
It is an open question to prove the existence of true periodic orbits, for large enough delays, when the small-gain condition fails. This is closely related to questions of singular perturbations for delay systems, by time-re-parametrization (we owe this remark to Roger Nussbaum and to Hal Smith). For example, in the scalar case, and with $y=x$  , asking that $\stackrel{˙}{x}=f\left(x,x\left(t-r\right)\right)$  , has periodic orbits for large enough $r$  is equivalent to asking that $\varepsilon \stackrel{˙}{x}\left(t\right)=f\left(x\left(t\right),x\left(t-1\right)\right)$  has periodic orbits for small enough $\varepsilon >0$  . For $\varepsilon =0$  , we have the algebraic equation $f\left(x,u\right)=0$  that defines the characteristic $x=k\left(u\right)$  . Thus one would want to know that periodic orbits of the iteration ${u}^{+}=k\left(u\right)$  , seen as the degenerate case $\varepsilon =0$  , survive for small $\varepsilon >0$  .
References

1. D. Angeli, E.D. Sontag, Monotone control systems, IEEE Trans. Autom. Control 48: 1684-1698, 2003.
2. D. Angeli, E.D. Sontag, Multistability in monotone input/output systems, Systems and Control Letters 51: 185–202, 2004.
3. G. Enciso, E. Sontag, On the global attractivity of abstract dynamical systems satisfying a small gain hypothesis, with application to biological delay systems, Discrete and Continuous Dynamical Systems, to appear.
4. G.A. Enciso, E.D. Sontag, Monotone systems under positive feedback: multistability and a reduction theorem, Systems and Control Letters 54: 159–168, 2005.
5. D. Angeli, P. De Leenheer, E.D. Sontag, On predator-prey systems and small-gain theorems, Mathematical Biosciences and Engineering 2: 25–42, 2005.
6. D. Angeli, E.D. Sontag, Interconnections of monotone systems with steady-state characteristics, in Optimal Control, Stabilization, and Nonsmooth Analysis (de Queiroz, M., M. Malisoff, and P. Wolenski, eds.), Springer-Verlag, Heidelberg, 2004, pp. 135–154.
7. Jiang, J.F., On the global stability of cooperative systems, Bulletin of the London Mathematical Society 6: 455–458, 1994.
8. E.N. Dancer, Some remarks on a boundedness assumption for monotone dynamical systems, Proc. of the AMS 126: 801-807, 1998.
9. E.D. Sontag, Mathematical Control Theory: Deterministic Finite Dimensional Systems, Second Edition, Springer, New York, 1998.
10. H.L. Smith, Monotone Dynamical Systems, AMS, Providence, 1995.
11. M. Hirsch, H.L. Smith, Monotone Dynamical Systems, to appear in Handbook of Differential Equations, Ordinary Differential Equations (second volume), Elsevier, 2005.