Abstract
Positive dynamical or control systems have all their variables nonnegative. Euler discretization transforms a continuous-time system into a system on a discrete time scale. Some structural properties of the system may be preserved by discretization, while other may be lost. Four fundamental properties of positive systems are studied in the context of discretization: positivity, positive stability, positive reachability and positive observability. Both linear and nonlinear systems are investigated.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Positive systems have all the variables nonnegative. They appear in biology, chemistry and economics (see, e.g., [20, 25] for example). A continuous-time positive control system is described by a differential equation of the form \(\dot{x}=f(x,u)\), where x is the vector of state variables, u is the vector of control (input) variables, and \(\dot{x}=\frac{\hbox {d}x}{\hbox {d}t}\). If the control does not appear on the right-hand side, then the system is an autonomous dynamical system. In many situations, we want to discretize the time: the continuous time is replaced by a discrete one. The main reason for discretization is of computational nature: we can find trajectories of the discretized system, and they are approximations of trajectories of the continuous-time system. However, such a procedure may destroy certain properties of the original continuous-time system. In this work, we study several qualitative properties of positive systems and check if they are invariant under discretization.
We restrict ourselves to Euler discretization, where the time derivative of \(\dot{x}(t)\) is replaced by a difference quotient \((x(t+h)-x(t))/h\). However, contrary to a standard approach, we allow the step h to depend on time t. This means that the discretized system becomes a dynamical system on some discrete time scale \(\mathbb {T}\). Thus, we can use calculus on time scales and theory of dynamical systems on time scales in our study on discretization [12]. Theory of systems on time scales contains as particular cases theory of continuous-time systems and theory of discrete-time systems. However, it is more than just mere unification of two theories, since it admits systems on hybrid time scales, which are partly continuous and partly discrete, and on nonhomogeneous discrete time scales. Besides nonuniform discretization also nonuniform sampling leads to systems on discrete time scales that are not homogeneous.
Invariance of certain structural properties under discretization has been studied since the beginning of the numerical methods for solving differential equations. Overviews of this topic can be found in [13, 19]. Much effort has been put to the problem of preserving stability under discretization (see, e.g., [1, 19, 21]). Positivity and discretization was a topic of [14], with the emphasis put on constraints. Nonstandard discretization, with a variable discretization step, was studied in [16]. Though the language of time scales has not been used there, this approach is close in the spirit to the one admitted here. Positivity of the system means that the nonnegative cone is invariant with respect to the dynamics of the system. In [23, 24], the authors considered systems for which instead of the nonnegative cone other sets, like polyhedrons or ellipsoids, were used. Both continuous-time and discrete-time systems were studied, as well as constant step discretization. Still another approach to discretization can be found in [26]. The authors of this paper generate a discrete time scale in a stochastic way.
First, we attack the basic property of positive systems, i.e., positivity itself. We give conditions on the system and the graininess function of the discrete time scale under which the discretized system is positive. For linear systems small graininess guarantee positivity of the discretized system, but for nonlinear systems such discretization may not exist.
Another important property that we investigate is positive uniform exponential stability. We show that if discretization preserves positivity than it also preserves positive uniform exponential stability. This is especially simple for linear systems as for any time scale with a bounded graininess necessary and sufficient condition for positive uniform exponential stability is the same. Though preservation of stability under discretization was studied before for a more general class of systems (not necessarily positive), the result of this paper cannot be deduced from these studies, since we exploit the specific structure of positive systems.
Finally, we study positive reachability and observability. These are very demanding properties for positive continuous-time systems, so discretization cannot spoil too much. Thus, a discretized system is positively reachable once it is positive and the original continuous-time system is positively reachable. Similarly, a discretized system is positively observable if it is positive and the original continuous-time system is positively observable.
Thus, the contribution of this paper consists of presenting conditions under which positivity, positive uniform exponential stability, positive reachability and positive observability are preserved during discretization. To our knowledge, these results are new. Most of them are specific to positive systems. They do not have their counterparts for other classes of systems. For example, Proposition 12 states that any discretization of a continuous-time positive system that preserves positivity, preserves also positive uniform exponential stability. Preservation of stability under discretization has been studied by many authors, but not for positive systems. Also, the technique based on calculus on time scales is new for this type of problems. It allows for natural treatment of discretizations with variable step.
We rely here on our previous results concerning positivity, positive stability, positive reachability and positive observability of systems on various time scales [2,3,4, 6,7,8,9,10]. We recall these results without proofs. They allow for easy switching from one time scale to another, so in particular we can easily derive conditions under which certain properties are preserved during discretization. Without these earlier results, the proofs would be much more complicated and might involve recovering some of the facts proved in these papers.
2 Preliminaries
Let us first fix notation and terminology. By \(\mathbb {R}_+\), we denote the set of all nonnegative real numbers. Similarly, \(\mathbb {R}^n_+\) and \(\mathbb {R}^{n\times m}_+\) denote the sets of real column vectors and \(n\times m\) matrices with nonnegative elements. Such a vector or matrix will be called nonnegative. A column or row vector is called i-monomial if its ith component is positive and the others are 0. It is called monomial, if it is i-monomial for some i. The i-monomial column vector whose ith component is equal 1 is denoted by \(e_i\). An \(n\times n\) real matrix is monomial, if all its rows and columns are monomial. Then such a matrix is invertible and its inverse is also monomial. If X is an arbitrary set, then a map \(f: X\rightarrow \mathbb {R}^n_+\) is i-monomial, if for every \(x\in X\) the vector f(x) is i-monomial.
By a cone in \(\mathbb {R}^n\), we mean a subset K of \(\mathbb {R}^n\) such that if \(x\in K\) then for every \(\alpha \in \mathbb {R}_+\), \(\alpha x\in K\). The set \(\mathbb {R}^n_+\) is a cone, called the nonnegative cone. It has n faces. Each face is the intersections of \(\mathbb {R}^n_+\) with some hyperplane \(x_i=0\), where \(i\in \{1,\ldots ,n\}\). The faces are cones as well. For a nonempty subset I of \(\{1,\ldots ,n\}\) let \(K_I\) mean the intersection of \(\mathbb {R}^n_+\) with all the hyperplanes \(x_i=0\) with \(i\notin I\). Each \(K_I\) is a cone. Occasionally, it will be called a subface of \(\mathbb {R}^n_+\). If \(I=\{i\}\), then \(K_I\) is a nonnegative half-axis \(x_i\ge 0\). It will be shortly denoted by \(K_i\). Let U be an open neighborhood of 0. We say that a vector field f on \(\mathbb {R}^n\) is tangent to \(K_I\cap U\) if for all \(x\in K_I\cap U\), \(f_j(x)=0\) for \(j\notin I\). For \(I=\{1,\ldots ,n\}\), \(K_I=\mathbb {R}^n_+\).
By a nonnegative neighborhood of 0 in \(\mathbb {R}^n\), we mean the intersection of some open neighborhood of 0 with \(\mathbb {R}^n_+\).
Let U and V be open subsets of \(\mathbb {R}^n\) and \(f:U\rightarrow V\). The map f is a diffeomorphism, if it is bijective, differentiable and its inverse is also differentiable.
We need some basic information about calculus on time scales. More can be found in [12].
Definition 1
A time scale\(\mathbb {T}\) is an arbitrary nonempty closed subset of the set \(\mathbb {R}\) of real numbers.
Example 1
The following sets are examples of time scales: \(\mathbb {R}\), \(h\mathbb {Z}\) for \(h>0\) and \(q^{\mathbb {N}}:=\{ q^k, k\in \mathbb {N}\}\) for \(q>1\).
A time scale is a topological space with the topology induced from \(\mathbb {R}\).
Assumption 1
We assume that \(\sup \mathbb {T}=+\infty \).
The forward jump operator \(\sigma _\mathbb {T}:\mathbb {T} \rightarrow \mathbb {T}\) is defined by \(\sigma _\mathbb {T}(t):=\inf \{s \in \mathbb {T}:s>t\}\), and the graininess function by \(\mu _\mathbb {T}(t):=\sigma _\mathbb {T}(t)-t\).
Definition 2
\(\mathbb {T}\) is a homogeneous time scale, if \(\mu _\mathbb {T}\) is constant. \(\mathbb {T}\) is a discrete time scale, if \(\mu _\mathbb {T}(t)>0\) for all \(t\in \mathbb {T}\).
Observe that a homogeneous time scale satisfying Assumption 1 has one of the forms: \(\mathbb {R}\), \([a,+\infty )\), \(h\mathbb {Z}\) and \(\{a+hk,k\in \mathbb {N}\}\) for some \(a\in \mathbb {R}\) and \(h>0\).
If \(t_0,t_1\in \mathbb {T}\), then \((t_0,t_1)_\mathbb {T}\) denotes the intersection of the ordinary interval \((t_0,t_1)\) with \(\mathbb {T}\). Similarly for other types of intervals.
Definition 3
Let \(f:\mathbb {T} \rightarrow \mathbb {R}\) and \(t \in \mathbb {T}\). The delta derivative of f at t, denoted by \(f^{\varDelta }(t)\), is the real number with the property that given any \(\varepsilon >0\) there is a neighborhood \(U=(t-\delta ,t+\delta )_\mathbb {T}\) such that
for all \(s \in U\).
Example 2
If \(\mathbb {T}=\mathbb {R}\), then \(f^{\varDelta }(t)=f'(t)\).
If \(\mathbb {T}=h\mathbb {Z}\), then \(f^{\varDelta }(t)=\frac{f(t+h)-f(t)}{h}\).
If \(\mathbb {T}=q^{\mathbb {N}}\), then \(f^{\varDelta }(t)=\frac{f(qt)-f(t)}{(q-1)t}\).
A function \(F:\mathbb {T}\rightarrow \mathbb {R}\) is called an antiderivative of \(f: \mathbb {T}\rightarrow \mathbb {R}\) provided \(F^{\varDelta }(t)=f(t)\) holds for all \(t \in \mathbb {T}^k\). Let \(a,b\in \mathbb {T}\). Then, the delta integral of f on the interval \([a,b)_\mathbb {T}\) is defined by
It is more convenient to consider the half-open interval \([a,b)_\mathbb {T}\) than the closed interval \([a,b]_\mathbb {T}\) in the definition of the integral. If b is a left-dense point, then the value of f at b would not affect the integral. On the other hand, if b is left-scattered, the value of f at b is not essential for the integral (see Example 3). This is caused by the fact that we use delta integral, corresponding to the forward jump function.
It can be shown that every continuous function has an antiderivative. Moreover,
Example 3
a) If \(\mathbb {T}=\mathbb {R}\), then \(\int \limits _a^b f(\tau ) \varDelta \tau =\int \limits _a^b f(\tau )\hbox {d}\tau \), where the integral on the right is the usual Riemann integral.
b) If \(\mathbb {T}=h\mathbb {Z}\), \(h>0\), then \(\int \limits _a^b f(\tau )\varDelta \tau =\sum \limits _{t=\frac{a}{h}}^{\frac{b}{h}-1}f(th)h\) for \(a<b\).
Consider now a nonlinear control system on the time scale \(\mathbb {T}\)
where \(t\in \mathbb {T}\), \(x(t)\in \mathbb {R}^n\), \(u_j(t)\in \mathbb {R}\) for \(j+1,\ldots ,m\), and f and \(g^j\), \(j=1,\ldots ,m\), are maps from \(\mathbb {R}^n\) to \(\mathbb {R}^n\). We will assume that the control \(u=(u_1,\ldots ,u_m)^T\) is a piecewise constant function defined on \([0,T_u]_\mathbb {T}\) with values in \(\mathbb {R}^m\), where \(T_u\) depends on u. See [6] for a precise definition of piecewise constant controls. For each initial point \(x(0)=x_0\in \mathbb {R}^n\), there exists a nonempty set of admissible controls, such that for each u in this set there exists a unique forward solution of (1), defined on \([0,T_u]_\mathbb {T}\). When we set \(u=0\), system (1) becomes a dynamical system on the time scale \(\mathbb {T}\), given by
Let \(G(x)=(g^1(x),\ldots ,g^m(x))\).
Remark 1
If \(\mu _\mathbb {T}\equiv 0\), then (1) is a standard differential equation \(\dot{x}=f(x){ + G(x) u}\).
If \(\mu _\mathbb {T}(t)>0\) for all \(t\in \mathbb {T}\), then (1) may be rewritten as
This is a discrete-time system in the shift form, but, in general, with a nonconstant time shift. For \(\mathbb {T}=\mathbb {Z}\), one gets the classical discrete-time system.
Proposition 1
([12]) For every initial condition \(x(t_0)=x_0\in \mathbb {R}^n\), there exists a unique forward solution (trajectory) \(x:[t_0,T)_\mathbb {T}\rightarrow \mathbb {R}^n\) of (2) for some \(T>t_0\), \(T\in \mathbb {T}\).
Note that for discrete time scales backward trajectories of (2) may not exist.
Assumption 2
We assume that the forward trajectories of (2) are defined for all \(t\ge t_0\), \(t\in \mathbb {T}\).
Assumption 2 holds, for example, for linear systems \(x^\varDelta (t)=Ax(t)\), where A is a real \(n\times n\) matrix.
Theorem 1
([12]) Let \(t_0 \in \mathbb {T}\) and \(x_0 \in \mathbb {R}^n\). Then, the linear system \(x^\varDelta (t)=Ax(t)\) with the initial condition \(x(t_0)=x_0\) has a unique solution x defined on \([t_0,+\infty )\cap \mathbb {T} \).
This result can be extended to matrix-valued solutions of the equation \(X^\varDelta (t)=AX(t)\), where X(t) is an \(n\times n\) matrix, which leads to the following definition.
Definition 4
Let \(t_0\in \mathbb {T}\). A function \(X: [t_0,+\infty )\cap \mathbb {T} \rightarrow \mathbb {R}^{n\times n}\) that satisfies the matrix delta differential equation
and the initial condition \(X(t_0)=I\), where I is the \(n\times n\) identity matrix, is called the matrix exponential function (corresponding to A) initialized at \(t_0\). Its value at \(t\in \mathbb {T}\), \(t\ge t_0\), is denoted by \(e_A(t,t_0)\).
Then, the solution of the initial value problem
can be written as
The exponential function \(e_A\) can also be used to express the forward solution to the linear control system \(x^\varDelta =Ax+Bu\), corresponding to the initial condition \(x(t_0)=x_0\):
where \(t\in \mathbb {T}\), \(t\ge t_0\) (see, e.g., [12]).
3 Discretization and positivity
We introduce here two main concepts of this paper: discretization and positivity, and study relations between them.
Definition 5
Let \(\mathbb {T}\) be a discrete time scale. By \(\mathbb {T}\) -discretization of the continuous-time system \(\dot{x}=f(x){ +G(x)u}\), we mean the system
on the time scale \(\mathbb {T}\), where \(x^\varDelta \) denotes the delta derivative of x on \(\mathbb {T}\).
Thus, in \(\mathbb {T}\)-discretization we replace \(\dot{x}(t)\) by \(\frac{x(t+\mu _\mathbb {T}(t))-x(t)}{\mu _\mathbb {T}(t)}\). This corresponds to the classical Euler discretization, but with possibly variable step.
Later we will study a continuous-time system with output:
where the output y belongs to \(\mathbb {R}^p\). As the output equation does not involve time derivative, the \(\mathbb {T}\)-discretization of (4) will consist of \(\mathbb {T}\)-discretization of the dynamic part together with the same output equation. On the other hand, setting \(u=0\) we get a dynamical system without control, so Definition 5 says also what is \(\mathbb {T}\)-discretization of the system \(x^\varDelta =f(x)\).
Positivity will be defined for a control system with output on an arbitrary time scale \(\mathbb {T}\).
Definition 6
The system
is positive if for all \(t_0\in \mathbb {T}\) the trajectory starting from any \(x(t_0)=x_0\in \mathbb {R}^n_+\) and corresponding to control \(u(t)\in \mathbb {R}^m_+\) stays in \(\mathbb {R}^n_+\) for all \(t\ge t_0\), \(t\in \mathbb {T}\), and \(y(t)\in \mathbb {R}^p_+\), for all \(t\ge t_0\), \(t\in \mathbb {T}\).
Let \(f_i\) be the ith component of f and \(g^j_i\) be the ith component of \(g^j\). The following characterization of positivity is an extension to systems on time scales of known characterizations for continuous-time and discrete-time systems
Proposition 2
([5]) The system (5) is positive if and only if the following conditions are satisfied:
-
(i)
for all \(i=1,\ldots ,n\), all \(j=1,\ldots ,m\), all \(x\in \mathbb {R}^n_+\) and all \(t\in \mathbb {T}\): \(x_i+\mu _\mathbb {T}(t)f_i(x)\ge 0\) and \(g^j_i(x)\ge 0\),
-
(ii)
if there is \(t\in \mathbb {T}\) such that \(\mu _\mathbb {T}(t)=0\), then for all \(i=1,\ldots ,n\), all \(j=1,\ldots ,m\), and all \(x\in \mathbb {R}^n_+\) such that \(x_i=0\), \(f_i(x)\ge 0\) and \(g^j_i(x)\ge 0\),
-
(iii)
for all \(i=1,\ldots ,p\) and for all \(x\in \mathbb {R}^n_+\), \(h_i(x)\ge 0\).
For the linear system \(x^\varDelta =Ax{+Bu}\), \(y=Cx\), positivity may be characterized with the aid of the matrices A, B and C. An \(n\times n\) matrix A is called a Metzler matrix if \(a_{ij}\ge 0\) for \(i\ne j\). For a Metzler matrix A, let \(c(A):=\min \{a\ge 0 : A+aI\ge 0\}\).
Let \(\bar{\mu }_\mathbb {T}:=\sup \{\mu _\mathbb {T}(t): t\in \mathbb {T}\}\).
Proposition 3
([3, 18]) The system \(x^\varDelta =Ax{+Bu}\), \(y=Cx\), is positive if and only if \(B\in \mathbb {R}^{n\times m}_+\), \(C\in \mathbb {R}^{p\times n}_+\), A is Metzler and \(c(A)\le 1/\bar{\mu }_\mathbb {T}\), where \(1/0:=+\infty \) and \(1/+\infty :=0\).
Directly from the definition of discretization and Proposition 2, we get the following:
Proposition 4
Let the system \(\dot{x}=f(x){ +G(x)u}\), \(y=h(x)\), be positive and let \(\mathbb {T}\) be a discrete time scale. \(\mathbb {T}\)-discretization of this system is positive if and only if for every \(t\in \mathbb {T}\) and for every \(x\in \mathbb {R}^n_+\), \(x+\mu _\mathbb {T}(t)f(x)\in \mathbb {R}^n_+\) and \(g^j(x)\in \mathbb {R}^n_+\).
Remark 2
It may happen that \(\mathbb {T}\)-discretization of a positive system \(\dot{x}(t)=f(x(t))+\sum _{j=1}^{m} g^j(x(t))u_j(t)\) is not positive for any discrete time scale \(\mathbb {T}\), even locally around 0. Consider, for example, the system: \(\dot{x}(t)=-x(t)u(t)\), where \(x(t)\in \mathbb {R}\). Then, the discretized system takes the form: \(x(t+\mu _\mathbb {T}(t))=x(t)(1-\mu _\mathbb {T}(t)u(t))\). For u(t) sufficiently large, the right-hand side becomes negative for positive x(t).
For linear systems, we can express this using the matrices of the system. The following proposition is a simple consequence of Proposition 3.
Proposition 5
Let the system \(\dot{x}=Ax{+Bu}\), \(y=Cx\), be positive and let \(\mathbb {T}\) be a discrete time scale. \(\mathbb {T}\)-discretization of the system is positive if and only if \(c(A)\le 1/\bar{\mu }_\mathbb {T}\).
Remark 3
If \(\bar{\mu }_\mathbb {T}\) is sufficiently small, then \(\mathbb {T}\)-discretization of a positive linear system \(\dot{x}=Ax\) is again a positive system. This is not true for nonlinear systems. For example, the system \(\dot{x}=-x^2\), where \(x\in \mathbb {R}\), is positive, but its \(\mathbb {T}\)-discretization given by \(x(t+\mu (t))=x-\mu (t)x^2\) is not positive for any discrete time scale \(\mathbb {T}\). However, when we restrict a positive nonlinear system to a bounded neighborhood of 0 (e.g., a ball), there are discretizations that preserve positivity. Similarly, such discretizations can be found for the system \(\dot{x}=f(x)\), with f globally Lipschitz on \(\mathbb {R}^n_+\).
4 Positive stability and discretization
We study here positive uniform exponential stability of positive systems and its invariance under discretization.
Definition 7
Assume that system \(x^\varDelta =f(x)\) is positive. We say that this system is (positively) uniformly exponentially stable if there are constants \(K\ge 1\) and \(\alpha >0\), and an open neighborhood V of 0 in \(\mathbb {R}^n\) such that for every \(t_0,t\in \mathbb {T}\) with \(t\ge t_0\) and every \(x_0\in V\) (\(x_0\in \mathbb {R}^n_+\cap V\)), the forward trajectory x of the system, corresponding to the initial condition \(x(t_0)=x_0\), satisfies \(\Vert x(t)\Vert \le K\exp (-\alpha (t-t_0))\Vert x_0\Vert \) for all \(t\in \mathbb {T}\) such that \(t\ge t_0\).
If a positive system is uniformly exponentially stable, then it is positively uniformly exponentially stable. If the time scale is homogeneous, (positive) uniform exponential stability is equivalent to (positive) exponential stability, which is defined as (positive) uniform exponential stability, but the constant K may depend on the initial time \(t_0\).
Example 4
The positive system \(\dot{x}=-|x|\), \(x\in \mathbb {R}\), is positively uniformly exponentially stable, but it is not uniformly exponentially stable.
It is known that the condition \(\sup \{\mu _\mathbb {T}(t): t\in \mathbb {T}\}<+\infty \) is necessary for uniform exponential stability of the system \(x^\varDelta =f(x)\) (see, e.g., [11]). For example, on \(\mathbb {T}=q^\mathbb {N}\), \(q>1\), there are no uniformly exponentially stable systems of the form \(x^\varDelta =f(x)\).
Therefore, in this section we shall assume that \(\bar{\mu }_\mathbb {T}:=\sup \{\mu _\mathbb {T}(t): t\in \mathbb {T}\}<+\infty \). Below we recall basic results on positive stability that will be used later to show invariance under discretization.
For linear systems, uniform exponential stability and positive uniform exponential stability coincide.
Proposition 6
([9]) A positive system \(x^\varDelta =Ax\) is positively uniformly exponentially stable if and only if it is uniformly exponentially stable.
For linear systems, there is a simple characterization of positive uniform exponential stability. It does not depend on the time scale as long as its graininess is bounded.
Proposition 7
([10]) Assume that \(\bar{\mu }_\mathbb {T}<+\infty \). A positive system \(x^\varDelta =Ax\) is positively uniformly exponentially stable if and only if all the coefficients of the characteristic polynomial of A, \(\chi _A(\lambda )=\det (\lambda I-A)\), are positive.
Remark 4
This characterization has long been known for continuous-time systems (\(\mathbb {T}=\mathbb {R}\)) and in a similar form for discrete-time systems of the form \(x(k+1)=Fx(k)\) as a consequence of Perron–Frobenius theorem (see, e.g., [20, 25]). For the proof of this fact on an arbitrary time scale \(\mathbb {T}\) (with \(\bar{\mu }_\mathbb {T}<+\infty \)), we had to rely on properties of so-called stability sets of time scales shown in [18].
First, we obtain invariance of positive stability under discretization for linear systems. Let \(\mathbb {T}\) be a discrete time scale with \(\bar{\mu }_\mathbb {T}<+\infty \).
Proposition 8
If the system \(\dot{x}=Ax\) is positive and (positively) uniformly exponentially stable, and its \(\mathbb {T}\)-discretization \(x^\varDelta =Ax\) is positive, then \(x^\varDelta =Ax\) is also (positively) uniformly exponentially stable.
Proof
Since the system \(\dot{x}=Ax\) is positive and positively uniformly exponentially stable, by Proposition 7, all the coefficients of the characteristic polynomial of A are positive. The \(\mathbb {T}\)-discretization \(x^\varDelta =Ax\) is positive, so again from Proposition 7\(x^\varDelta =Ax\) is positively uniformly exponentially stable. \(\square \)
Remark 5
Positive uniform exponential stability of a linear system \(x^\varDelta =Ax\) on a time scale \(\mathbb {T}\) may be characterized by the spectrum of the matrix A. Namely, system \(x^\varDelta =Ax\) is positively uniformly exponentially stable if and only if the spectrum of the matrix A is contained in the stability set \(\mathcal {S}_\mathbb {T}\), which depends on the time scale \(\mathbb {T}\) (see [17, 18, 27] for the definition of \(\mathcal {S}_\mathbb {T}\) and the proof of this fact). But since discretization changes the stability set, a proof of Proposition 8 relying on the spectral characterization of stability would be much more complicated.
Let \(f:\mathbb {R}^n\rightarrow \mathbb {R}^n\) be now of class \(C^1\) and \(A:=f'(0)\) be the Jacobian matrix of f at 0. We assume that \(f(0)=0\). We need two important facts concerning nonlinear systems.
Proposition 9
([9]) If the system \(x^\varDelta =f(x)\) is positive, then the system \(x^\varDelta =Ax\) is also positive.
Proposition 10
([9]) If the system \(x^\varDelta =Ax\) is positively uniformly exponentially stable, then also the system \(x^\varDelta =f(x)\) is positively uniformly exponentially stable.
Proposition 10 may be reversed if the time scale is homogeneous.
Proposition 11
Assume that the time scale \(\mathbb {T}\) is homogeneous. If the system \(x^\varDelta =f(x)\) is positively uniformly exponentially stable, then the system \(x^\varDelta =Ax\) is positively uniformly exponentially stable.
Proof
For \(\mathbb {T}=\mathbb {R}\), it has been shown in [28]. The proof for \([a,+\infty )\), where \(a\in \mathbb {R}\), is the same. For \(\mathbb {T}=\mathbb {Z}\) this was shown in [22]. The proof for \(\mathbb {T}=\mathbb {Z}\) may be easily adapted to the cases \(\mathbb {T}=h\mathbb {Z}\) and \(\mathbb {T}=a+h\mathbb {N}\), where \(h>0\) and \(a\in \mathbb {R}\). \(\square \)
It is not known whether Proposition 11 holds for other time scales.
Let \(\mathbb {T}\) be a discrete time scale with \(\bar{\mu }_\mathbb {T}<+\infty \). The following result is an extension of Proposition 8.
Proposition 12
If the system \(\dot{x}=f(x)\) is positive and positively uniformly exponentially stable, and its \(\mathbb {T}\)-discretization \(x^\varDelta =f(x)\) is positive, then \(x^\varDelta =f(x)\) is also positively uniformly exponentially stable.
Proof
Let \(A=f'(0)\). From Proposition 9, the linearized system \(\dot{x}=Ax\) is positive and from Proposition 11 it is positively uniformly exponentially stable. Now Proposition 10 implies that the nonlinear system \(x^\varDelta =f(x)\) is positively uniformly exponentially stable.
Example 5
Let us consider the continuous-time system
From Proposition 2, we immediately get that the system is positive. Its linearization at \(x=0\) is uniformly positively exponentially stable, so, by Proposition 10, the nonlinear system is uniformly positively exponentially stable as well. Let \(\mathbb {T}\) be a discrete time scale. Then, the \(\mathbb {T}\)-discretization of the original system may be written as
From Proposition 2, it easily follows that the discretized system is positive if and only if \(\mu _\mathbb {T}(t)\le 1\) for all \(t\in \mathbb {T}\). Let \(\mathbb {T}\) consists of \(t_k=\sum _{i=1}^k 1/i\), where \(k\in \mathbb {N}\). It is a nonhomogeneous time scale with \(\mu _\mathbb {T}(t_k)=1/(k+1)\), so the graininess is decreasing and is bounded from above by 1/2. Thus this \(\mathbb {T}\)-discretization gives a positive system. By Proposition 12, the discretized system is uniformly positively exponentially stable.
5 Positive reachability and discretization
To study the influence of discretization on positive reachability, we go back to control systems. Let us suppose that we discretize a continuous-time positive system and the discretized system is also positive. We want to know if positive reachability is preserved as well. Let us first consider the case of linear systems.
Definition 8
A positive system
is positively reachable (from 0) if for any \(\bar{x}\in \mathbb {R}^n_+\) there is \(u:[T^u_0,T^u_1]_\mathbb {T}\rightarrow \mathbb {R}^m_+\) such that the trajectory x of (6) starting from 0 at time \(T^u_0\) and corresponding to the control u satisfies \(x(T^u_1)=\bar{x}\).
For continuous-time positive systems, positive reachability is very demanding property.
Proposition 13
([15]) Let \(\mathbb {T}=\mathbb {R}\). A positive system (6) is positively reachable if and only if \(m\ge n\), A is diagonal and B contains an \(n\times n\) monomial submatrix.
For an arbitrary time scale, the characterization is more complicated.
Definition 9
[3]] Let \(M\subseteq \{1,\ldots ,m\}\) and \(t_0,t_1\in \mathbb {T}\), \(t_0<t_1\). For each \(k\in M\) let \(S_k\) be a subset of \([t_0,t_1)_\mathbb {T}\) that is a union of finitely many disjoint intervals of \(\mathbb {T}\) of the form \([\tau _0,\tau _1)_\mathbb {T}\), and let \(\mathcal {S}_M=\{S_k : k\in M\}\). By the subGramian of system (6) corresponding to \(t_0\), \(t_1\), M and \(\mathcal {S}_M\) we mean the matrix
Then, we have the following characterization:
Proposition 14
([3]) System (6) is positively reachable if and only if there are \(t_0,t_1\in \mathbb {T}\), \(t_0<t_1\), \(M\subseteq \{1,\ldots ,m\}\) and the family \(\mathcal {S}_M=\{S_k : k\in M\}\) of subsets of \([t_0,t_1]_\mathbb {T}\) such that the subGramian \(W=W_{t_0}^{t_1}(M,\mathcal {S}_M)\) is monomial.
Using these facts, we can show the following:
Theorem 2
If the positive continuous-time system \(\dot{x}=Ax+Bu\) is positively reachable and its \(\mathbb {T}\)-discretization (6) is positive, then (6) is also positively reachable.
Proof
Assume that \(\dot{x}=Ax+Bu\) is positive and positively reachable. Then, by Proposition 13, \(m\ge n\), A is diagonal and B contains an \(n\times n\) monomial submatrix \(\tilde{B}\). This implies that the matrix \(e_A(t_1,\sigma (\tau ))\) is diagonal for every \(\tau < t_1\), \(t_1,\tau \in \mathbb {T}\). Choose any \(t_0,t_1\in \mathbb {T}\) such that \(t_0<t_1\) and let M mean the set of indices that correspond to columns of \(\tilde{B}\). Set \(S_k=[t_0,t_1)\) for every \(k\in M\). If \(b_k=\alpha e_i\), then \(e_A(t_1,\sigma (\tau ))b_k=\gamma (\tau )e_i\) for some scalar function \(\gamma \), so \(\int _{S_k} e_A(t_1,\sigma (\tau ))b_kb_k^Te_A(t_1,\sigma (\tau ))^T \varDelta \tau \) is a diagonal matrix with the only nonzero entry at ith place on the diagonal. Since each \(b_k\), where \(k\in M\), corresponds to different \(e_i\), the subGramian is a diagonal matrix with all nonzero entries on the diagonal. Thus \(W_{t_0}^{t_1}(M,\mathcal {S}_M)\) is monomial, so the discretized system is positively reachable by Proposition 14. \(\square \)
Let us now switch to nonlinear systems. The definition of positive reachability from 0 is exactly the same as for linear systems (Definition 8). We shall also need local positive reachability from 0. This property means that we are able to reach from 0 all the states from \(\mathbb {R}^n_+\cap U\), where U is some open neighborhood of 0. The key fact here is a characterization of local positive reachability of a positive system of form (1) for \(\mathbb {T}=\mathbb {R}\), obtained in [6].
Proposition 15
([6]) Assume that \(f,g^1,\ldots ,g^m\) in (1) are analytic, \(f(0)=0\) and \(\mathbb {T}=\mathbb {R}\). A positive system (1) is locally positively reachable from 0 if and only if \(m\ge n\) and there is a positive neighborhood V of 0 such that for every \(I\subset \{1,\ldots ,n\}\), f is tangent to \(K_I\cap V\) and there is \(i\in \{1,\ldots ,m\}\) such that \(g^i\) is tangent to \(K_I\cap V\) and nonzero at every point of \(K_I\cap V\).
The condition for local positive reachability from 0 for a positive continuous-time system is very strong. In particular, it is required that the number of control variables be greater than or equal to the number of state variables. But steering a positive continuous-time system from a point different from 0 is even harder. See [8] for a detailed study of this problem.
Theorem 3
Let \(\mathbb {T}\) be a discrete time scale. If the continuous-time system \(\dot{x}=f(x)+\sum _{j=1}^{m} g^j(x)u_j\) is positive and locally positively reachable from 0, and its \(\mathbb {T}\)-discretization \({x}^\varDelta =f(x)+\sum _{j=1}^{m} g^j(x)u_j\) is positive, then this \(\mathbb {T}\)-discretization is positively reachable from 0.
Proof
Local positive reachability from 0 of the continuous-time system implies that \(m\ge n\). Moreover, for every \(i=1,\ldots ,n\) there is \(g^{j_i}\) such \(g^{j_i}(0)=\alpha _i e_i\) for \(\alpha _i>0\). Let us choose any \(t_0\in \mathbb {T}\) and let \(t_1=\sigma _\mathbb {T}(t_0)\). We shall show that any \(\bar{x}\in \mathbb {R}^n_+\) can be reached at time \(t_1\) starting at time \(t_0\) from 0. Observe that the trajectory of \({x}^\varDelta =f(x)+\sum _{j=1}^{m} g^j(x)u_j\) satisfies
Since we start at time \(t_0\) from 0 and \(f(0)=0\), this gives
Let \(M=\{ j_i: i=1,\ldots ,n \}\) and set \(u_j(t_0)=0\) for \(j\notin M\). Then,
Since every \(\bar{x}\in \mathbb {R}^n_+\) is a linear combination of \(e_1,\ldots ,e_n\) with nonnegative coefficients, choosing appropriate \(u_{j_i}(t_0)\ge 0\) we are able to reach any \(\bar{x}\in \mathbb {R}^n_+\) in one step. \(\square \)
6 Positive observability and discretization
Now we add an observation part to the system and at the same time remove controls:
As before \(t\in \mathbb {T}\), where \(\mathbb {T}\) is a time scale, \(x(t)\in \mathbb {R}^n\) and \(y(t)\in \mathbb {R}^p\). We assume in this section that f and h are analytic maps.
Definition 10
System (8) is locally positively observable at \(x_0\) if there is an open neighborhood U of \(x_0\), \(t_0,t_1\in \mathbb {T}\), \(t_0<t_1\), and a continuous map \(\varPhi :[t_0,t_1)_\mathbb {T}\times V\rightarrow \mathbb {R}^n_+\) for some open set \(V\subseteq \mathbb {R}^p_+\) such that for any \(\bar{x}\in \mathbb {R}^n_+\cap U\), \(\bar{x}=\int _{t_0}^{t_1} \varPhi (t,h(x(t,t_0,\bar{x})))\varDelta t\).
We can characterize local positive observability for continuous-time systems.
Proposition 16
([7]) Let \(\mathbb {T}=\mathbb {R}\). System (8) is locally positively observable at 0 if and only if \(p\ge n\) and there is an open neighborhood U of 0 such that f is tangent to every subface of \(\mathbb {R}^n_+\) restricted to U, and there are indices \(1\le j_1< j_2< \ldots <j_n\le p\), such that the map \(\tilde{h}:=(h_{j_1},\ldots ,h_{j_n})^T:U\rightarrow \tilde{h}(U)\) is a diffeomorphism and for every \(k\ge 0\), \(\tilde{h}(S_k\cap U)=S_k\cap \tilde{h}(U)\).
The condition for local positive observability at 0 for a positive continuous-time system is very strong, similarly as the condition for local positive reachability from 0. In particular, it is required that the number of output variables be greater than or equal to the number of state variables. These restrictive conditions imply that the discretized system is likely to be locally positively observable at 0 as well.
Theorem 4
Let \(\mathbb {T}\) be a discrete time scale. If the continuous-time system \(\dot{x}=f(x)\), \(y=h(x)\), is positive and locally positively observable at 0, and its \(\mathbb {T}\)-discretization \({x}^\varDelta =f(x)\), \(y=h(x)\), is positive, then this \(\mathbb {T}\)-discretization is locally positively observable at 0.
Proof
Local positive observability at 0 of the continuous-time system implies that \(p\ge n\). Without loss of generality, we can assume that \(p=n\). Proposition 16 implies that h is a diffeomorphism of some open neighborhood U of 0 onto h(U). Since \(h(U\cap \mathbb {R}^n_+)\subseteq \mathbb {R}^n_+\) and \(h(S_k\cap U)=S_k\cap h(U)\), we get that \(h(U\cap \mathbb {R}^n_+)=V\cap \mathbb {R}^n_+\) for some open neighborhood V of 0. This implies that \(h^{-1}\) is positive on V, i.e., \(h^{-1}(y)\in \mathbb {R}^n_+\) for \(y\in V\cap \mathbb {R}^n_+\). To show that \(\mathbb {T}\)-discretization of the continuous-time system is locally positively observable at 0, choose any \(t_0\in \mathbb {T}\) and set \(t_1:=\sigma _\mathbb {T}(t_0)\). Then, define \(\varPhi (t_0,y):=h^{-1}(y)/\mu _\mathbb {T}(t_0)\) for \(y\in V\). Observe that \(\varPhi (t_0,y)\in \mathbb {R}^n_+\). Moreover, for \(\bar{x}\in U\)
This shows that the discretized system is locally positively observable at 0. \(\square \)
Remark 6
Theorem 4 holds in particular for a linear positive system \(\dot{x}=Ax\), \(y=Cx\), but now we can skip the word “local.” Recall that such a system is positively observable if and only if \(p\ge n\), C contains an \(n\times n\) monomial submatrix and A is diagonal (see [2, 7, 25]). This is as strong condition as the one for nonlinear systems. And again, it implies positive observability of any positive \(\mathbb {T}\)-discretization of the continuous-time system.
References
Aleksandrov A Yu, Zhabko AP (2010) Preservation of stability under discretization of systems of ordinary differential equations. Sib Math J 51:383–395
Bartosiewicz Z (2012) Observability of linear positive systems on time scales. In: Proceedings of the 51st IEEE Conference on Decision and Control, Maui, Hawaii, December 10–13, 2012, pp 2581–2586
Bartosiewicz Z (2013) Linear positive control systems on time scales; controllability. Math Control Signals Syst 25:327–343
Bartosiewicz Z (2013) On positive reachability of time-variant linear systems on time scales. Bull Pol Acad Sci Tech Sci 61:905–910
Bartosiewicz Z (2015) Positive nonlinear systems, response maps and realizations. In: Proceedings of 54th IEEE Conference on Decision and Control, Osaka, December 15–18, 2015, 6379–6384
Bartosiewicz Z (2016) Local positive reachability of nonlinear continuous-time systems. IEEE Trans Autom Control 61:4217–4221
Bartosiewicz Z (2017) Local observability of nonlinear positive continuous-time systems. Automatica 78:135–138
Bartosiewicz Z (2017) On controllability of positive nonlinear continuous-time systems. In: 2017 11th Asian Control Conference (ASCC), Gold Coast convention centre, Australia, December 17–20, 2017, pp 298–302
Bartosiewicz Z (2019) Exponential stability of nonlinear positive systems on time scales. Nonlinear Anal Hybrid Syst 33:143–150
Bartosiewicz Z (2020) Stability and stabilization of positive linear systems on time scales. Positivity 24:1361–1372
Bartosiewicz Z, Piotrowska E (2013) On stabilisability of nonlinear systems on time scales. Int J Control 86:139–145
Bohner M, Peterson A (2001) Dynamic equations on time scales. An introduction and applications. Birkhäuser, Boston
Christiansen SH, Munthe-Kaas HZ, Owren B (2011) Topics in structure-preserving discretization. Acta Numer 20:1–119
Colaneri P, Farina M, Kirkland S, Scattolini R, Shorten R (2013) Positive systems: discretization with positivity and constraints. In: Daafouz J, Tarbouriech S, Sigalotti M (eds) Hybrid systems with constraints. Wiley, New York
Commault Ch, Alamir M (2007) On the reachability in any fixed time for positive continuous-time linear systems. Syst Control Lett 56:272–276
Cresson J, Pierret F (2016) Non standard finite difference scheme preserving dynamical properties. J Comput Appl Math 303:15–30
Doan TS, Kalauch A, Siegmund S (2009) Exponential stability of linear time-invariant systems on time scales. Nonlinear Dyn Systems Theory 9:37–50
Doan TS, Kalauch A, Siegmund S, Wirth SFR (2010) Stability radii for positive linear time-invariant systems on time scales. Syst Control Lett 59:173–179
Estep D, Taverner S (eds) (2002) Collected lectures on the preservation of stability under discretization. SIAM, Philadelphia
Farina L, Rinaldi S (2000) Positive linear systems: theory and applications, pure and applied mathematics. Wiley, New York
Fishman LZ (2003) Preservation of stability of differential equations under discretization. Diffe Equ 39:607–608
Győri I, Pituk M (2001) The converse of the theorem on stability by the first approximation for difference equations. Nonlinear Anal 47:4635–4640
Horváth Z, Song Y, Terlaky T (2017) A novel unified approach to invariance conditions for a linear dynamical system. Appl Math Comput. https://doi.org/10.1016/j.amc.2016.10.007
Horváth Z, Song Y, Terlaky T (2015) Steplength thresholds for invariance preserving of discretization methods of dynamical systems on a polyhedron. Discrete & Continuous Dynamical Systems - A 35:2997–3013. https://doi.org/10.3934/dcds.2015.35.2997
Kaczorek T (2002) Positive 1D and 2D systems. Springer, Berlin
Poulsen D, Davis J, Gravagne I (2019) Mean square stability for systems on stochastically generated discrete time scales. Nonlinear Anal Hybrid Syst 31:41–55
Pötzsche C, Siegmund S, Wirth F (2003) A spectral characterization of exponential stability for linear time-invariant systems on time scales. Discrete Contin Dyn Syst 9:1223–1241
Zabczyk J (1989) Some comments on stabilizability. Appl Math Optim 19:1–9
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was supported by the National Science Centre under the Grant No. 2017/25/B/ST7/01471.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bartosiewicz, Z. Invariance under discretization for positive systems. Math. Control Signals Syst. 33, 315–329 (2021). https://doi.org/10.1007/s00498-021-00283-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00498-021-00283-1