Structural Properties of Discrete-Time Linear Positive Periodic Systems

Similar documents
A basic canonical form of discrete-time compartmental systems

Monomial subdigraphs of reachable and controllable positive discrete-time systems

Reachability and controllability of time-variant discrete-time positive linear systems

Reachability indices of positive linear systems

and Department of Mathematics St. Olaf College Northfield, Minnesota Department of Mathematics University of Wisconsin Madison, Wisconsin 53706

Positive systems in the behavioral approach: main issues and recent results

LOCALLY POSITIVE NONLINEAR SYSTEMS

arxiv: v1 [math.pr] 22 May 2008

Eventually reducible matrix, eventually nonnegative matrix, eventually r-cyclic

GOLDEN SEQUENCES OF MATRICES WITH APPLICATIONS TO FIBONACCI ALGEBRA

Intrinsic products and factorizations of matrices

Boolean Inner-Product Spaces and Boolean Matrices

Hierarchical open Leontief models

EXTERNALLY AND INTERNALLY POSITIVE TIME-VARYING LINEAR SYSTEMS

Zero controllability in discrete-time structured systems

i;\-'i frz q > R>? >tr E*+ [S I z> N g> F 'x sa :r> >,9 T F >= = = I Y E H H>tr iir- g-i I * s I!,i --' - = a trx - H tnz rqx o >.F g< s Ire tr () -s

Another algorithm for nonnegative matrices

Dragan S. Djordjević. 1. Introduction

Null Controllability of Discrete-time Linear Systems with Input and State Constraints

The generalized Schur complement in group inverses and (k + 1)-potent matrices

Optimization problems on the rank and inertia of the Hermitian matrix expression A BX (BX) with applications

Stability, Pole Placement, Observers and Stabilization

IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents

A proof of the Jordan normal form theorem

RANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA

Banach Journal of Mathematical Analysis ISSN: (electronic)

An alternative proof of the Barker, Berman, Plemmons (BBP) result on diagonal stability and extensions - Corrected Version

Positive entries of stable matrices

Nilpotent completions of partial upper triangular matrices

Geometric Mapping Properties of Semipositive Matrices

Key words. Complementarity set, Lyapunov rank, Bishop-Phelps cone, Irreducible cone

Permutation invariant proper polyhedral cones and their Lyapunov rank

Spectral inequalities and equalities involving products of matrices

Moore Penrose inverses and commuting elements of C -algebras

A Simple Derivation of Right Interactor for Tall Transfer Function Matrices and its Application to Inner-Outer Factorization Continuous-Time Case

THE CORONA FACTORIZATION PROPERTY AND REFINEMENT MONOIDS

Given an n n matrix A, the spectrum of A is denoted by σ(a) and its spectral radius by

Parametrization of All Strictly Causal Stabilizing Controllers of Multidimensional Systems single-input single-output case

Static Output Feedback Stabilisation with H Performance for a Class of Plants

Some bounds for the spectral radius of the Hadamard product of matrices

THE SEMIGROUP βs APPLICATIONS TO RAMSEY THEORY

Reachability of a class of discrete-time positive switched systems

A Necessary and Sufficient Condition for High-Frequency Robustness of Non-Strictly-Proper Feedback Systems

CHEBYSHEV INEQUALITIES AND SELF-DUAL CONES

Bounds for Eigenvalues of Tridiagonal Symmetric Matrices Computed. by the LR Method. By Gene H. Golub

Automatic Control 2. Model reduction. Prof. Alberto Bemporad. University of Trento. Academic year

Secant Varieties of Segre Varieties. M. Catalisano, A.V. Geramita, A. Gimigliano

A note on estimates for the spectral radius of a nonnegative matrix

Ann. Funct. Anal. 5 (2014), no. 2, A nnals of F unctional A nalysis ISSN: (electronic) URL:

The Laplacian spectrum of a mixed graph

PRODUCT OF OPERATORS AND NUMERICAL RANGE

FIXED-POINT FREE ENDOMORPHISMS OF GROUPS RELATED TO FINITE FIELDS

Complementarity properties of Peirce-diagonalizable linear transformations on Euclidean Jordan algebras

Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets

EIGENVECTORS FOR A RANDOM WALK ON A LEFT-REGULAR BAND

Infinite elementary divisor structure-preserving transformations for polynomial matrices

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

THE PERTURBATION BOUND FOR THE SPECTRAL RADIUS OF A NON-NEGATIVE TENSOR

The Cayley-Hamilton Theorem and the Jordan Decomposition

HIGHER-ORDER DIFFERENCES AND HIGHER-ORDER PARTIAL SUMS OF EULER S PARTITION FUNCTION

On Linear Copositive Lyapunov Functions and the Stability of Switched Positive Linear Systems

A Backward Stable Hyperbolic QR Factorization Method for Solving Indefinite Least Squares Problem

ETNA Kent State University

Commuting nilpotent matrices and pairs of partitions

The Tuning of Robust Controllers for Stable Systems in the CD-Algebra: The Case of Sinusoidal and Polynomial Signals

NOTICE WARNING CONCERNING COPYRIGHT RESTRICTIONS: The copyright law of the United States (title 17, U.S. Code) governs the making of photocopies or

Letting be a field, e.g., of the real numbers, the complex numbers, the rational numbers, the rational functions W(s) of a complex variable s, etc.

35H MPa Hydraulic Cylinder 3.5 MPa Hydraulic Cylinder 35H-3

c 2002 Society for Industrial and Applied Mathematics

Modified Gauss Seidel type methods and Jacobi type methods for Z-matrices

REPRESENTATION THEORY WEEK 5. B : V V k

Week 15-16: Combinatorial Design

The (2,2,0) Group Inverse Problem

Balanced Truncation 1

JORDAN NORMAL FORM. Contents Introduction 1 Jordan Normal Form 1 Conclusion 5 References 5

Linear System Theory

On cardinality of Pareto spectra

Stability of interval positive continuous-time linear systems

Eventual Cone Invariance

Some generalizations of Abhyankar lemma. K.N.Ponomaryov. Abstract. ramied extensions of discretely valued elds for an arbitrary (not

Weak Monotonicity of Interval Matrices

Multiple eigenvalues

A Graph-theoretic Approach to the Reach Control Problem

Systems Analysis and Control

How many units can a commutative ring have?

16.2. Definition. Let N be the set of all nilpotent elements in g. Define N

Packing triangles in regular tournaments

Spectral Properties of Matrix Polynomials in the Max Algebra

A dynamic model of mobile source air pollution and its properties

Quadratic and Copositive Lyapunov Functions and the Stability of Positive Switched Linear Systems

Research Article On the Completely Positive and Positive Semidefinite-Preserving Cones Part III

Z-Pencils. November 20, Abstract

arxiv:math/ v2 [math.ac] 1 Dec 2007

Applied Mathematics Letters. Comparison theorems for a subclass of proper splittings of matrices

SOME REMARKS ON LINEAR SPACES OF NILPOTENT MATRICES

LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM

Linear Algebra 2 Spectral Notes

Primes in the Semigroup of Non-Negative Matrices

The Drazin inverses of products and differences of orthogonal projections

A property concerning the Hadamard powers of inverse M-matrices

Transcription:

Structural Properties of Discrete-Time Linear Positive Periodic Systems Rafael Bru Dept. Matemxitica Aplicadu ETSZA Universidad Politknica de Valencia 46071 Valencia, Spain and Vicente Hemhndez Dept. Sistemus Znformriticos y Computacibn ETSZZ Universidad Politfknica de Valmcia 46071 Valmcia, Spain Submitted by Michael Neumann ABSTRACT We study reachability and controllability properties for discrete-time positive periodic systems. The equivalence between N-periodic systems, with n states and m inputs, and invariant systems, with n states and Nm inputs, preserves the positivity of such systems, and in addition, closely relates their reachability cones. This equivalence permits us to show that the complete controllability (reachability) of a positive N-periodic system is equivalent to the complete controllability (reachability) of N associated positive invariant systems. 1. INTRODUCTION We consider a discrete-time positive periodic system x(k+l)=a(k)r(k)+b(k)u(k), (1.1) LINEAR ALGEBRA AND ITS APPLZCATZONS 121: 171-183 (1989) 171 0 EIsevier Science Publishing Co., Inc., 1989 655 Avenue of the Americas, New York, NY 10010 00243795/89/$3.50

172 RAFAEL BRU AND VICENTE HERNiiNDEZ where A(k), B(k) are positive N-periodic matrices, k E 22, and N E h +. In the particular case of positive invariant systems (N = 1) the study of controllability and reachability properties has been recently developed by Murthy [9], Coxson and Shapiro [3], and Coxson, Larson, and Schneider [2]. These papers point out the significant differences between structural properties of unconstrained systems and positive ones. In this paper we extend these results to the case of positive periodic systems, by means of the equivalence between periodic system (1.1) and N invariant systems defined by x,0 + 1) = 4x,(k) + O,(k), s=o,l,..., N-l, (1.2) where x,(k) = x(kn+ s), u,(k)=col[u(kn+s+n-l),u(kn+s+n-2),...,u(kn+s)]. This equivalence preserves the positivity of such systems, and in addition the reachability cones for (1.1) and (1.2) are closely related. The paper is organized as follows. In Section 2 we review the structural properties of discrete-time periodic linear systems, and the well-known equivalence between periodic and invariant systems. In Section 3 we consider controllability and reachability properties for the positive periodic case. We prove that for k = pn, the k-reachability cone at time s for (1.1) is equal to the preachability cone for invariant system (1.2) corresponding to index s. Finally, in Section 4, we show that the complete controllability (reachability) of the positive periodic system (1.1) is equivalent to the complete controllability (reachability) of the N positive invariant systems (1.2). 2. DISCRETE-TIME PERIODIC LINEAR SYSTEMS Consider the discrete-time periodic linear system x(k +l) = A(k)x(k)+ B(k)u(k), (2.1)

LINEAR POSITIVE PERIODIC SYSTEMS 173 where A(k + N) = A(k) ER ~, B(k + N) = B(k) E (Wnxm, (2.2) for all k E Z, N E H +. We also consider N discrete-time invariant linear systems associated with (2.1)-(2.2), where r,(k+l)=a,x,(k)+b,u,(k), (2.3) A,=+A(s+N,s), B,=[B(s+N-l),~~(s+N,s+N-1)B(s+N+2),...,~~(s+N,s+1) B(s)] (2.4) foreverys=o,l,..., N-l.By+,(k,k,), we denote the transition matrix of (2.1)-(2.2), GA(k, k,) = A(k - l)a(k - 2). -A(k,), k>k,, k&h,> k,) = 1 Observe that A, is the monodromy matrix at time s of the periodic system (2.1)-(2.2), and II, is such that B,BT is equal to the reachability Grammian matrix of (2.1)-(2.2) on the interval [s, s + N]: s+n-1 W(s,s+N)= c ~~(s+n,j+l)b(j)b(j)r~~(.s+n,j+l)r. j=s The equivalence in the state-space domain between the N-periodic system (2.1)-(2.2), with n states and m inputs, and the N invariant systems (2.3)-(2.4), with n states and Nm inputs, was proved in [5], where r,(k) = r(klv+ s), u,(k)=col[u(kn+s+n-l),u(kn+s+n-2),...,u(kn+s)]

174 RAFAEL BRU AND VICENTE HERNANDEZ are the relationships between the state and input vectors of the two systems. Note that this equivalence was also applied in the frequency domain to the study of periodic systems in [4] and [7]. We denote by cp(k; k,, r,,, u(.)) the state function of (2.1)-(2.2): This function gives the state of the system (2.1)-(2.2) at time k when we apply the control sequence u( k,), u( k, + l),..., u( k - 1) from the initial state xc at time k,. We now recall the controllability and reachability concepts for periodic systems. DEFINITION 2.1. The periodic system (2.1)-(2.2) is: (i) Completely controllable at time s when for every final state xf E R and for every initial state x0 E R, there exist a finite time k, E E and a control sequence u(j) E R m, j = s - k,, s - k., + 1,..., s - 1, such that cp(s; s - k,, xg>u<.>) =x,-. (2.5) If xf, x0 satisfy (2.5), then we shall say that rf is reached from r0 in k, steps. s E z. (ii) Completely controllable when it is completely controllable at s for all (iii) Completely reachable at time s when for every final state xf E R there exist a finite time k, E Z + and a control sequence u(j) E R I, j = s - k,,s - k, + 1,..., s - 1, such that q( s; s - k,,o, u(.)) = xf.. s E z. (iv) Completely reachable when it is completely reachable at s for all As a consequence of the N-periodicity, the system (2.1)-(2.2) is completely controllable (reachable) when it is completely controllable (reachable) at sforeverys=o,l,..., N-l. From the structural properties of periodic systems and the above equiva- lence between (2.1)-(2.2) and (2.3)-(2.4) the following result is obtained.

LINEAR POSITIVE PERIODIC SYSTEMS 175 PROPOSITION 2.2. For every s = 0, 1,..., N - 1, the following assertions are equivalent: (1) The system (2.1)-(2.2) is completely controllable at s. (2) The system (2.1)-(2.2) is completely reachable at s. (3) The system (2.1)-(2.2) is completely reachable at s in fixed time: any final state xf can be reached from the zero state in at most Nn steps (i.e. k,< Nn). (4) The k-step reachability matrix of the invariant system (2.3)-(2.4) given by Cp)= [B,,A,B,,...,Ak,- gslnxknnl (2.6) has rank n for some k. (5) rank CL ) = n. Proof. The equivalences l++ 2 * 3 are standard properties of a discrete-time periodic linear system. The remainder equivalences are a consequence of the equality between the reachability subspace at time s of (2.1)-(2.2) and the reachability subspace of (2.3)-(2.4) corresponding to index s, which was proved in [6]. 3. DISCRETE-TIME POSITIVE PERIODIC LINEAR SYSTEM We denote by lf8; the set of nonnegative vectors of length n. When n:er? we write x >, 0. DEFINITION 3.1. (i) The system (2.1)-(2.2) is a positive periodic system at time s when for each initial state x(s) = x0 > 0 and for each control sequence u(k) >, 0, k > s, one verifies that forall k>s. (ii) The system (2.1)-(2.2) is a positive periodic system when it is a positive periodic system at time s for every s E Z.

176 RAFAEL BRU AND VICENTE HERNiiNDEZ REMARK 3.2. (i) From the periodicity of A(.) and B(.), the system (2.1)-(2.2) is a positive periodic system when it is a positive periodic system at time s for every s =O,l,..., N- 1. (ii) The system (2.1)-(2.2) is a positive periodic system if and only if A(k)>,O, B(k)aO, for all k=o,l,...,n-1. For a matrix M=(mij)~ Iw mx, M>Odenotesthat mij>oforall i, j. Wedenoteby(A(.),B(.))>O the positive periodic system (2.1)-(2.2). (iii) It is easy to see that if (2.1)-(2.2) is a positive periodic system, then the N associated systems (2.3)-(2.4), s = O,l,..., N- 1, are also positive. We now consider the controllability and reachability concepts for positive periodic systems. As in the work of Coxson and Shapiro [3], properties (1) to (5) of Proposition 2.2 with the additional restrictions ra > 0, x,- >, 0, and u(j) > 0, j = s - k,, s - k, + 1,..., s - 1, will be denoted by lp, 2P, 3P, 4P, and 5P. First, we define the k-reachability cone for the positive periodic system (2.1)-(2.2) and for associated positive invariant system (2.3)-(2.4). defined DEFINITION 3.3. For each s = 0, 1 >...> N-l: (i) The k-reachable cone at s of the positive periodic system (2.1)-(2.2) is as R&W, f+b) = {.,EIW:IXf= P(s;s-k,O,u(.)),u(j)E(W: }. (ii) The k-reachability cone of the corresponding to index s is defined as positive invariant system (2.3)-(2.4) i I k-l As Xf=q(s;s-k,O,u(.))= c GA(s, j+l>b(j)u(j), s-l j=s-k the k-reachable cone Rk( A( * ), B(. ), s) is the cone generated by the columns

LINEAR POSITIVE PERIODIC SYSTEMS 177 of the matrix ck(s)= [~(s-l),~~(s,s-1)~(~-2),...,~~,(s,s-k+1)b(s-k)l, (34 and the k-reachable cone Rk( A s, B,) is the cone generated by the columns of the matrix Cp= [B,,A,B,,..., A:-lo,]. (3.2) REMARK 3.4. For each s = 0, 1,..., N - 1: (i) For the positive periodic system (2.1)-(2.2), the set of states which are reachable at s in finite time with nonnegative inputs is given by %(A(.)J+)>s)= u R&+),B(.),s). ksn (ii) For the positive invariant system (2.3)-(2.4) corresponding to index s, the set of states which are reachable in finite time with nonnegative inputs is given by Rm(A,c B,) = u h&l 8,). k=n Note that for positive periodic systems, property 2P is equivalent to R,(A(.),B(.),s)=~:. (3.3) In [3] it was pointed out that for some positive invariant systems (3.3) does not hold. This motivates the following definition. DEFINITION 3.5. For each s = 0, 1,..., N - 1: (i) The reuchability cone at s of the positive periodic system (2.1)-(2.2) is defined as the closure of R,(A(.), B(.), s), that is, R(A(.),B(+s)= R,(A(.),B(.),s).

178 RAFAEL BRU AND VICENTE HERNANDEZ (ii) The positive periodic system (2.1)-(2.2) is essentially completely reachable at s when R(A(.),B(+s)=IW,. We refer to this property as 2PE. (iii) The reachable cone of the positive invariant system (2.3)-(2.4) corresponding to index s is defined as the closure of R,( A,, B,), that is, R(A,, 4) = R&L B,). (iv) The positive invariant system (2.3)-(2.4) essentially completely reachable when corresponding to index s is R(A,, B,) = W,. The following result gives the relations between the reachable previously defined. cones LEMMA 3.6. Foreachs=O,l,...,N-1: (9 R,(A(.), R(.), s> = R,(A,, RJ, k = PN. (ii) WA(.), W.1, s) = WA,, B,>. Proof (i): By Definition 3.3, R,,( A( e), B(.), s) is the cone generated by the columns of the matrix and R&AS, B,) is the cone generated by the columns of the matrix So we only need to prove that CpN( s) = cp. (3.5)

LINEAR POSITIVE PERIODIC SYSTEMS 179 The matrix (3.4) can be partitioned in the following way: cpn(s)=[b(s-l),$j~(s,s-1)b(s-2),...,~~(s~s-n+l)~(s-n) ~~*(s,s-n)b(s-n-1),+*(&s-n-#+-n-2),..., +*(s,s-2n+l)b(s-2n) :... id&, s - (P - 1pqqs - (P - l)n- q, $&,S-(p-1)N-1)B(s-(p-1)N-2),..., &(s, s - pn+ l>b(s - PN>l (3.6) From (2.4) and by the N-periodicity of B(.) and +*pa(., *) we obtain B,= [B(s-1),$&s-l)B(s-2),...,$,&,s-N+l)B(s-N)], A,B,=~~(s,s-N)[B(s-N-l),~~(s-N,s-N-l)B(s-N-2),..., &(s - N, s - 2N+ l)b(s - 2N)] +Js,s-2N+l)B(s-2N)], (3.7) Aff- II,= [$I&,s-(p-l)N)B(s-(p-l)N-1), +*(s,s-(r)-l)n-l)b(s-(p-l)n-2),..., &(s, s - nn+ l)b(s - PN)]. From (3.6) and (3.7) we conclude that (3.5) holds. (ii): This property is a consequence of the relation just proved.

180 RAFAEL BRU AND VICENTE HERN.kNDEZ Just as we extended the reachability property 2P to 2PE, we can also extend the controllability property 1P to 1PE [3]. We denote by x B 0 a vector with positive entries. DEFINITION 3.7. For each s = 0, 1,..., N - 1: (i) The positive system (2.1)-(2.2) is essentially completely positive orthant controllable at s when for every xf B 0 and x0 > 0 there exist a finite time kfez+ and a control sequence u(j) > 0, j = s - k,, s - k, + 1,..., s - 1, such that p( s; s - k,, xc,, 4)) = xf. (ii) The positive invariant system (2.3)-(2.4) corresponding to index s is essentially completely positive orthant controllable when for every xf >> 0 and ra >, 0 there exist a finite time k, E H + and a control sequence u,(j) > 0, j = s - k,, s - k, + 1,..., s - 1, such that xf = k, - 1 c Ai,B,u,( k, - 1 - i). i=o 4. STRUCTURAL PROPERTIES In this section we study the properties lp, 2P, lpe, and 2PE of the positive periodic system (2.1)-(2.2) from the corresponding properties of the positive invariant system (2.3)-(2.4). In this way we extend Coxson and Shapiro s results to the case of positive periodic systems. PROPOSITION 4.1. The positive periodic system (2.1)-(2.2) is (essen- tially) completely positive orthant controllable at s if and only if the positive invariant system (2.3)-(2.4) corresponding to index s is (essentially) completely positive orthant controllable, for every s = 0, 1,..., N - 1. Proof. If the positive periodic system (2.1)-(2.2) verifies property lp, then for every final state xf >, 0 and for every initial state x0 > 0 there exist a

LINEAR POSITIVE PERIODIC SYSTEMS 181 finite time k E Z + and a control sequence u(j)>o, j=s-k,s-k+ 1,...,s-1, such that s-1 Xf=+A(s,S-k)xo+ 1 #hj+l)b(j)u(j). j=s-k Without loss of generality we can suppose that k = pn for some p E N. Thus xf= Q&J - pn)q, + C,&b. Taking into account the expressions (3.4) and (3.5) we obtain xf = A?$, + C u P * Hence, the positive invariant system (2.3)-(2.4) corresponding to index s verifies property 1P. The converse result is analogously proved. In the case of property 1PE we only need to take rf B 0, and the proof follows as before. R COROLLARY 4.2. Foreachs=O,l,...,N-1: (i) The positive periodic system (2.1)-(2.2) is completely positive orthant controllable at s if and only if R,(A( e), B(.), s) = Iw: and G~(S + N, s) is nilpotent. (ii) The positive periodic system (2.1)-(2.2) is essentially completely positive orthant controllable at s if and only if R(A(.), B(e), s) = R; and G~(S + N, s) is stable (i.e. spectral radius less than one). Proof. The results are a consequence of the above Proposition 4.1 and Lemma 3.6, and Propositions 1 and 2 of [3]. THEOREM 4.3. Consider the positive system (2.1)-(2.2). Zf A(k) is irreducible for all k=o,l,,.., N-l, and A(k,)>>O for some k,e (0, 1,..., N - 1}, then R(A( a), B(a), s) = RF if and only if R,(A(*),B(.),s)=R;, foreachs=o,l,..., N-l. Proof. From the conditions on the matrices A(k), k = 0, 1,..., N - 1, we have A, = (P*( s + N, s) B 0 and then A, is irreducible and primitive.

182 RAFAEL BRU AND VICENTE HERNANDEZ Now we consider the positive invariant system (2.3)-(2.4) corresponding to index s. From Theorem 1 in [3], R(A,, II,) = WY if and only if R,(A,, B,) = R :. Next, applying Lemma 3.6, the result is obtained. THEOREM 4.4. For each s = 0 1 > >...> N - 1, the positive periodic system (2.1)-(2.2) verifies that R,(A(.), B(.), s) = Iw: if and only if R,,(A(.),B(.),s)=R:. Proof. Consider the positive invariant system (2.3)-(2.4) corresponding to index s. From the result of Section 6 in [2] we have that R,(A,, I?,) = RF if and only if R J A,, B,) = If8 :. Then by Lemma 3.6 we obtain the result. From the previous results of this section it is easy to deduce that the same relations among structural properties of positive invariant systems obtained by Coxson and Shapiro remain in the positive periodic case. COROLLARY 4.5. The controllability, reachability, and rank conditions for positive periodic systems verify the following relations: (a) 1P + 2P -+ 4P, but 1P ct- 2P + 4P; (b) 1PE + 2PE + 4PE, but 1PE + 2PE ++ 4PE; (c) 3PE + 2PE, (d) 3P tf 2P. but 3PE cf- 2PE; Proof. (a): 1P + 2P by Corollary 4.2. 2P -+ 4P is trivial. The converse implications are not true in general because they are not true in the case N = 1 (see [3]). (b): 1PE + 2PE by Corollary 4.2. 2PE + 4PE is obvious. The converse implications are not true in general for the same reasons as in case (a). (c): 3PE -+ 2PE is trivial. The converse implication is not true for N = 1 (see [31). REFERENCES 1 A. Berman and R. J. Plemmons, Nonnegative Matrices in the Mathematical Sciences, Academic, New York, 1979. 2 P. G. Coxson, L. C. Larson, and H. Schneider, Monomial patterns in the sequence Akb, Linear Algebra A&. 94:89-101 (1987). 3 P. G. Coxon and H. Shapiro, Positive input reachability and controllability of positive systems, Linear Algebra A&. 94:35-53 (1987). 4 J. H. Davis, Stability conditions derived from spectral theory: Discrete systems with periodic feedback, SIAM J. Conrrol lo:l-13 (1972).

LINEAR POSITIVE PERIODIC SYSTEMS 183 8 9 10 11 12 V. Hemhdez and A. Urbano, Pole-assignment problem for discrete-time linear periodic systems, Internat. 1. Control 46(2):687-697 (1987). V. Hem&ndez and A. Urbano, Invariant dynamic decomposition of discrete-time linear periodic systems, presented at MTNSS7, Phoenix, June 1987. P. P. Khargonekar, K. P&a, and A. Tannebaum, Robust control of linear time-invariant plants using periodic compensation, IEEE Trans. Automat. Control AC-30: 1088-1096 (1985). H. Maeda and S. Kodama, Positive realization of difference equations, IEEE Trans. Circuits and Systems CAS-28(1):39-47 (1981). D. N. P. Mm-thy, Controllability of a linear positive dynamic system, Internat. 1. Systems Sci. 17( 1):49-54 (1986). M. Neumann and R. Stem, Boundary results for positively invariant cones and their reachability cones, Linear and MuZtiEineur Algebra 17:143-W (1985). M. Neumann and R. Stem, Cone reachability for linear differential systems, Applicable Anal. 20:57-71 (1985). Y. Ohta, H. Maeda, and S. Kodama, Reachability, observability and realizability of continuous-time positive systems, SIAM 1. Control Optim. 22(2):171-180 (1984). Received 13 Junuary 1988; final manuscript accepted 22 Septmnbm 1988