Next Article in Journal
Experimental Behaviour of Tensioner for Rigid Hangers of Arch Bridges
Previous Article in Journal
Multi-Objective Optimization of a Two-Stage Helical Gearbox Using MARCOS Method
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

State Control Design of Ostensible Metzler Linear Systems with Unsigned Input Parameters

by
Dušan Krokavec
*,† and
Anna Filasová
*,†
Department of Cybernetics and Artificial Intelligence, Faculty of Electrical Engineering and Informatics, Technical University of Kosice, 042 00 Kosice, Slovakia
*
Authors to whom correspondence should be addressed.
These authors contributed equally to this work.
Designs 2024, 8(3), 54; https://doi.org/10.3390/designs8030054
Submission received: 23 March 2024 / Revised: 7 May 2024 / Accepted: 3 June 2024 / Published: 5 June 2024

Abstract

:
This paper deals with the design of a complete state control for input unsigned, rank deficient matrix parameters of a linear system with system dynamics defined by ostensible structures of Metzler matrices. The proposed solution is based on the principle of diagonal stabilization of positive systems and uses a stabilizing additional component over the decomposition of the Metzler matrix in solving the incomplete internal positivity of such linear system structures. The novelty of the proposed approach is the unified representation of the parametric constraints of the Metzler matrix and the structurally constrained system inputs using linear matrix inequalities, which guarantees that the closed-loop system will be asymptotically stable. Despite the complexity of the constraint conditions on this class of linear continuous systems, the design conditions are formulated using sharp linear matrix inequalities only. A detailed design process is presented using a system-linearized mathematical model to verify the superiority and practicality of the proposed method.

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 x T , X T denotes the transpose of the vector x, and the matrix X, respectively, diag [ · ] marks a (block) diagonal matrix, for a square symmetric matrix X 0 means its negative definiteness, I n labels the n-th order unit matrix, X 1 , ρ ( X ) signifies the inverse and the eigenvalue spectrum of a square matrix X, the maximum real part of the eigenvalues of X is denoted by λ 0 : = max λ ρ ( X ) ( λ ) , R ( R + ) marks the set of (nonnegative) real numbers, R n × m ( R + n × m ) refers to the set of (nonnegative) real matrices and M + n × n ( M n × n ) 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:
Ξ : q ˙ ( t ) = A q ( t ) + B u ( t ) , y ( t ) = C q ( t ) ,
where q ( t ) R + n , y ( t ) R + s are nonnegative vectors of state and output variables, u ( t ) R + r is vector of input variables, B R + n × r , C R + s × n are nonnegative input and output matrices and the differential transition matrix A M + n × n 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 A M + n × n is a strictly (purely) Metzler matrix and B 0 element-wise.
Definition 3 ([19]).
A matrix A M + n × n is called a strictly Metzler matrix if is represented by negative diagonal elements and by strictly positive off diagonal elements. A matrix A M + n × n 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, a i j is used for the (i,j)th entry of A so that a strictly Metzler A = { a i j } i , j = 1 n M + n × n states the parametric constraints
a i i < 0 , i = j , a i j > 0 , i j , i , j 1 , n
and a purely Metzler A = { a i j } i , j = 1 n M + n × n is limited by the parametric constraints
a i i < 0 , i = j , a i j 0 , i j , i , j 1 , n .
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 A M + n × n is Hurwitz that is there exists a diagonal positive definite matrix P R + n × n such that it is satisfied the matrix inequality
A P + P A T 0
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 A = { a i j } i , j = 1 n M + n × n is represented in the control rhombic form
A Θ = [ a 11 a 12 a 13 a 1 n a 22 a 23 a 2 n a 21 a 33 a 3 n a 31 a 32 a n n a n 1 a n 2 a n , n 1 ] ,
whilst diagonals of (5) imply for h = 0 , 1 , , n 1 the diagonal matrix structures
A Θ ( ν , ν + h ) = diag a 1 , 1 + h a n h , n a n h + 1 , 1 a n , h
and by (2), it is further derived that
A Θ ( ν , ν + h ) 0 , h = 0 , A Θ ( ν , ν + h ) 0 , h = 1 , , n 1 ,
Then the control parametrization form yields
A = h = 0 n 1 A Θ ( ν , ν + h ) L h T ,
whilst the matrix L R + n × n of the following structure:
L = 0 T 1 I n 1 0
is a circulant form of the permutation matrix, [25].
Corollary 1.
Equivalently to (7), it can be set as:
L h A ( ν , ν + h ) L h T 0 , h = 0 , L h A ( ν , ν + h ) L h T 0 , h = 1 , , n 1 ,
since on a diagonal matrix Z = diag z 1 z 2 z n , Z R + n × n the following matrix operation
L d i a g z 1 z 2 z n L T = d i a g z n z 1 z n 1 = Z c 1
gives no change Z c 1 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 K R + r × n to shape up the full system state feedback control law
u ( t ) = K q ( t )
in the construction of the closed-loop system
q ˙ ( t ) = ( A B K ) q ( t ) = A c q ( t ) ,
where for A M + n × n , B R + n × r the matrix A c = A B K M + n × n is strictly Metzler and Hurwitz.
Using A Θ ( ν , ν + h ) R n × n from (6) and diagonal matrices B l R + n × n , K l , K l h R + n × n such that
B = b 1 b r , B l = diag b l = diag b l 1 b l n ,
K = k 1 T k r T , K l = diag k l T = diag k l 1 k l n , K l h = L h T K l L h ,
then the parameterized form of A c = A B K M + n × n becomes
A c = h = 0 n 1 A Θ ( ν , ν + h ) l = 0 r B l K l h L h T .
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 B R + n × r is a nonnegative matrix but A M n × n is an ostensible Metzler system.
Definition 6.
The matrix A M n × n 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 A M n × n gives a base in separation of ostensible Metzler matrices.
Lemma 3 ([26]).
If for X , Y R n × n it can be set Y = c X + d I n with scalars c , d R , c 0 and I n R n × n , then eigenvalues η k , k = 1 , , n of Y are
η k = c λ k + d
where λ k 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 A M n × n is proposed such that
A = A p + A m , A = a i j i , j = 1 n ,
where A p M + n × n is strictly Metzler and A m R n × n 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 A p M + n × n by its rhombic form.
Note that sufficient information about the structure of the matrix A m R n × n 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 A M n × n exist a strictly Metzler A p M + n × n and an element-wise negative and Hurwitz A m R n × n such that the prescribed performances to (18) are guaranteed then, in dependence on positive scalars η , ε R + , the following have to hold:
A m = A m p I n , A p = A p + p I n ,
A p = A d + A + + η Σ + p I n , A m = A η Σ , A d + p I n 0 ,
A = 0 a 12 a 1 , n 1 a 1 n a 21 0 a 2 , n 1 a 2 n a n 1 , 1 a n 1 , 2 0 a n 1 , n a n 1 a n 2 a n 1 , n 1 0 , A + = 0 a 12 + a 1 , n 1 + a 1 n + a 21 + 0 a 2 , n 1 + a 2 n + a n 1 , 1 + a n 1 , 2 + 0 a n 1 , n + a n 1 + a n 2 + a n 1 , n 1 + 0 ,
a i j = a i j i f a i j < 0 , 0 i f a i j > 0 , i , j 1 , n , i j , a i j + = a i j i f a i f > 0 , 0 i f a i j < 0 , i , j 1 , n , i j ,
λ o = max k λ k + | λ k + = r e a l ( λ k ) > 0 , λ k ρ ( A m ) ,
A d = d i a g a 11 a 22 a n n , p = λ o + ε , Σ = 0 1 1 1 1 0 1 1 1 1 1 0 ,
whilst ρ ( A m ) is the spectrum of eigenvalues of the matrix A m .
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 η , δ R + can be set interactively when prescribing D-stability region [28] of A m .
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 K R + r × n 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 B R n × r 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 A c 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:
a i j = a i j i f a i j < 0 , i , j 1 , n , i j , d , 0 i f a i j > 0 , i , j 1 , n , i j , d , 0 i , j 1 , n , i = d , a i j + = a i j i f a i j > 0 , i , j 1 , n , i j , 0 i f a i j < 0 , i , j 1 , n , i j , a d j i , j 1 , n , i = d , j d ,
to transform the separation procedure to a relaxed form. The remaining separation conditions defined by Lemma 4 remain valid.
If the condition A Δ + p I n 0 from (20) is not fulfilled for a given value of the parameter p > 0 , even under these conditions does not exist parametrization of the matrix A M n × n according to (18), which guarantees a positive gain K M + r × n to the control law (12).
The design task can now be formulated only as the construction of a Hurwitz stable A c = A B K M n × n (16) on a hidden ostensible Metzler and Hurwitz matrix A p c M n × n when implementing the feedback (12) to continuous-time system (1) with ostensible Metzler A M n × n and rank deficient B R n × r , where
q ˙ ( t ) = A c q ( t ) = ( A p c + A m ) q ( t ) , A p c = A p B K , A c = A B K ,
whilst K R r × n , B R n × r are diagonalized as in (14). Moreover, positive element constraints cannot be ensured by negative feedback of each diagonal matrix from the rhombic representation of A p c 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 K R r × n 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 A c , A p c M n × n are ostensible Metzler and Hurwitz if there exist positive definite diagonal matrices P R + n × n , R l R + n × n and matrices V c h R + n × n , such that for h = 1 , , n 1 , l = 1 , , r ,
P 0 , R l 0 , V c h = 0 , A Θ p ( ν , ν + h ) 0 , V c h 0 , A Θ p ( ν , ν + h ) is signum indefinite ,
A Θ p ( ν , ν ) P l = 1 r B l R l 0 ,
L h A Θ p ( ν , ν + h ) L h T P l = 1 r L h B l L h T R l V c h ,
A P + P A T l = 1 r ( B j l l T R l + R l l l T B l ) 0 ,
where condition (6) implies
A Θ p ( ν , ν + h ) = diag a p , 1 , 1 + h a p , n h , n a p , n h + 1 , 1 a p , n , h ,
B l R n × n , l = 1 , , r result from diagonalization of the rank deficient matrix B R n × r by (15) and
l T = 1 1 , l T R + n .
Within a feasible solution, the controller gain K R r × n is constructed sequentially with relation to (14) by its rows
K l = R l P 1 , k l T = l T K l , K = k 1 T k r T .
Proof. 
Using the positive definite diagonal matrix Q R + n × n to respect principle of diagonal stabilization, the following candidate for the Lyapunov function v ( q ( t ) ) can be defined:
v ( q ( t ) ) = q T ( t ) Q q ( t ) > 0
and taking the derivative of v ( q ( t ) ) along all trajectories of system (26) with ostensible Metzler A M n × n and rank deficient B R n × r it can be prescribed:
v ˙ ( q ( t ) ) = q ˙ T ( t ) Q q ( t ) + q T ( t ) Q q ˙ ( t ) < 0 .
When inserting (26) in (35), it is
v ˙ ( q ( i ) ) = q T ( t ) A c T Q q ( t ) + q T ( t ) Q A c q ( t ) < 0 ,
A c Q + Q A c 0 ,
respectively.
Thus, defining P = Q 1 R + n × n then, pre-multiplying the left side and post-multiplying the right side by P, inequality (37) it can be concluded that
A c P + P A c T 0 ,
where a diagonal positive definite P is the solution of (38).
With relation to (26) it bears
A c P = ( A B K ) P = A P l = 1 r b l k l T P = A P l = 1 r B l l l T K l P ,
where the row vector l T defined in (32) projects given parameters to diagonal matrix representations and with the notation
K l P = R l ,
then (37), (39) imply (30).
Since (16) with matrix parametric constraints (31) is generalizable as
A p c = h = 0 n 1 ( A Θ p ( ν , ν + h ) l = 0 r B l K l h ) L h T ,
interpreting (41) analogously to (10) then, for h = 0 ,
A Θ p ( ν , ν + h ) l = 1 r B l K l 0 .
Multiplying the right side of (42) by P, it can be straight derived
A Θ p ( ν , ν + h ) P l = 1 r B l K L P 0
and, using notation (40), then (43) implies (28).
The same interpretation of (10), (15), (41) for any h 1 , n 1 results in
L h A Θ p ( ν , ν + h ) L h T l = 1 r L h B l ( L h T K l L h ) L h T = L h A Θ p ( ν , ν + h ) L h T l = 1 r L h B l L h T K l 0
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 A Θ p ( ν , ν + h ) 0 .
In the opposite case, it is necessary to add to the right side the diagonal matrix variable V h 0 , V h R + n × n to construct extended form of (29). This concludes the proof. □
Remark 1.
If the rhombic diagonal matrix A Θ p ( ν , ν + h ) 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 V h 0 , 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]:
A = [ 2.98 0.930   0 0.0340 0.99 0.210 0.035 0.0011   0 0     2 1 0.39 5.555   0 1.8900 ] , B = [ 0.032 0.5 1.55 0   0 0 0   0 0 1.600     1.8   2.00 ] , C = 1 0 0 0 0 1 0 0 0 0 0 1 ,
whilst the ostensible Metzler matrix A is stable, since
ρ ( A ) = { 0.9181 1.2009 2.3219 2.6390 }
and the input matrix rank deficiency implies the row numbers d = 2 , 3 .
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
A = [ 0 0 0 0.034 0 0 0 0 0 0 0 0 0 5.555 0 0 ] , A + = [ 0 0.930     0   0 0.990     0 0.035 0.0011     0     0     0   1.0000 0.390     0     0   0 ] , Σ = 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 ,
A m = [ 0 0.005 0.005 0.039 0.005 0 0.005 0.005 0.005 0.005 0 0.005 0.005 5.560 0.005 0 ] ,
where, for the predefined μ = 0.005 ,
ρ ( A m ) = { 0.1866 0.1401 0.0415 0.0050 } , δ = 0.1401
Setting the D-stability region by p = 0.003 , the element-wise negative and Hurwitz A m (19) results, where
A m = [ 0.1431 0.0050 0.0050 0.0390 0.0050 0.1431 0.0050 0.0050 0.0050 0.0050 0.1431 0.0050 0.0050 5.5600 0.0050 0.1431 ] , ρ ( A m ) = { 0.3297 0.0030 0.1016 0.1381 } ,
whilst, the main diagonal elements of A construct a negative definite diagonal matrix
A d = diag [ 2.98 0.21 2.00 1.89 ] ,
the reference strictly Metzler matrix A p , given by the rule A p = A d + A + + η Σ + p I n , is constructed as:
A p = [ 2.8369 0.9350 0.0050 0.0050 0.9850 0.0669 0.0400 0.0039 0.0050 0.0050 1.8569 1.0050 0.3950 0.0050 0.0050 1.7469 ] , ρ ( A p ) = 0.4488 2.4644 1.7972 ± 0.07 i ,
where the set of eigenvalues ρ ( A p ) is stable.
In the next step, matrix bounds must be constructed that express the Metzler dynamics A p with respect to the principle of diagonal stabilization. Thus, the rhombic related diagonal matrices to A p , conditioned by rank of B, are derived as
A Θ p ( ν , ν ) = diag [ 2.8369 0.0669 1.8569 1.7469 ]
A Θ p ( ν , ν + 1 ) = diag [ 0.935 0.040 1.005 0.395 ] , B 1 = diag [ 0.032 0 0 1.6 ] ,
A Θ p ( ν , ν + 2 ) = diag [ 0.005 0.0039 0.005 0.005 ] , B 2 = diag [ 0.05 0 0 1.8 ] ,
A Θ p ( ν , ν + 3 ) = diag [ 0.005 0.985 0.005 0.005 ] , B 3 = diag [ 1.55 0 0 2.0 ] .
It is obvious that A Θ p ( ν , ν + 3 ) is not positive definite diagonal matrix and therefore the condition on the parametric constraints for h = 3 must be modified as
L 3 A Θ ( ν , ν + 3 ) L 3 T l = 0 r L 3 B l R l L 3 T > V c 3 ,
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:
P = diag 0.3426 2.0185 0.8675 0.8321 0 , V c 3 = diag 1.0182 0.8268 0.6296 1.4747 0 ,
R 1 = diag 0.7282 0.6050 0.7222 0.6071 0 , R 2 = diag 0.5095 1.0016 0.0148 0.8126 0 ,
R 3 = diag 0.2619 0.5474 0.0086 0.3607 0 ,
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
K = [ 2.1255 0.2997 0.8325 0.7296 1.4872 0.4962 0.0170 0.9765 0.7644 0.2712 0.0099 0.4335 ] ,
which forces the stable reference as well as the closed-loop dynamics
A p c = [ 4.6973 0.2761 0.0078 1.1319 0.9850 0.0669 0.0400 0.0039 0.0050 0.0050 1.8569 1.0050 2.6478 0.1338 1.3261 1.4702 ] , ρ ( A p c ) = { 0.0653 0.9457 3.5402 ± 1.0383 i } ,
A c = [ 4.8404 0.2711 0.0028 1.1709 0.9900 0.2100 0.0350 0.0011 0 0 2 1 2.6428 5.4262 1.3211 1.6133 ] , ρ ( A c ) = { 3.4470 3.8531 0.6818 ± 0.9090 i } .
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
u ( t ) = K q ( t ) + W w ,
W = diag [ 1.0 0.5 0.2 ] , w T = diag [ 0.9 0.9 6.5 ] ,
y ( t ) = C q ( t ) , C = [ 1 0 0 0 0 0 0 1 0 1 0 1 ] .
Since the closed-loop dynamics do not represent a strictly positive system, the initial system state was set as q T ( 0 ) = [ 1.60 0.01 2.00 0.00 ] .
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 A c is an ostensible Metzler system and Hurwitz and W, C and w T 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.

Author Contributions

A.F. elaborated the principles of attenuation of the closed-loop in control law parameter synthesis and implemented their numerical validation. D.K. addressed the condition projection and constraint principle assembling into a set of LMIs in the controller parameter design. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no specific grant from any funding agency in the public, commercial, or not-for-profit sectors.

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

Authors declare that there is no conflict of interests regarding the publication of this paper.

Abbreviations

The following abbreviations are used in this manuscript:
LMILinear Matrix Inequality
MIMOMultiple-Input Multiple-Output
SeDuMiSelf Dual Minimization

Notations

The following basic notations are used in this manuscript:
q ( i ) , u ( i ) , y ( i ) state, input and output vectors
A, B, Cnominal system matrix parameters
Knominal state controller matrix parameter
P, V c h , R h matrix variables of LMIs
I n , η , ε identity matrix, positive scalar tuning parameter
All other notations are defined in the given context fluently.

References

  1. Chen, W.; Chowdhury, F.; Djuric, A.; Yeh, C.P. Robust fault detection of turbofan engines subject to adaptive controllers via a total measurable fault information residual (ToMFIR) technique. ISA Trans. 2014, 53, 1383–1388. [Google Scholar] [CrossRef] [PubMed]
  2. Lam, J.; Cao, Y.Y. Simultaneous linear-quadratic optimal control design via static output feedback. Int. J. Robust Nonlinear Control 1999, 9, 551–558. [Google Scholar] [CrossRef]
  3. Xue, T. Observer-based actuator fault detection for UAV. In Proceedings of the 6th International Conference on Manufacturing Science and Engineering, Sydney, Australia, 22–25 January 2025; Atlantis Press: Dordrecht, The Netherlands, 2015; pp. 1867–1872. [Google Scholar]
  4. Tang, X.D.; Tao, G.; Wang, L.F.; Stankovic, J.A. Robust and adaptive actuator failure compensation designs for a rocket fairing structural-acoustic model. IEEE Trans. Aerosp. Electron. Syst. 2004, 40, 1359–1366. [Google Scholar] [CrossRef]
  5. Jin, X.Z.; Yang, G.H. Robust adaptive fault-tolerant compensation control with actuator failures and bounded disturbances. Acta Autom. Sin. 2009, 35, 305–309. [Google Scholar] [CrossRef]
  6. Binid, A.; Achhab, M.E.; Laabissi, M. Positive observers for semilinear positive systems. IMA J. Math. Control Inform. 2022, 39, 968–984. [Google Scholar] [CrossRef]
  7. Huang, L.; Zhao, X.; Lin, F.; Zhang, J. Combination of functional and disturbance observer for positive systems with disturbances. Mathematics 2023, 11, 200. [Google Scholar] [CrossRef]
  8. Krokavec, D.; Filasová, A. Observer-based control design for systems with potentially Metzler dynamics. In Proceedings of the Preprints of the 22nd IFAC World Congress, Yokohama, Japan, 9–14 July 2023; pp. 5550–5555. [Google Scholar]
  9. Krokavec, D.; Filasová, A. Interval observers design for systems with ostensible Metzler system matrices. Front. Aerosp. Eng. 2023, 2, 1158718. [Google Scholar] [CrossRef]
  10. Ezzine, M.; Darouach, M.; Souley, H.; Messaoud, H. Positive unknown inputs functional observers new design for positive linear systems. Kybernetika 2023, 59, 791–806. [Google Scholar] [CrossRef]
  11. Zaidi, I.; Chaabane, M.; Tadeo, F.; Benzaouia, A. Static state-feedback controller and observer design for interval positive systems with time delay. IEEE Trans. Circuits Syst. 2014, 62, 506–510. [Google Scholar] [CrossRef]
  12. Gritli, H.; Zemouche, A.; Belghith, S. On LMI conditions to design robust static output feedback controller for continuous-time linear systems subject to norm-bounded uncertainties. Int. J. Syst. Sci. 2020, 52, 12–46. [Google Scholar] [CrossRef]
  13. Jin, Y.; Chen, W. Robust fault detection and estimation for turbofan engines subject to adaptive controllers via observer and ToMFIR techniques. In Proceedings of the 9th IEEE Conference on Industrial Electronics and Applications, Hangzhou, China, 9–11 June 2014; pp. 672–677. [Google Scholar]
  14. Li, T.; Tang, X.; Ge, J.; Fei, S. Event-based fault-tolerant control for networked control systems applied to aircraft engine system. Inf. Sci. 2020, 512, 1063–1077. [Google Scholar] [CrossRef]
  15. Shen, J.; Lam, J. Some extensions on the Bounded Real Lemma for positive systems. IEEE Trans. Autom. Control 2017, 62, 3034–3038. [Google Scholar] [CrossRef]
  16. He, Z.; Shen, J. Fault-tolerant consensus control of positive networked systems. Electronics 2023, 12, 4789. [Google Scholar] [CrossRef]
  17. Farina, L.; Rinaldi, S. Positive Linear Systems: Theory and Applications; John Wiley & Sons: New York, NY, USA, 2000. [Google Scholar]
  18. Zhang, J.; Han, Z.; Zhu, F.; Huang, J. Feedback control for switched positive linear systems. IET Control Theory Appl. 2013, 7, 464–469. [Google Scholar] [CrossRef]
  19. Berman, A.; Neumann, M.; Stern, R. Nonnegative Matrices in Dynamic Systems; John Wiley & Sons: New York, NY, USA, 1989. [Google Scholar]
  20. Krokavec, D. Ostensible Metzler linear uncertain systems: Goals, LMI synthesis, constraints and quadratic stability. WSEAS Trans. Syst. Control 2023, 18, 255–2062. [Google Scholar] [CrossRef]
  21. Dussy, S. Robust diagonal stabilization: An LMI approach. IEEE Trans. Autom. Control 2000, 45, 125–128. [Google Scholar] [CrossRef]
  22. Mason, O. Diagonal Riccati stability and positive time-delay systems. Syst. Control Lett. 2012, 61, 6–10. [Google Scholar] [CrossRef]
  23. Aleksandrov, A.Y.; Mason, O. On diagonal stability of positive systems with switches and delays. Autom. Remote Control 2018, 79, 2114–2127. [Google Scholar] [CrossRef]
  24. Krokavec, D.; Filasová, A. Control design for linear strictly Metzlerian descriptor systems. In Proceedings of the 18th EUCA European Control Conference, Saint-Petersburg, Russia, 12–15 May 2020; pp. 2092–2097. [Google Scholar]
  25. Horn, R.A.; Johnson, C.R. Matrix Analysis; Cambridge University Press: New York, NY, USA, 2013. [Google Scholar]
  26. Shores, T.S. Applied Linear Algebra and Matrix Analysis; Springer: New York, NY, USA, 2007. [Google Scholar]
  27. Krokavec, D.; Filasová, A. State control of linear systems with potentially Metzler dynamics. In Proceedings of the CONTROLO 2022, Lecture Notes in Electrical Engineering Vol. 930, Caparica, Portugal, 6–8 July 2022; Springer Nature: Cham, Switzerland, 2022; pp. 689–701. [Google Scholar]
  28. Kushel, O.Y.; Pavani, R. The problem of generalized D-stability in unbounded LMI regions and its computational aspects. J. Dyn. Differ. Equ. 2022, 34, 651–669. [Google Scholar] [CrossRef]
  29. Hao, L.Y.; Yang, G.H. Fault-tolerant control via sliding-mode output feedback for uncertain linear systems with quantisation. IET Control Theory Appl. 2013, 7, 1992–2006. [Google Scholar] [CrossRef]
  30. Peaucelle, D.; Henrion, D.; Labit, Y.; Taitz, K. User’s Guide for SeDuMi Interface; LAAS-CNRS: Toulouse, France, 2002. [Google Scholar]
  31. Alwi, H.; Edwards, C. Fault detection and fault-tolerant control of a civil aircraft using a sliding-mode-based scheme. IEEE Trans. Contr. Syst. Technol. 2008, 16, 499–510. [Google Scholar] [CrossRef]
  32. Yu, B.; Zhang, Y. Fault-tolerant control of a Boeing 747-100/200 based on a Laguerre function-based MPC scheme. IFAC-PapersOnLine 2016, 49, 58–63. [Google Scholar] [CrossRef]
  33. Guven, A.; Hajiyev, C. Two-stage Kalman filter based estimation of Boeing 747 actuator/control surface stuck faults. WSEAS Trans. Signal Process. 2023, 19, 32–40. [Google Scholar] [CrossRef]
  34. Sabyasachi, B.; Sourav, P. Positive consensus of multi-agent systems with hierarchical control protocol. Automatica 2022, 139, 110191. [Google Scholar]
  35. Xiao, S.; Dong, J. Distributed fault-tolerant containment control for nonlinear multi-agent systems under directed network topology via hierarchical approach. IEEE/CAA J. Autom. Sin. 2021, 8, 806–816. [Google Scholar] [CrossRef]
  36. Song, Y.; Yong, K.; Wang, X. Disturbance interval observer-based robust constrained control for unmanned aerial vehicle path following. Drones 2023, 7, 90. [Google Scholar] [CrossRef]
  37. Krokavec, D.; Filasova, A. Virtual actuator design for uncertain Metzler systems. Front. Control Eng. 2021, 2, 758543. [Google Scholar] [CrossRef]
  38. Wang, X.; Shen, M. Model free optimal control of unknown nonaffine nonlinear systems with input quantization and DoS attack. Appl. Math. Comput. 2023, 448, 127914. [Google Scholar] [CrossRef]
  39. Wang, Y.; Du, Z.; Wu, Y. Pseudo-partial-derivative information-driven adaptive fault-tolerant tracking control for discrete-time systems. Complex Intell. Syst. 2024, 10, 2531–2539. [Google Scholar] [CrossRef]
Figure 1. Closed-loop system output responses.
Figure 1. Closed-loop system output responses.
Designs 08 00054 g001
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Krokavec, D.; Filasová, A. State Control Design of Ostensible Metzler Linear Systems with Unsigned Input Parameters. Designs 2024, 8, 54. https://doi.org/10.3390/designs8030054

AMA Style

Krokavec D, Filasová A. State Control Design of Ostensible Metzler Linear Systems with Unsigned Input Parameters. Designs. 2024; 8(3):54. https://doi.org/10.3390/designs8030054

Chicago/Turabian Style

Krokavec, Dušan, and Anna Filasová. 2024. "State Control Design of Ostensible Metzler Linear Systems with Unsigned Input Parameters" Designs 8, no. 3: 54. https://doi.org/10.3390/designs8030054

APA Style

Krokavec, D., & Filasová, A. (2024). State Control Design of Ostensible Metzler Linear Systems with Unsigned Input Parameters. Designs, 8(3), 54. https://doi.org/10.3390/designs8030054

Article Metrics

Back to TopTop