International Journal of Differential Equations
Volume 2016, Issue 1 6346780
Research Article
Open Access

Positive Stabilization of Linear Differential Algebraic Equation System

Muhafzan, 

Corresponding Author

Muhafzan

Department of Mathematics, Faculty of Mathematics and Natural Sciences, Universitas Andalas, Kampus Unand Limau Manis, Padang 25163, Indonesia unand.ac.id

Search for more papers by this author
First published: 03 August 2016
https://doi.org/10.1155/2016/6346780
Citations: 1
Academic Editor: Patricia J. Y. Wong

Abstract

We study in this paper the existence of a feedback for linear differential algebraic equation system such that the closed-loop system is positive and stable. A necessary and sufficient condition for such existence has been established. This result can be used to detect the existence of a state feedback law that makes the linear differential algebraic equation system in closed loop positive and stable.

1. Introduction

We consider the following linear time invariant differential algebraic equation system:
(1)
where and are real constant coefficient matrices. In the mathematical control literatures, the variables in (1), namely, and , denote state and control, respectively. The model of this kind often arises naturally in broad applications because its form is more general than the representations currently used for design and analysis of control systems, so that it is more suitable to describe physical systems. The differential algebraic models are often used in several areas of application such as biology [1] and electrical circuit [2].

As a model, many variables in these systems involve quantities that are intrinsically nonnegative, such as absolute temperatures, concentration of substances in chemical processes, level of liquids in tanks, and number of proteins. These examples belong to the important class of systems which have the property that the state is nonnegative whenever the initial conditions are nonnegative. Hence, the mathematical model describing these systems must take into account this nonnegativity constraint. This leads to the notion of positive differential algebraic equation system [3]. Although positive systems have been actively researched and many results have been reported (see, e.g., [3, 4] and references therein), the literature of positive differential algebraic systems is much more limited. In particular, the fundamental issue of characterizing the stability of positive differential algebraic equation system has only been addressed in [3, 5, 6]. In [3], the stability of positive differential algebraic equation system was investigated by making unnecessary assumptions and general necessary and sufficient conditions were proposed by means of Linear Programming (LP). In [5], the characteristic of feedback of positive LTI continuous singular systems is given only for the case of Index 1. However, the crucial issue of stabilization still remains unexplored to date. The aim of this paper is to present the first attempt to tackle this important problem. Thus, we present in this short paper a novel approach to detect the existence of a state feedback law that makes the linear differential algebraic equation system in closed loop positive and stable. The remainder of the paper is structured as follows. Section 2 gives formulation of the problem and some basic material required to develop the proposed approach. The main result is considered in Section 3 and finally some conclusions are given.

2. Materials and Problem Formulation

In this section, we present some basic materials which will be needed in the sequel. Shortly, system (1) will be written as a matrix pair (E, F). In the case of rank⁡(E) < n, system (1) is called regular if det⁡(λE − F) ≠ 0 for some , and it is called irregular otherwise. Furthermore, the index of system (1), denoted by ind⁡(E, F), is a smallest nonnegative integer q such that rank(Eq+1) = rank(Eq). If the pair (E, F) is regular, then there exists a solution of (1) which is given in [6] as follows:
(2)
where , , , v∈, and superscript D denotes the Drazin inverse of corresponding square matrix. Further details on the Drazin inverse can be found in [7].

The differential algebraic equation system (1) with ind⁡(E, F) = q is called positive if for any admissible initial state and all control such that with t ≥ 0; j = 1,2, …, q − 1, then, In addition, it is called stable if limt→∞w(t) = 0 for all admissible [6], where denote the set of real vectors of n components in which each component is nonnegative.

In this paper, the problem to deal with is to find a feedback u(t) = Hw(t) for some matrices for system (1) such that the resulting closed-loop system
(3)
is regular, positive, and stable.

By referring to [3, 6], let us recall the basic background of this type of equation system.

Theorem 1. If , then system (3) with u(t) = 0 is positive if and only if there exists α ≥ 0 such that

(4)

Theorem 2. If system (3) with u(t) = 0 is positive, then it is stable if and only if there exists such that .

3. Results

In light of Theorems 1 and 2 proposed in [3, 6], we have to find a matrix such that
  • (a)

    exists for some ,

  • (b)

    for some α ≥ 0,

  • (c)

    , for some , where

    (5)

The existence of these matrices are given in the subsequent result.

Theorem 3. Consider system (1) with (E, F) regular. Then, the following statements are equivalent:

  • (1)

    There exists a stabilizing matrix such that the feedback control u(t) = Hw(t) for system (1) makes the closed-loop system positive and stable.

  • (2)

    There exists , such that

    • (i)

      (λE − F − GH) −1 exists,

    • (ii)

      for i, j = 1,2, …, n, the two things subsequently hold:

      (6)
      (7)
      where
      (8)
      and are the rows of the matrix

Proof. It is clear that the closed-loop system is given by

(9)
and (λE − F − GH) −1 exists for some due to the regularity of (E, F). Note that Now, define
(10)
From (7), we have
(11)
which amounts to saying that (7) is equivalent to the positivity of the closed-loop system, that is, condition (b). Furthermore, from (6), we have
(12)
where and , which amounts to saying that (6) is equivalent to the stability of the closed-loop system, that is, condition (c).

Furthermore, let us discuss an example illustrating Theorem 3.

Example 4. Consider the linear differential algebraic equation system in (1) with

(13)

It is easy to show that the system under consideration is positive but unstable. Our goal is to design a state feedback controller such that the closed-loop system is positive and stable simultaneously. For this goal, an appropriate matrix can be obtained from Theorem 3. By a little calculation, we find, for example, , such that
(14)
which is clearly a positive and stable system.

4. Conclusion

A necessary and sufficient condition for existence of a feedback for linear differential algebraic equation system such that the closed-loop system is positive and stable has been established. This result can be used to detect the existence of a state feedback law that makes the linear differential algebraic equation system in closed loop positive and stable.

Competing Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.