1. Introduction
The common characteristic of positive systems is that their states are non-negative whenever the initial conditions are non-negative. These features motivate researchers to extend the idea of positiveness by constructing partly positive systems. The main barriers are the Metzler system matrix parametric constraints and the diagonal stabilization principle. Less ramparts are for the class of system with mathematical models exploiting ostensible Metzler system matrices where, e.g., turbofan engine mathematical models [
1], linearized aircraft mathematical models [
2], longitudinal dynamics mathematical models of unmanned aerial vehicle [
3] and rocket fairing structural-acoustic mathematical models [
4,
5], represent the range of related applications. Their use in system diagnostics is supported by the fact that the methodologies used are based on state observers and functional observers, where the measurement output matrix is generally non-negative [
6,
7]. A generalization of the state observer synthesis for linear ostensible Metzler systems is focused in [
8,
9].
In existing results on linear positive Metzler systems, the positive control gain performances are commonly considered for dealing with the state control law. Due to the internal positivity, the closed-loop system should also be positive but, owing to the constraints on systems matrices, the poles of the closed-loop system cannot be placed arbitrarily [
10]. Since ostensible Metzler systems are not internally positive, the task of synthesizing state control with a positive control law matrix requires an extended modification of the synthesis tasks [
11,
12]. These facts are strongly manifested in solutions of the network control of aircraft engines [
13,
14], as well as in the consensus control of positive networked systems [
15,
16], where used mathematical models are typically ostensible Metzler. Since these approaches are characterized by a non-negative static gain matrix, the result is only to ensure the stability of the system in a closed loop.
In the present paper, a generalization of the authors’ preliminary works for ostensible Metzler linear multi-input and multi-output (MIMO) systems is proposed to follow the above-mentioned trends. On the basis of new synthesis conditions in the form of linear matrix inequalities (LMIs) for state control of this class of systems, if in addition the task is limited by column rank deficient system input matrix, a less conservative approach is conceived in detail when reflecting the needs of system diagonal stabilization. A fundamental novelty is the set of constraints related to unsigned input matrix parameters with newly formulated LMI structures and the forced partial factorization of system dynamics matrices. Interacting with a pair of matrices produced by the decomposition of the ostensible Metzler matrix structure, the resulting LMI terms have fewer negative matrix elements in defining the positivity constraints. No further restrictions on the synthesis conditions are required except for the standard ones associated with the diagonal stability of Metzler systems.
The remaining part of the paper is organized as follows:
Section 2 deals with strictly Metzler constraints and related design limits when applying the principle of diagonal stabilization in the control design task for this class of linear MIMO systems.
Section 3 focuses on ostensible Metzler matrix structures and their structural decomposition, where the challenging aim is to unify the approach based on the set of linear matrix inequalities (LMIs).
Section 4 generalizes the concepts of diagonal stability within the framework implying from the rank deficient input matrix. To show the applicability of the theoretical results and the system constraints roles, an example is given in
Section 5 to deal in detail with the investigated design limits, and concluding remarks are presented in
Section 6.
For sake of convenience, throughout this paper used notations reflect usual conventionality so that , denotes the transpose of the vector x, and the matrix X, respectively, diag marks a (block) diagonal matrix, for a square symmetric matrix means its negative definiteness, labels the n-th order unit matrix, signifies the inverse and the eigenvalue spectrum of a square matrix X, the maximum real part of the eigenvalues of X is denoted by , () marks the set of (nonnegative) real numbers, () refers to the set of (nonnegative) real matrices and () indicates the set of strictly (ostensible) Metzler matrices.
2. Positive System Constraints Formulation
This section considers a class of continuous-time linear positive systems given as:
where
,
are nonnegative vectors of state and output variables,
is vector of input variables,
,
are nonnegative input and output matrices and the differential transition matrix
is strictly (purely) Metzler.
Definition 1 ([17]). A system is a positive system if its states are non-negative for any non-negative initial condition and any non-negative input.
Definition 2 ([18]). System (1) is said to be positive if is a strictly (purely) Metzler matrix and element-wise. Definition 3 ([19]). A matrix is called a strictly Metzler matrix if is represented by negative diagonal elements and by strictly positive off diagonal elements. A matrix is called purely Metzler matrix if is represented by negative diagonal elements and by nonnegative off diagonal elements.
Most articles related to Metzler systems define the conditions of synthesis of controllers and estimators based on the principle of linear programming. In the following, several Lemmas are presented, allowing to express the conditions of the synthesis of Metzler systems by means of linear matrix inequalities.
To remove any notational ambiguity,
is used for the (i,j)th entry of
A so that a strictly Metzler
states the parametric constraints
and a purely Metzler
is limited by the parametric constraints
If the conditions of analysis of positive systems are based on linear matrix inequalities, the non sharp constraints of pure Metzler matrix parameters in (
3) can be circumvented by using structured matrix variables.
Since the topic of the article is tied to the synthesis of the control of linear Metzler systems, the next overview is devoted only to this area of problems. The reader can find details regarding the use of the duality principle in the synthesis of state observers in [
20]. Note, other limitations in the analysis and synthesis of linear positive systems result from the constraint that this class of systems is only diagonally stable [
21].
Definition 4 ([22]). System (1) is diagonally stable if there exists a Lyapunov function in the form of a quadratic form with a diagonal matrix that satisfies the requirements of the Lyapunov theorem on asymptotic stability. Lemma 1 ([23]). For the diagonal stability of the positive system (1), it is necessary and sufficient that the strictly (purely) Metzler matrix is Hurwitz that is there exists a diagonal positive definite matrix such that it is satisfied the matrix inequality In order to include the condition resulting from Lemma 1 in the state control synthesis, it is necessary to parameterize the structure of the Metzler matrix. The parametrization principle of a strictly Metzler matrix in the control tasks implies the following:
Lemma 2 ([24]). If a strictly Metzler matrix is represented in the control rhombic formwhilst diagonals of (5) imply for the diagonal matrix structuresand by (2), it is further derived that Then the control parametrization form yieldswhilst the matrix of the following structure:is a circulant form of the permutation matrix, [25]. Corollary 1. Equivalently to (7), it can be set as:since on a diagonal matrix , the following matrix operationgives no change in definiteness with relation to Z. As far as the state control problem is concerned, it is natural to point out the relations of diagonal stability consequence in state control design, presenting the following definition:
Definition 5 ([
24]).
Give a nonnegative gain matrix to shape up the full system state feedback control lawin the construction of the closed-loop systemwhere for , the matrix is strictly Metzler and Hurwitz.Using from (6) and diagonal matrices , such thatthen the parameterized form of becomes These relations can be formulated in terms of auxiliary systems of linear matrix inequalities under the existence of the Lyapunov function in the quadratic form constructed on a positive definite diagonal matrix.
3. Results on a Class of Ostensible Metzler Systems
Until now, the design of the state control of linear ostensible Metzler linear systems has been an open question, and auxiliary constraints in the general framework need to be established. Let, for clarity, a system is described by (
1), where
is a nonnegative matrix but
is an ostensible Metzler system.
Definition 6. The matrix is an ostensible Metzler system if, in the structure of A, except a predominant number of positive off-diagonal elements, it is at least one negative off-diagonal element, whilst all diagonal elements of A are negative.
The structure of gives a base in separation of ostensible Metzler matrices.
Lemma 3 ([26]). If for it can be set with scalars , and , then eigenvalues of arewhere runs over the eigenvalues of X and the eigenvectors of X and Y are identical. Because the control problem for linear ostensible Metzler systems cannot be completely solved in the standard way, a separation of an ostensible Metzler
is proposed such that
where
is strictly Metzler and
is element-wise negative and Hurwitz. Such separation converts design ideas for ostensible Metzler matrices into those for strictly Metzler matrices, parameterizing analogously, as above, the matrix
by its rhombic form.
Note that sufficient information about the structure of the matrix may not be satisfied in the general case. To solve such a problem, the following additional conditions were included in the design to transform the constraint problem described in Lemma 2 into an optimization problem:
Lemma 4 ([27]). If for an ostensible Metzler exist a strictly Metzler and an element-wise negative and Hurwitz such that the prescribed performances to (18) are guaranteed then, in dependence on positive scalars , the following have to hold:whilst is the spectrum of eigenvalues of the matrix . This separation makes the LMI formulation of design conditions for ostensible Metzler linear system straightforward and easy. In addition, in the separation procedure, values of the scalar parameters
can be set interactively when prescribing
D-stability region [
28] of
.
Note that since the matrix A is not strictly Metzler, such an autonomous part of the system is not internally positive, which means that only some state variables are non-negative.
The major interpretation can be summarized as follows: (i) A unified framework is proposed for ostensible Metzler systems representation in the continuous-time domain. (ii) The entire approach presents a standard result from the view of employing the quadratic Lyapunov function with a positive definite diagonal matrix variable.
These results impose a rather strong condition for the linear state control problem solution with positive (non-negative) control gain matrix for ostensible linear Metzler systems.
4. Rank Deficient System Input Matrix of Ostensible Metzler Linear Systems
The results of the previous section can now be specialized to the case when the input of the ostensible Metzler linear system mathematical model (
1) is limited by a rank deficient matrix
that is, there is a strip of zero rows in
B and the real elements of its non-zero rows are bounded, but signum indefinite.
Since the
d-th row from the strip of zero row vectors in
B causes the
d-th row of the ostensible Metzler matrix of the closed-loop
remain identical to the
d-th row of the ostensible Metzler matrix of the open-loop
A under the state control, an extension to Lemma 4 is proposed, especially for irreducible cases. One way to solve this problem is the modification of elements assignment in (
21) by changing the parametric constraint rules (
22) as follows:
to transform the separation procedure to a relaxed form. The remaining separation conditions defined by Lemma 4 remain valid.
If the condition
from (
20) is not fulfilled for a given value of the parameter
, even under these conditions does not exist parametrization of the matrix
according to (
18), which guarantees a positive gain
to the control law (
12).
The design task can now be formulated only as the construction of a Hurwitz stable
(
16) on a hidden ostensible Metzler and Hurwitz matrix
when implementing the feedback (
12) to continuous-time system (
1) with ostensible Metzler
and rank deficient
, where
whilst
,
are diagonalized as in (
14). Moreover, positive element constraints cannot be ensured by negative feedback of each diagonal matrix from the rhombic representation of
if that includes a negative non-diagonal element from
d-th row of the ostensible Metzler matrix
A and this problem must be solved at the level of the conditions of positivity.
To design positive the following theorem is given, having the ability to make the closed-loop system stable and to solve the design task in LMIs framework.
Theorem 1. The matrices are ostensible Metzler and Hurwitz if there exist positive definite diagonal matrices , and matrices , such that for , ,where condition (6) implies, result from diagonalization of the rank deficient matrix by (15) and Within a feasible solution, the controller gain is constructed sequentially with relation to (14) by its rows Proof. Using the positive definite diagonal matrix
to respect principle of diagonal stabilization, the following candidate for the Lyapunov function
can be defined:
and taking the derivative of
along all trajectories of system (
26) with ostensible Metzler
and rank deficient
it can be prescribed:
When inserting (
26) in (
35), it is
respectively.
Thus, defining
then, pre-multiplying the left side and post-multiplying the right side by
P, inequality (
37) it can be concluded that
where a diagonal positive definite
P is the solution of (
38).
With relation to (
26) it bears
where the row vector
defined in (
32) projects given parameters to diagonal matrix representations and with the notation
then (
37), (
39) imply (
30).
Since (
16) with matrix parametric constraints (
31) is generalizable as
interpreting (
41) analogously to (
10) then, for
,
Multiplying the right side of (
42) by
P, it can be straight derived
and, using notation (
40), then (
43) implies (
28).
The same interpretation of (
10), (
15), (
41) for any
results in
and substituting (
40) after multiplying the right side by
P, then (
44) implies (
29) with zero matrix on the right side if the associate rhombic diagonal matrix satisfies the condition
.
In the opposite case, it is necessary to add to the right side the diagonal matrix variable
,
to construct extended form of (
29). This concludes the proof. □
Remark 1. If the rhombic diagonal matrix is signum indefinite, a component of the positive definite diagonal matrix variable P can converge to 0 and the solution of the control law gain problem becomes very large. This problem is solved by the proposed modification and is conditioned by the LMI constraint positiveness representation (29). If the requirements of Theorem 1 cannot be met prescribing negativeness by , this means that the task is infeasible, and for the rank-deficit input matrix of the system specified in this way, there is no diagonal stabilization of the system. But this is not a problem conditioned by the method of separation of the ostensible Metzler matrix. Remark 2. Theorem 1 expresses conditions guaranteeing solutions with positive gain of the control law (12). Furthermore, it formulates the optimization problem which reveals the conditions for given parametric constraints. The presented synthesis method is relevant for that class of real applications based on ostensible Metzler mathematical models, which is presented in [1,2,3,4,5]. 5. Illustrative Example
To illustrate the suitability of the proposed method, the design procedure for a linear ostensible Metzler system (
1) is specified, with the system parameters coming from the linearized mathematical model of the B747-100/200 aircraft [
29], where the state variables, necessary for the design of longitudinal control, are the pitch rate (radian per second), actual airspeed (meter per second), angle of attack (radian) and pitch angle (radian) and system inputs are elevator deflection, total thrust and horizontal stabilizer. Used mathematical model parameters are [
29]:
whilst the ostensible Metzler matrix
A is stable, since
and the input matrix rank deficiency implies the row numbers
.
It is assumed that the parameters of the mathematical model are known and it is possible to implement the separation of the matrix
A according to the methodology mentioned above. Thus, since only the first and the forth rows elements of
A can be considered in the matrix
A separation, it leads to
where, for the predefined
,
Setting the
D-stability region by
, the element-wise negative and Hurwitz
(
19) results, where
whilst, the main diagonal elements of
A construct a negative definite diagonal matrix
the reference strictly Metzler matrix
, given by the rule
, is constructed as:
where the set of eigenvalues
is stable.
In the next step, matrix bounds must be constructed that express the Metzler dynamics
with respect to the principle of diagonal stabilization. Thus, the rhombic related diagonal matrices to
, conditioned by rank of
B, are derived as
It is obvious that
is not positive definite diagonal matrix and therefore the condition on the parametric constraints for
must be modified as
whilst the rest positive constraints stay unchanged.
Fitting the design to this set of parameters by solving the conditions (
27)–(
30) using the SeDuMi [
30] package in the MATLAB environment has a feasible solution in the form of positive definite diagonal matrices variables:
and under the rule (
33), this set of LMI variables predefined a positive element-wise state control law gain matrix as the final synthesis parameter
which forces the stable reference as well as the closed-loop dynamics
From the set of eigenvalues and the simulation results, it can be found that the proposed method has an acceptable closed-loop system response and desired steady-state properties.
The simulations were realized in the standard way for the closed-loop system structure with the reference gain matrix, constant values of the desired outputs and the computed control law matrix parameter
K, where
Since the closed-loop dynamics do not represent a strictly positive system, the initial system state was set as .
The simulation results are exhibited in
Figure 1 to illustrate the problems of synthesis and to demonstrate the design boundedness of the control parameters. From
Figure 1, it can be observed that the system output variables have to be positive in such an initialization setting, since
is an ostensible Metzler system and Hurwitz and
W,
C and
are positive. Due to the resulting positivity of the closed-loop structure, the simulation results in
Figure 1 completely illustrate the presented methodology.
In the existing works on this type of mathematical model (see, e.g., [
31,
32,
33]), the constraints resulting from the structure of the matrix
B are not included in the synthesis conditions, and therefore these works use reduction with respect to the state-space system model. Due to the nature of the methodology presented in this work, when using the system model of the original dimensionality, different properties of the system result, and therefore it would be incorrect to compare the results under unequal definitional conditions.
6. Concluding Remarks
In this paper, the diagonal stabilization is adapted for ostensible Metzler linear continuous-time systems with rank deficient input matrices and their signum-independent elements. By using a system matrix separation approach, the system parametrization task is resolved for a hidden system matrix part and it is shown that closed-loop system dynamics are accomplished under the given rank limitation of the system input matrix. The stability conditions are formulated using Lyapunov’s theory and outspreading LMI-based parametric constraints, the control design task being feasible one such that approximates closed-loop system positiveness as well as possible.
The contribution of this paper mainly consists of designing the state control with a higher degree of freedom to improve the ostensible Metzler system dynamics and to satisfy the desired guaranteed performances. To obtain relaxed criteria for stable closed-loop system dynamics, the entire development of this work is formulated in terms of quadratic Lyapunov function on positive diagonal matrix variable. A numerical example is used to verify the suitability of the used algorithms and to confirm the theoretical assumptions. The proposed approach discussed is encouraging and may help to motivate intensive future efforts toward the application of these ideas. Unlike other papers of similar focus, this paper investigates for the first time the problem of the specificity of state control design by considering the properties and bounds of this class of continuous-time ostensible Metzler linear systems. To the best of the authors’ knowledge and view, no comparable theoretical or practical results are available.
This type of control system seems to have particular meaning potentially with time-varying topologies within hierarchical network control structures [
34], multi-agent systems with switching directed topologies [
35] and unmanned aerial vehicle path following [
36]. Studying the consensus control problems with suchlike system parametric limitations defined for high-order heterogeneous multi-agent systems containing one leader, we expect to find new and effective methods to deal with analogous design problems. Another prospective area of application of the presented methodology is fault-tolerant control for network systems with communication limits [
37,
38,
39] in search of future research directions.