Positive Linear Observers for Linear Compartmental Systems

Download Positive Linear Observers for Linear Compartmental Systems

Post on 08-Dec-2016

212 views

Category:

Documents

0 download

Embed Size (px)

TRANSCRIPT

<ul><li><p>POSITIVE LINEAR OBSERVERS FOR LINEAR COMPARTMENTALSYSTEMS</p><p>J. M. VAN DEN HOFy</p><p>SIAM J. CONTROL OPTIM. c 1998 Society for Industrial and Applied MathematicsVol. 36, No. 2, pp. 590{608, March 1998 007</p><p>Abstract. Linear compartmental systems are mathematical systems that are frequently usedin biology and mathematics. The inputs, states, and outputs of such systems are positive, becausethey denote amounts or concentrations of material. For linear dynamic systems the observer problemhas been solved. The purpose of the observer problem is to determine a linear observer such thatthe state can be approximated. The dierence between the state and its estimate should convergeto zero. The interpretation in terms of a physical system requires that an estimate of the state bepositive, like the state itself. In this paper conditions on the system matrices are presented thatguarantee that there exists a positive linear observer such that both the error converges to zero andthe estimate is positive.</p><p>Key words. compartmental systems, positive linear observers, asymptotic stability</p><p>AMS subject classications. 93D20, 15A48</p><p>PII. S036301299630611X</p><p>1. Introduction. The purpose of this paper is to derive positive linear observersfor linear compartmental systems.</p><p>Compartmental systems are mathematical systems that are frequently used inbiology and mathematics. In addition, a subclass of the class of chemical processescan be modeled as compartmental systems. A compartmental system consists ofseveral compartments with more or less homogeneous amounts of material. The com-partments interact by processes of transportation and diusion. The dynamics of acompartmental system are derived from mass balance considerations.</p><p>In this paper linear compartmental systems consisting of inputs, states, and out-puts will be studied. The outputs of these systems are not the real outputs, i.e.,material leaving the system, but the observations of the amount or concentrations ofmaterial, for example, in one or more compartments. The inputs, states, and outputsare positive, so these systems are called positive linear systems in system theory. Asin linear system theory, the purpose is to determine a linear observer such that thestate x can be approximated by bx. The error, bx(t) x(t), should converge to zero.For positive linear systems, the observer provides an approximation of the positivestate. Therefore, the observer should be chosen in such a way that the approximationof the state, bx(t), is positive, like the state, x(t), itself.</p><p>For linear systems the observer problem has been solved by Luenberger [11]. Seealso [10]. As far as we know, there is no literature on positive observers for positivelinear systems, in which the positivity of bx(t) is taken into account. It turns out thatthe existence of a positive linear observer satisfying the above conditions dependslargely on the structure of the system matrices, i.e., the zero/nonzero pattern. Somerelation can be found in the work of Sontag [13, 14].</p><p>The outline of the paper is as follows. In section 2 the problem is posed. In sec-tion 3 continuous-time linear compartmental systems are considered, and in section 4the discrete-time case is treated. Concluding remarks are made in section 5.</p><p>Received by the editors July 8, 1996; accepted for publication (in revised form) January 13, 1997.http://www.siam.org/journals/sicon/36-2/30611.htmlyCBS (Statistics Netherlands), P.O. Box 4000, NL 2270 JM Voorburg, the Netherlands (jhof@</p><p>cbs.nl).</p><p>590</p><p>Dow</p><p>nloa</p><p>ded </p><p>05/1</p><p>4/13</p><p> to 1</p><p>41.1</p><p>61.9</p><p>1.14</p><p>. Red</p><p>istrib</p><p>utio</p><p>n su</p><p>bject </p><p>to SIA</p><p>M lic</p><p>ense </p><p>or co</p><p>pyrig</p><p>ht; se</p><p>e http</p><p>://www</p><p>.siam</p><p>.org/j</p><p>ourna</p><p>ls/ojs</p><p>a.php</p></li><li><p>POSITIVE OBSERVERS FOR LINEAR COMPARTMENTAL SYSTEMS 591</p><p>2. Problem formulation. In this section some notation is introduced and theproblem is posed.</p><p>The set R+ = [0;+1) is called the set of the positive real numbers. Let Z+ =f1; 2; : : :g denote the set of positive integers, Zn = f1; : : : ; ng, and NI = f0; 1; 2; : : :g.Denote by Rn+ the set of n-tuples of the positive real numbers. The set R</p><p>nm+ will</p><p>be called the set of positive matrices of size n by m. Note that Rn+ is not a vectorspace because it does not admit an inverse with respect to addition. For matricesA;B 2 Rnm, we will write A B if aij bij for all i 2 Zn, j 2 Zm, and A &gt; Bif A B and A 6= B. A matrix A 2 Rnn is said to be a Metzler matrix if all itso-diagonal elements are in R+; see [9]. Metzler matrices can be characterized asfollows.</p><p>PROPOSITION 2.1. A matrix A 2 Rnn is a Metzler matrix if and only if thereexists an 2 R+ such that (A+ I) 2 Rnn+ .</p><p>DEFINITION 2.2. Consider a continuous-time linear dynamic system</p><p>_x(t) = Ax(t) +Bu(t); x(t0) = x0;y(t) = Cx(t) +Du(t);(2.1)</p><p>with x(t) 2 X Rn, u(t) 2 U Rm, y(t) 2 Y Rk, t 2 T = [t0;1). Equation (2.1)is said to represent a (continuous-time) positive linear system if for all x0 2 Rn+ andfor all u(t) 2 Rm+ , t 2 T , we have x(t) 2 Rn+ and y(t) 2 Rk+ for t 2 T ; in other words,X = Rn+, U = R</p><p>m+ , and Y = R</p><p>k+.</p><p>The following proposition provides a characterization of continuous-time positivelinear systems.</p><p>PROPOSITION 2.3. A continuous-time linear dynamic system of the form (2.1) isa positive linear system if and only if</p><p>B 2 Rnm+ ; C 2 Rkn+ ; D 2 Rkm+ ; and A is a Metzler matrix.Proof. Suppose rst u(t) = 0 for all t 2 T . For i 2 Zn, xi(t) 0 if and only if</p><p>_xi 0 whenever xi = 0 and xj 0 for all j 6= i. This is equivalent to aij 0 forall j 6= i. Moreover, y(t) = Cx(t) 0 for x(t) 0 if and only if C 2 Rkn+ . Nowsuppose u(t) 6= 0. For i 2 Zn, xi(t) 0 if and only if _xi 0 whenever xj = 0 forall j 2 Zn. This is equivalent to bir 0 for r 2 Zm. Furthermore, if x(t) = 0, theny(t) = Du(t) 0 if and only if D 2 Rkm+ .</p><p>For discrete time, the denition of a positive linear system is presented below.DEFINITION 2.4. Consider a discrete-time linear dynamic system</p><p>x(t+ 1) = Ax(t) +Bu(t); x(0) = x0;y(t) = Cx(t) +Du(t);(2.2)</p><p>with x 2 X Rn, u 2 U Rm, y 2 Y Rk, t 2 T = NI . Equation (2.2) is saidto represent a (discrete-time) positive linear system if for all x0 2 Rn+ and for allu(t) 2 Rm+ , t 2 T , we have x(t) 2 Rn+ and y(t) 2 Rk+ for t 2 T ; in other words,X = Rn+, U = R</p><p>m+ , and Y = R</p><p>k+.</p><p>A characterization of discrete-time positive linear systems is as follows.PROPOSITION 2.5. A discrete-time linear system of the form (2.2) is a positive</p><p>linear system if and only if</p><p>A 2 Rnn+ ; B 2 Rnm+ ; C 2 Rkn+ ; D 2 Rkm+ :The positive linear observer problem is as follows. A positive linear observer for</p><p>a positive linear system is a positive linear system described by the equations</p><p>Dow</p><p>nloa</p><p>ded </p><p>05/1</p><p>4/13</p><p> to 1</p><p>41.1</p><p>61.9</p><p>1.14</p><p>. Red</p><p>istrib</p><p>utio</p><p>n su</p><p>bject </p><p>to SIA</p><p>M lic</p><p>ense </p><p>or co</p><p>pyrig</p><p>ht; se</p><p>e http</p><p>://www</p><p>.siam</p><p>.org/j</p><p>ourna</p><p>ls/ojs</p><p>a.php</p></li><li><p>592 J. M. VAN DEN HOF</p><p>_bx(t) = Hbx(t) +Ky(t) + Eu(t); bx(t0) = bx0;bx(t+ 1) = Hbx(t) +Ky(t) + Eu(t); bx(t0) = bx0;for the continuous-time case and the discrete-time case, respectively, which yields anestimate bx(t) of the state x(t) at time t 2 T of system (2.1), (2.2), respectively. As inlinear system theory, the observer has to satisfy the following two conditions:</p><p>1. bx(t0) = x(t0) implies bx(t) = x(t) for all t t0 and for all input functionsu(t), t t0;</p><p>2. bx(t) should converge to x(t) for t!1, for all input functions u(t), t t0.For linear systems the problem of nding an observer satisfying 1 and 2 has beencompletely solved [11]. The solution is</p><p>_bx(t) = (AKC)bx(t) +Ky(t) +Bu(t);bx(t+ 1) = (AKC)bx(t) +Ky(t) +Bu(t);respectively, with K 2 Rnk such that A KC is asymptotically stable; i.e., for thecontinuous-time case, (A KC) f 2 C j Re() &lt; 0g, and for the discrete-timecase, (A KC) f 2 C j jj &lt; 1g. Here (A) denotes the spectrum of A. Thenecessary and sucient conditions for the existence of a matrix K 2 Rnk such thatA KC is asymptotically stable depend on the matrices A and C; i.e., the pair(A;C) should be detectable. Equivalent conditions for detectability can be foundin, for example, [3, pp. 259 and 293], respectively. The interpretation in terms of aphysical system requires that an estimate bx(t) be, like x(t), positive. So a positivelinear observer for a positive linear system should also satisfy the following condition:</p><p>3. bx(t) 2 Rn+, for all t t0, if bx(t0) 2 Rn+, y(t) 2 Rk+, and u(t) 2 Rm+ for allt t0.</p><p>This third condition is satised if and only if K 2 Rnk+ and, for the continuous-timecase, AKC is a Metzler matrix, or for the discrete-time case, AKC 2 Rnn+ . Thisfollows from Propositions 2.3 and 2.5, respectively. Now detectability of (A;C) denedin [3] cannot be used, because then it may be possible that K =2 Rnk+ . Of course,detectability is a necessary condition but is not sucient. Therefore, new necessaryand sucient conditions on A and C have to be found. The problem considered inthis paper is stated below.</p><p>Problem 2.6.Continuous time. Formulate necessary and sucient conditions on a Metzler</p><p>matrix A 2 Rnn and a positive matrix C 2 Rkn+ such that there exists aK 2 Rnk+ , K 6= 0, with</p><p>1. AKC a Metzler matrix;2. (AKC) f 2 C j Re() &lt; 0g.</p><p>Discrete time. Formulate necessary and sucient conditions on positive ma-trices A 2 Rnn+ and C 2 Rkn+ such that there exists a K 2 Rnk+ , K 6= 0,with</p><p>1. AKC 2 Rnn+ ;2. (AKC) f 2 C j jj &lt; 1g.</p><p>These problems will be solved for linear compartmental systems, which form asubclass of positive linear systems.</p><p>3. Continuous time. In this section conditions for the existence of a positivelinear observer for continuous-time linear compartmental systems will be derived.First results from the theory on compartmental systems will be presented.</p><p>Dow</p><p>nloa</p><p>ded </p><p>05/1</p><p>4/13</p><p> to 1</p><p>41.1</p><p>61.9</p><p>1.14</p><p>. Red</p><p>istrib</p><p>utio</p><p>n su</p><p>bject </p><p>to SIA</p><p>M lic</p><p>ense </p><p>or co</p><p>pyrig</p><p>ht; se</p><p>e http</p><p>://www</p><p>.siam</p><p>.org/j</p><p>ourna</p><p>ls/ojs</p><p>a.php</p></li><li><p>POSITIVE OBSERVERS FOR LINEAR COMPARTMENTAL SYSTEMS 593</p><p>F0i</p><p>qi</p><p>Fji</p><p>Fij</p><p>Ii</p><p>FIG. 3.1. One compartment with possible flows.</p><p>3.1. Continuous-time compartmental systems. A compartmental systemis a system consisting of a nite number of subsystems, which are called compart-ments. Each compartment is kinetically homogeneous; i.e., any material entering thecompartment is instantaneously mixed with the material of the compartment. Com-partmental systems are dominated by the law of conservation of mass. They also formnatural models for other areas of applications that are subject to conservation laws.</p><p>Consider an n-compartmental system. The behavior of the ith compartment canbe represented as in Figure 3.1. In this gure, qi denotes the amount of materialconsidered in compartment i. The arrows represent the flows into and out of the com-partment. Ii 0 is the flow into compartment i from outside the system, called theinflow. Fij 0 and Fji 0 represent the flow from compartment j into compartmenti and the flow from compartment i into compartment j, respectively. Finally, F0i 0is the outflow to the environment from compartment i. The mass balance equationsfor every compartment can be written as</p><p>_qi =Xj 6=i</p><p>(Fji + Fij) + Ii F0i:(3.1)</p><p>In this paper the flows Fij will be assumed to be linearly dependent on qj :</p><p>Fij = fijqj ; i = 0; : : : ; n; j = 1; : : : ; n; i 6= j;in which fij are called the fractional transfer coecients. In general, fij are functionsof q and time t. If fij is independent of q, the system is a linear system. In thispaper it is assumed that fij is also independent of the time t; i.e., the system is atime-invariant linear system. Using this, (3.1) can be written as</p><p>_q = Fq + I;</p><p>where q =(q1 qn</p><p>T 2 Rn+, F = (fij) 2 Rnn, with fii = (f0i +Pj 6=i fji)and fij constant for i 6= j, and I denotes the inflow from outside the system. Sinceqi 0 and Ii 0, this system is easily seen to be a positive linear system, if theoutput is taken as</p><p>y = Cq; y 2 Rk; C 2 Rkn+ ;where y denotes the vector of the observations. Note that the output is not the outflowof the compartmental system. The outflow, which is sometimes also called excretion,represents the flow of material leaving the system. The outputs of an experiment are</p><p>Dow</p><p>nloa</p><p>ded </p><p>05/1</p><p>4/13</p><p> to 1</p><p>41.1</p><p>61.9</p><p>1.14</p><p>. Red</p><p>istrib</p><p>utio</p><p>n su</p><p>bject </p><p>to SIA</p><p>M lic</p><p>ense </p><p>or co</p><p>pyrig</p><p>ht; se</p><p>e http</p><p>://www</p><p>.siam</p><p>.org/j</p><p>ourna</p><p>ls/ojs</p><p>a.php</p></li><li><p>594 J. M. VAN DEN HOF</p><p>measurements and usually dier from the material outflows. On the other hand, theterms inflow and input can be used interchangeably.</p><p>Another property of compartmental systems is that the total flow out of a com-partment over any time interval cannot be larger than the amount that was initiallypresent plus the amount that flowed into the compartment during that interval. To-gether with the constraints on positive linear systems, this comes down to</p><p>1. fij 0 for all i; j 2 Zn; i 6= j;2. fjj </p><p>nXi=1;i 6=j</p><p>fij 0 for all j 2 Zn:</p><p>A matrix F satisfying conditions 1 and 2 above is said to be a compartmental matrix.There is an extensive amount of literature on compartmental systems. See, for exam-ple, [1, 7, 8, 9]. Condition 2 states that all column sums of F are less than or equalto zero.</p><p>Below some properties of compartmental matrices from the literature will bediscussed that are needed in this paper. References are [5, 6, 9, 15].</p><p>DEFINITION 3.1. A matrix A 2 Rnn is said to be reducible if there exists apermutation matrix P 2 Rnn such that</p><p>PAPT =U 0Q R</p><p>;</p><p>with U and R square matrices. A is said to be irreducible if A is not reducible.Let F 2 Rnn be a compartmental matrix. Then it follows from [2, Theo-</p><p>rem 6.4.6] that (F ) f 2 C j Re() &lt; 0 or = 0g. Since a system _x = Fx isasymptotically stable if and only if (F ) f 2 C j Re() &lt; 0g, a compartmentalmatrix is asymptotically stable if and only if 0 =2 (F ). In the rest of this subsectioncompartmental matrices with zero eigenvalues are characterized.</p><p>PROPOSITION 3.2 (adapted from [15, Theorem III]). Let F 2 Rnn be an irre-ducible compartmental matrix. Then 0 2 (F ) if and only if Pni=1 fij = 0 for allj 2 Zn</p><p>DEFINITION 3.3. Consider an n-compartmental system. A trap is a compartmentor a set of compartments from which there are no transfers or flows to the environmentnor to compartments that are not in that set. A trap is said to be simple if it does notstrictly contain a trap.</p><p>In the physical literature traps are usually referred to as sinks.Let S be a linear compartmental system consisting of the compartments C1,</p><p>C2; : : : ; Cn and let qj be the amount of material in Cj . Let T S be a subsys-tem of S. Renumbering the compartments, assume T consists of the compartmentsCm; Cm+1; : : : ; Cn, for m n. Let F 2 Rnn be the compartmental matrix cor-responding to S, consistent with this renumbering. Then T is a trap if and onlyif</p><p>fij = 0 for all (i; j) such that j = m;m+ 1; : : : ; n; i = 0; 1; : : : ;m 1:(3.2)The following two theorems are due to Fife [5].</p><p>THEOREM 3.4. S contains a trap if and only if one of the following conditionsholds:</p><p>1. for all j 2 ZnnXi=1</p><p>fij = 0;</p><p>Dow</p><p>nloa</p><p>ded </p><p>05/1</p><p>4/13</p><p> to 1</p><p>41.1</p><p>61.9</p><p>1.14</p><p>. Red</p><p>istrib</p><p>utio</p><p>n su</p><p>bject </p><p>to SIA</p><p>M lic</p><p>ense </p><p>or co</p><p>pyrig</p><p>ht; se</p><p>e http</p><p>://www</p><p>.siam</p><p>.org/j</p><p>ourna</p><p>ls/ojs</p><p>a.php</p></li><li><p>POSITIVE OBSERVERS FOR LINE...</p></li></ul>