positive and compartmental systems
Post on 10-Mar-2017
Embed Size (px)
370 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 47, NO. 2, FEBRUARY 2002
Positive and Compartmental Systems
Luca Benvenuti and Lorenzo Farina
AbstractWhen dealing with compartmental systems, an importantquestion is: given an experiment, i.e., an inputoutput sequence, andsupposing there is no error in the data, is the sequence compatible withthe compartmental assumption? If the process under analysis is linear,then the previous question is obviously equivalent to asking whether agiven transfer function is that of a compartmental system. In this note weprovide an answer to the latter question giving necessary and sufficientconditions for a transfer function to be that of a compartmental systemof some finite order (i.e., number of compartments). Another problemtackled in this note originates from the observation that in many cases onewants to determine the number of compartments involved in the process.In this note we report a step toward the solution of this fundamentalproblem by proving necessary and sufficient conditions for a given thirdorder transfer function with real poles to be that of a compartmentalsystem with three compartments.
Index TermsPositive systems, minimal positive realization, compart-mental systems.
Compartmental systems are effectively used in an impressivenumber of different applicative fields of mathematical modeling,ranging from tracer kinetics to distillation columns, from populationdynamics to water resources (see, for example, , , and ). Theyare composed of a finite number of subsystems, called compartments,interacting by exchanging material. Moreover, some type of massconservation condition holds for all transfers between compartmentsand, to/from the environment. Since the state variables represent theamount of material contained in each compartment, they are boundedto be nonnegative over time. Then, compartmental systems belong tothe class ofpositive systems(see, for example, , , and  fora general overview) which are characterized by the property that thestate and output variables remain nonnegative whatever the positiveinput sequence might be.
The process of assessing the compartmental nature of a system underanalysis involves a number of different professional skills depending onthe complexity of the problem. In most cases, however, a deep physicalknowledge is required. In fact, once the investigator is convinced thata compartmental model is reasonable for the process under study, thenhe tries to find experimental evidence of his assumption.
In this context, the first basic question is: given an experiment, i.e.,an inputoutput sequence, and supposing there is no error in the data,is the sequence compatible with the compartmental assumption?
If the process under analysis is linear, then the previous question isobviously equivalent to asking whether a given transfer function is thatof a compartmental system.
In this note we provide an answer to the latter question giving nec-essary and sufficient conditions for a transfer function to be that of acompartmental system of some finite order (i.e., number of compart-ments).
Another problem tackled in this note originates from the observationthat in many cases one wants to determine the minimum number ofcompartments involved in the process. In systems theory, this problem
Manuscript received March 26, 2001; revised July 26, 2001. Recommendedby Associate Editor B. Chen.
The authors are with the Dipartimento di Informatica e Sistemistica,Universit degli Studi di Roma La Sapienza, Rome, Italy (e-mail: email@example.com; firstname.lastname@example.org).
Publisher Item Identifier S 0018-9286(02)02082-2.
is known as the minimal realization problem and, when dealing withcompartmental systems, is known to be as a very difficult problem (see,for example , , and the references cited therein).
In this note, we report a step toward the solution of this fundamentalproblem by proving necessary and sufficient conditions for a giventhird order transfer function with real poles to be that of a compart-mental system with three compartments.
An outline of the note is as follows. In Section II, we give some pre-liminary definitions and known results on compartmental and positivesystems and in Section III, we state the main results of the note, that isTheorems 8 and 10.
II. BASICS OFCOMPARTMENTAL SYSTEMS
We will consider in the following continuous-time linear systems ofthe form:
_x(t) = Ax(t) + bu(t); y(t) = cTx(t) (1)
with A 2 NN ; b; c 2 N . Such system is acompartmental system, ,  provided that
bi 0; ci 0; (2)
aij 0 for i 6= j (3)
aii +j 6=i
aji 0 (4)
for i; j = 1; . . . ; N , and where theaij s are the entries ofA andbi;ci those ofb andc, respectively. The usual physical interpretation ofthe above constraints is that, a compartmental system consists of a fi-nite number of subsystems, called compartments, interacting by ex-changing material. Because the interactions between compartments aretransfers of material, some type of mass conservation condition holdsfor all transfers between compartments and, to/from the environment.The state variablesxi(t) represent the amount of resource present inthei-th compartment at timet; aij (i 6= j) is the rate constant inflowfrom thej-th to theith compartment,aii is the rate constant outflowfrom compartmentith (i.e., the sum of the outflow and of the losses ofresource in the compartment). Since the inputu(t) consists of materialinjection from the environment andb determines in which way this ma-terial is distributed among compartments, then at least one entry ofbis positive; moreover, since the outputy(t) measures the material con-tained in some compartment(s), then at least one entry ofc is positive.It is worth noting that compartmental systems belong to a broader classof systems calledpositive systems, . In fact, a continuous-timesystems of the form (1) is a positive system provided that only con-straints (2) and (3) hold. In order to establish a link between the classesof compartmental and positive systems, we first show that the class ofasymptotically stable matrices satisfying (3) is similar to the class ofasymptotically stable matrices satisfying (3) and (4). To this end, letus define the setM of matrices for which (3) holds, and the setC ofmatrices for which (3) and (4) hold. A matrixT is said to bepositive di-agonalprovided that it is diagonal with positive diagonal entries. Then,we have the following lemma.
Lemma 1: Given an asymptotically stable matrixA 2 NN , thenA 2 M if and only if there exists a positive diagonal matrixT suchthatTAT1 2 C.
Proof: We obviously prove only thatA 2 M implies that thereexists a positive diagonal matrixT such thatTAT1 2 C. Considerthe matrix
T = diagf(1 . . . 1)A1g := diagf(t1 . . . tN )g:
00189286/02$17.00 2002 IEEE
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 47, NO. 2, FEBRUARY 2002 371
Since asymptotic stability ofA implies nonnegativity of the entries ofA1 (see ) and that there are no zero column, then the valuestiare positive. Then
.... . .
belongs to the setC if, for every index i, we have aii +
j 6=iaji(tj=ti) 0, that is
(1 . . . 1)(TAT1) = (t1 . . . tn)AT1
= (1 . . . 1)A1AT1
t1. . .
tn< 01N :
Observe that the proof of the previous theorem provides an explicitform for the equivalence transformation matrixT . This matrix is pos-itive diagonal so that we consider the following definition of equiva-lence between realizations, coming from .
Definition 2: Let fA; b; cT g and f ~A;~b; ~cT g; A; ~A 2 NN ;b; c;~b; ~c 2 N , two realizations of a given system. Then they arediagonally equivalent if there exists a positive-diagonal matrixTsatisfying ~A = TAT1;~b = Tb; c = T ~c.
When considering an asymptotically stable system, using the pre-vious definition, then Lemma 1 can be fruitfully employed to establishthe link between positive and compartmental systems:
Theorem 3: A positive asymptotically stable system is diagonallyequivalent to a compartmental system.
A. Basics of Positive Systems
Positive systems are characterized by the specific property that thestate and output variables remain nonnegative whatever the positiveinput sequence might be , . These systems are quite commonin applications where input, output and state variables represent posi-tive quantities such as populations, consumption of goods, densities ofchemical species and so on. The fundamental result of positive systemstheory is that a discrete-time positive linear system is characterized bynonnegativity of the systems matricesfA; b; cT g, i.e., each of the en-tries ofA; b andcT are nonnegative real numbers. On the other hand,a continuous-time positive system is characterized by nonnegativity ofb; cT and of the off-diagonal entries ofA (see ,  for details).The relevant problem in this note is the so-calledpositive realizationproblem, , : Suppose a prescribed rationalH(s) [H(z)] isgiven, then
i) is there a positive systemfA; b; cT g of some finite dimensionsuch thatH(p) = cT (pI A)1b (wherep = z for the dis-crete-time case andp = s for the continuous-time one)?
ii) what is the minimal dimension over all realizations?Recently the question i) has been solved in , , and  where
conditions for the existence of a positive realization are given in termsof pole locations of the given transfer function with nonnegative im-pulse response and in  a partial answer to the question ii), i.e., to theminimality problem, has been presented. In the follow