1. Introduction
Evolved from different considerations and exploiting positive properties of the system state and variables [
1], positive systems represent a specific class of technical processes. Since their positiveness is conditioned through nonnegative parameters in achieving satisfactory performances, to reveal the connections with Metzler structure of system matrices, a rather common notation of them is Metzlerian systems. Serviceable publications to systems control design are focused on methods for stabilization, investigating memoryless controllers even at the cost that necessary sophisticated techniques are applied for positivity and constraints representation [
2,
3]. To achieve the closed-loop system state positivity with respect to parameter boundaries, semi-definite programming [
4], implementation of non-symmetrical bounds [
5], and combined linear programming method [
6] are used, but not solving in general the specific problems concerned with solver interactions and parameter constraints. The main area of applicability are switched systems [
7] and multi agent systems [
8].
Many studies exist concerning PID control, where of interest are stabilizing tasks, formulated with inclusion of additional performance requirements and constraints. The resulting closed-loop system possesses stable system responses, and, if design is covered by adequate matrix formulation, it establishes computational efficiency and variable constraints [
9], as well as effective computational design schemes by LMI-based formulations, directly connected with stability and robustness [
10]. Unfortunately, most results related to those above mentioned for general linear systems are not directly applicable to linear Metzlerian systems [
11].
Because control algorithms for Metzlerian linear positive systems are static, and consequently a static error remains in the closed circuit when used, one of the motivating factors for this paper is a formulation of control law based on a dynamic PID controller. In this context, the paper proposes a new methodological way in design of PID control for single input, single output (SISO) linear Mezlerian continuous-time systems. To find out what restrictions must be placed on parameters of PID control law as well as on the convergence analysis to turn them into a Metzler and Hurwitz closed-loop system matrix structure, a more general design task is analyzed and formulated.
Concerning only with asymptotically stable solutions, as is often the case, the article is a follow-up of the authors’ previous paper [
12], which introduces a representation of a Metzlerian system parameter constraints using linear matrix inequalities (LMI) and diagonal principle in stabilization is exploited. Such formulation is mathematically represented through state–space models with a strictly Metzler system matrix and supported by a minimal number of LMIs, defining structural constraints. As a result, it is documented that a solution for Metzler or purely Metzler system matrices may not exist (compare [
5]) because of other structural constraints defined by the number and structure of zero elements in these matrices, and in dependence on elements of the input system matrix.
Then, reflecting these specific conditions, an adaptation presented in this paper for PID control design of linear Mezlerian SISO systems is original and primary. Since the D-part of PID is always bandwidth limited, such part of control law can refine system matrix parameter constraints in design task. This is accomplished by assuming that a suitable equivalent system exists and the resulting PI design bilinear task can be tackled using LMIs and linear matrix equality (LME) approach.
The remaining part of this paper is organized as follows. To present the reasoning path, brief comments on SISO linear Mezlerian systems are given in
Section 2. The proposed LMI technique, enforcing conditions on the PID control law design, with the main theorem characterizing the system’s behavior, is stated in
Section 3, focusing on parametric features in PID control design for SISO Metzlerian systems, basic constitutive relations concerning the D-part of control law and a suitable way to translate synthesis into a feasibility problem that involves system parametric constraints and turning this approach into LMI based design formulation, conditioned by one LME. Conforming these results,
Section 4 follows with an illustrative numerical example. Finally,
Section 5 discuss the results and their interpretation, to set a straightforward manner point of view for the conclusions in
Section 6.
Throughout the paper, the following notations are used: , denotes the transpose of the vector x, and the matrix X, respectively, the indication means transpose of the h-th power of a square matrix X, the notation represents Kronecker product (tensor product) of two real matrices , outlines a diagonal form, identifies set of related matrix eigenvalues, labeling of matrix means its positive definiteness, is unit matrix, is nonnegative real scalar, , refers to the set of (nonnegative) real matrices and means the set of (strictly) Metzler square matrices, respectively.
2. Problem Formulation and Preliminary
Continuous-time, time-invariant linear Metzlerian SISO systems admit the description
where
,
, and
are the system state vector, control input, and measurable output, respectively.
To efficiently introduce the proposed methodology, some definitions and lemmas, borrowed from the properties of Metzlerian systems, are presented first.
Definition 1 ([
13])
. A square matrix is pure Metzler if its diagonal elements are negative and its off-diagonal elements are nonnegative. A square matrix A is called strictly Metzler if its diagonal elements are negative and its off-diagonal elements are positive. A Metzler matrix is stable if it is Hurwitz. Remark 1. A strictly Metzler matrix implies structural constraints If the vectors
,
are nonnegative in control synthesis or in observer design, negative feedback reduces (nonnegative or positive) off-diagonal elements of the Metler matrix
, and the analogous structural constraints resulting from Metzler matrix structure must be included in synthesis conditions to keep the resulting structure Metzler. Moreover, since a square matrix
X and its inverse have nonnegative structure, if
X is positively definite diagonal, to implement structural constraints through linear matrix inequalities [
12], the LMI based design conditions for Metzlerian systems are formulated using positive definite diagonal matrix variables and the term “diagonal stability” is used [
14]. If
is only pure Metzler, the synthesis conditions has to reflect further structural constraints, includable in design by related structured diagonal matrix variables [
15].
Proposition 1 ([
1])
. A solution of (1) for is asymptotically stable and positive if is a stable Metzler matrix; is nonnegative matrix and the state vector for given and . The linear system in (1) and (2) is asymptotically stable and positive if is a stable Metzler matrix, and are nonnegative matrices, and the output vector for all and . Definition 2 ([
16])
. A matrix is a permutation matrix if exactly one item in each column and row is equal to 1 and all other elements are equal to 0. Remark 2. Considering Definition 2 and pondering a diagonal such thatyieldsif takes the circulant form Lemma 1 (adapted from [
12])
. Letting a matrix be strictly Metzler, then it is Hurwitz if and only if there exists a positive definite diagonal matrix such that the following set of linear matrix inequalities is feasible for and ,where, computing with the circulant and sequentially fixing of , Note that LMI (
8) reflects structural constraints for elements on the main diagonal of strictly Metzler
, the set of LMIs (
9) reflects structural constraints for off-diagonal elements of strictly Metzler
, and (
10) guaranties that
is also Hurwitz.
The notation
symbolically expresses that the indexing of the elements in the set of diagonal matrices (
11) is bound to the sum of modulo
n for given
h. Interested readers are referred for further details to [
12].
Lemma 2 (adapted from [
17])
. Let a square real matrix be partitioned aswhere , , , and , while A is strictly Metzler. Then, is strictly Metzler if, equivalently, Lemma 3 ([
18] Lyapunov inequality)
. Considering the autonomous subsystemthe following statements are equivalent from the point of asymptotic stability:- (i)
(18) is asymptotically stable. - (ii)
is Hurwitz.
- (iii)
There exists a symmetric positive definite matrix satisfying
Lemma 4 ([
19])
. A square matrix is called a Hurwitz matrix (a stable matrix) if every eigenvalue of A has a strictly negative real part. Then, the autonomous system (18) is asymptotically stable. Denoting thatis characteristic polynomial of the transfer function related to (18), the eigenvalue spectrum is the set of roots of the characteristic equation . Definition 3 ([
13])
. Letting , , then the -dimensional matrix, called the Kronecker product of U and V, is constructed asIt is convenient at this point to underline that it prioritizes the following Kronecker product properties [20] Since the positivity of the systems is defined by a nonnegative system state, nonnegative system input and output parameters, and a Metzler system matrix structure, it is necessary to proceed from this fact and take into account the above-stated structural constraints also in the synthesis of the PID controller to preserve the system positive properties. Because this introduces added limitations in the synthesis conditions with addition to the parametric redundancy, the aim is to propose a methodology that would be sufficiently general with respect to the structure of the measured system state variables but also effective in terms of closed-loop positivity.
3. Main Results
To develop a constructive method for synthesis of PID controllers for given system class, it is necessary to establish a direct consequence of control parameters and Metzler matrix parametric constraints on asymptotic stability and system trajectories. This is the role of this section.
3.1. Parametric features in PID Control Design for SISO Metzlerian Systems
If the Metzlerian system in (
1) and (
2) is operating under PID control, then, respecting the positiveness of Metzlerian system variables, the continuous-time control algorithm can be considered as
where
is a constant positive reference signal,
is the tracking error defined as
and
are parameters of the PID controller. If there is further assumed
it is not difficult to verify that in dependence to (
27)
while the input to the integrator
is
and for implementation of (
25) discrete-time realizations of PID controller law can be used.
Note that, in general, can be set, which means to append to the integrator input all state variables involved in the system output projection. If this is not the case, reflects projection (a measurable subset) of the system state variables.
Since PID synthesis theory for standard linear systems cannot be used in PID parameter synthesis for Metzlerian systems, the role of constraints in design is analyzed and given at first. Thus, a consequence of certainty equivalence is the assembled system structure
and introducing the composite variables and matrix parameters
the corresponding closed loop system description is
Since , are nonnegative, to obtain Metzlerian structures in control if A, b, c are bound with a Metzler system and , , are positive, then is Metzler if is (strictly) Metzler and is regular.
The control problem can be formulated considering structure of the static output control by the parameterizations
It is then possible to write in a straightforward manner that
where
This is the basic feature formulation in order to convexify the considered synthesis problem.
3.2. Basic Constitutive Relations
Consider a sub-class of linear SISO Metzlerian systems, where
and
is nonnegative vector. Then, using the Sherman–Morrison–Woodbury formula [
21], (
37) implies
with SISO system parameter representation
Considering that
, then with
it yields
and, because
is positive definite if
.
Prompted by the observation inversion of positive definite matrices [
16], it implies that in this case
is also positive definite. Thus, for positive
,
, the relation
implies
.
If for example it is considered that
then, analogously,
and with
then
Then, using the property of the block matrix determinant with
yields
where
and, consequently,
Thus,
is positive definite if with respect to (
50)
It can be generalized that, if
then
Analyzing the matrix product
, yields, in general,
and, since
b is nonnegative,
as well as
are nonnegative.
Analogously, it yields
and, since
is nonnegative,
is nonnegative.
The structure of the matrix product
is
that is
where
Thus, the descriptor form (
38) for SISO systems can be transformed to the following regular form
underlining that such system description is of a bilinear structure.
Remark 3. It can be remarked that (57) implies the sufficient constraint on the gain in synthesis of PID control for SISO Metzlerian systems, guaranteeing that resulting and are nonnegative. This in turn means that, for a positive thus limited, it is sufficient to include in the synthesis only the parametric constraints resulting from the Metzler structure of with relation to given Lemma 1. From the relation (65), it can be concluded to the limit case when all elements of the vector are equal to one, all elements of b are positive, and pure (strictly) Metzler matrix A is diagonally dominant. In such a case, a negative value will be added to each element of the matrix A, which may destroy the Metzler structure of , leading to juncture where a nonnegative synthesis solution does not exist. This results in it being extremely important in choosing the measured system state, i.e., the structure of nonnegative vector , as well as to application of a structure of , different from . To provide constraint limitations, constraint structures need to reflect linear matrix inequality forms, but the structure of is essentially bilinear. In the following, this bilinear limitation is eliminated applying one way of linearization, where structural LMIs are conditioned by one linear matrix equality (see, e.g., [17]). This principle is explicated at the point of application in the following subsection. 3.3. PID Control Design
Exploiting diagonal stabilization in accession to control of linear strictly Metzlerian structures [
12], the following matrix parameter expressions need to be applied, considering the suitable fixing
in such a way that
,
, and
. These are represented in coincidence with Lemmas 1 and 2 as follows:
where
,
,
The supported matrix structure are constructed as
and the expected performance of the gain matrix is
Theorem 1. The closed-loop built on (1), (2) under PID control (25) is stable if, for a given positive scalar , the matrix is Metzler, are nonnegative, and there exist positive definite diagonal matrices and and a nonnegative matrix such that for ,whereand the specific causal relations are pre-considered in (67)–(72). Within a feasible solution with λ fixing , the gain representing not fixed design parameters is Proof of Theorem 1. For a stable realization of
, it yields according to Lyapunov inequality (
19) and relation (
17)
Then, using (
22), it can proceed that
and the product
can be written as follows
where
Thus, (
14) can be reflected as
and prescribing that
then (
85) and (
86) imply (
75), (
76), and (
87) give (
78), while the left multiplication (
86) by
retains the set of diagonal LMIs.
To avoid the need to introduce additional structured variables into the design conditions [
15], realization of (
10) is required to be relaxed as
where it is considered that (
78) implies
. Thus, (
88) leads to inequality (
77), verifying system stability. This ends the proof. □
Going on in this direction, additional constraints can be introduced to be able to solve the given set of LMIs if is pure Metzler. However, such a situation can be avoided by another pre-setting of the related parameter .
4. Illustrative Numerical Example
The unstable Metzlerian linear system in (
1) and (
2) is considered with the following matrix parameters
Fixing by
the tuning parameter
, then
,
Defining
the solution of (
74)–(
78), obtained using SeDuMi package for Matlab [
22], is represented by the set of matrix variables
which implies
Analyzing the final result, the closed-loop system matrix
takes the structure
It is pure Metzler and Hurwitz with the stable eigenvalue spectrum
Although the matrix is not diagonally dominant, its structure and eigenvalues guarantee that, with these PID controller parameters, the nonnegative closed-loop state performance are achieved. The purpose of the example is primarily to illustrate the desired design procedure.
Purely real negative eigenvalues are conditional on the use of positive systems because they guarantee aperiodic positive trajectories of state variables with a nonnegative initial state of the system. However, they do not guarantee an overshoot during their evolutions, which sometimes needs to be suppressed. Unfortunately, standard methods for tuning PID controller parameters [
23,
24] for these structures cannot be used. Methods based on the principle of D-stability circle region [
25,
26] come into consideration but, due to the bilinear structure of the synthesis conditions, it is not possible to guarantee an optimal overshoot suppression using this approach as well. This sub-area of synthesis will therefore be preferred in authors’ future research.
5. Discussion
Using the control law (
28), the D-part so defined PID control law supports Metzlerian structure, as can be seen by comparing
and
A. The analysis shows that, with this PID controller structure, a closed-loop with a Metzler structure of the dynamics matrix can be expected.
Both in general and in Metzler systems, such a synthesis task has many degrees of freedom in defining structures of the and matrices. For the given system, the structure considered has proved to be advantageous. Comparable results can be obtained constructing others by permuting its non-zero elements. The structure of the matrix is chosen to demonstrate solutions with minimal impact of I-part, where the I-part can be enhanced by using a matrix with several non-zero components. Note that the strictly Metzler structure of is potentially obtained if the vector is positive.
To the best of authors’ knowledge, no comparable results are available for design of PID control of SISO Metzlerian linear systems. In the authors’ opinion, the proposed method is one which gives through constraint limits in conditions for a class of switched positive systems. Exposing the principle details the approach can be adapt to study PI control of SISO strictly Metzlerian linear systems, where similar results can be expected.
6. Conclusions
This paper completes a design method for synthesis of PID control for SISO Metzlerian continuous-time linear systems. The equivalent Metzler structure is proposed for representing an unstable Metzlerian system, exploiting a fixed D-part gain. The newly formulated exposition of the problem treatments the existing freedom, provided by measurement assignment through output vector structure to find a solvable matrix representation. Maintaining system parametric constraints by the set of LMIs, the design conditions are completed by Lyapunov matrix inequality, guaranteeing closed-loop asymptotic stability within a feasible solution.
Since the analysis is linear, one can see evidently the dependence of the resulting PID gains on Metzler parameters of the system. The proposed approach lends itself to algorithm formalization through LMIs and, even given structural constraints, it can be expected that the proposed design conditions are applicable to a wide variety of Metzlerian systems. The theory yields results that have otherwise not been derived for these systems’ PID control. The development of an approach for Metzlerian systems with extended set parametric constraints is a topic of future research.