Next Article in Journal
Phase Preserving Balanced Truncation for Order Reduction of Positive Real Systems
Previous Article in Journal
Development and Performance Measurement of an Affordable Unmanned Surface Vehicle (USV)
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

The Stability of Systems with Command Saturation, Command Delay, and State Delay

Research and Development Department, National Institute for Research, Development and Testing in Electrical Engineering, ICMET Craiova, 200746 Craiova, Romania
Automation 2022, 3(1), 47-83; https://doi.org/10.3390/automation3010003
Submission received: 29 October 2021 / Revised: 17 December 2021 / Accepted: 24 December 2021 / Published: 5 January 2022

Abstract

:
This article presents the study of the stability of single-input and multiple-input systems with point or distributed state delay and input delay and input saturation. By a linear transformation applied to the initial system with delay, a system is obtained without delay, but which is equivalent from the point of view of stability. Next, using sufficient conditions for the global asymptotic stability of linear systems with bounded control, new sufficient conditions are obtained for global asymptotic stability of the initial system with state delay and input delay and input saturation. In addition, the article presents the results on the instability and estimation of the stability region of the delay and input saturation system. The numerical simulations confirming the results obtained on stability were performed in the MATLAB/Simulink environment. A method is also presented for solving a transcendental matrix equation that results from the process of equating the stability of the systems with and without delay, a method which is based on the computational intelligence, namely, the Particle Swarm Optimization (PSO) method.

1. Introduction

The time-delay systems are challenging since they involve delay differential equations that are infinite-dimensional functional differential equations, which are more difficult to handle than finite-dimensional ordinary differential equations [1,2].
In any physical and engineering system, the time-delay system is inherent and is frequently a source of instability. In addition, in the last decades, considerable attention has been devoted to the problem of stability analysis and controller design for time-delay systems. In a general perspective of control, which is presented in [3], the time-delay systems have a particular place. Some of the useful tools in the robust stability analysis for time-delay systems are based on Lyapunov’s second method, the Lyapunov–Krasovskii theorem, and the Lyapunov–Razumikhin theorem together with associated Ricatti equations [4,5,6,7,8].
An approach based on the concept of Lambert function is presented in [9]. The general problems of stability for mono- or multiple-input time delay systems and simple or distributed delays are presented in [10,11,12,13,14,15,16]. Similarly to delay-free systems, many identification algorithms were developed for continuous-time-delay systems under unknown initial conditions and disturbances for a wide range of input signals [17,18].
The nonlinear systems with delay-bounded nonlinearity and the Lurie problem are presented in [19,20]. A modern approach to the delay systems, such as predictive control and stochastic control, are presented in [21,22].
A networked control system is a control system whose sensors, actuators, and controllers are interconnected over a shared communication network and the influence of delay on the stability is presented in [23,24,25]. A special class of delay systems is represented by the neutral type, which includes delays both in its states and in the derivatives of its states [26,27].
The study of linear systems subject to input saturation has been attracting the attention in view of the relevance of this issue from the practical viewpoint. Though frequently ignored, a common nonlinearity is the phenomenon of amplitude saturation in actuators, which is due to inherent physical limitations of devices, which cannot be avoided [28,29,30,31].
The saturation may lead to severe deterioration of closed-loop system performance, even to instability. In [32,33], some methods are presented for the stabilization of saturating controls and time-delay systems.
A special approach to delayed systems is the linear transformation proposed by Artstein, Fiagbedzi, and Pearson [2,34,35,36,37,38,39]. This transformation is used to transform the original problem into an equivalent one, which is easier to solve.
The results on the influence of saturation on the stability of systems without delay are presented in [40,41,42,43]. The control-systems applications for some plants highlighting the presence of saturation or delay are presented in [44,45,46,47,48,49,50].
Among the heterogeneous approaches regarding the stability of delayed systems, we mention: Port–Hamiltonian delayed systems [51,52], a stochastic predictor for delay [53,54,55,56], the Schrödinger equation with distributed delay [57], a neural network with delay [58,59,60], fuzzy systems with delay [61,62], incorporating delay in an extended Kalman filter [63], a distributed plant with delay [64,65], a rejection of delayed system disturbances [66,67,68,69,70], delayed systems with Lipschitz nonlinearity [71,72], observers and estimators for delayed systems [73,74,75], stability conditions for mono- and multi-variable systems with delays [76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93], stability of systems with propagation [94], and fractional systems with delay [95].
Studies [96,97,98,99,100,101,102,103,104,105,106,107] present the stability and robustness of systems with delay, the stability of neutral systems, H control design for systems with delay, and the stability of nonlinear and stochastic systems with delay. Basically, the homogeneous approach in obtaining these results is based on the development of Lyapunov–Krasovskii-type functionals and on Razumikin’s stability theorem in the case of delayed systems. By applying these functionals, developed specifically for the types of systems mentioned above, stability conditions are obtained in the form of matrix inequalities, which in the simplest form, are [ P A 0 + A 0 T P + Q P A 1 ; * Q ] < 0 , where the notations are the usual ones, and for the more complex forms, the inequality is completed with information about the structure of the delayed system analyzed.
This article presents a general method for transformation of systems with point or distributed input delay and state delay [34,35,36,37,38,39] and demonstrates how problems like stabilization and controllability can be dealt with by addressing the reduced systems without delay. The reduction provides, therefore, a strong tool for manipulating systems with state delays and input delays. Starting from these, although in practice control bounds and delays are usually ignored in the initial design, the aim of this study was to find under what conditions the equilibrium of a system with state delay and input delay and input saturation remains globally asymptotically stable. In this study, we considered systems with point or distributed state delay and input delay and input saturation in single-input or multiple-input cases. We give sufficient conditions for global asymptotic stability for single-input and multiple-input systems. Next, using sufficient conditions for global asymptotic stability of linear systems with bounded control in [40,41], we obtain sufficient conditions for global asymptotic stability of the initial system with delay and input saturation.
While in the approaches where the stability of the delayed systems is based on fulfilling a matrix inequality like the one presented above, in this article, by using an Arstein type transformation (or generalized to systems with both state and input delay), the difficulty of the numerical computation is reduced to solving a transcendental matrix equation such as A = A 0 + e A h A 1 . In this respect, the article presents methods based on the calculation of their own values but also methods based on a computational-intelligence algorithm, namely, the PSO.
The study focused on the stabilization and control of systems displaying delays (both lumped and distributed) in state and input, aiming to obtain stabilization under saturated control. The article starts from a rather old idea of finite-spectrum assignment for systems with input delays. The article considers an analysis of the already-known results in the field, aiming to obtain instruments for further development. This further development refers to the incorporation of the systems with state delays in the finite spectrum-assignment procedure. The article presents in this respect procedures, algorithms, and mathematical development theorems with complete proofs.
The main contributions presented in this article are:
  • Equating the stability of a system with state delay and input delay (point or distributed) with the stability of a system without delay by using the Arstein transform (and its generalization in case of delay in the state);
  • Obtaining the command (input) of the initial system with delay by applying the inverse transform to the equivalent system without delay, in case of input saturation;
  • Obtaining theorems on the stability of mono- and multiple-input systems, theorems on instability and the estimation of the stability region for systems with state delay and input delay (point or distributed) and input saturation. The main results are synthesized in twelve new theorems;
  • A numerical solution to the transcendental matrix equation A = A 0 + e A h A 1 using the computational-intelligence PSO algorithm.
The article is organized as follows. Section 2 presents some results on the stability of systems with input saturation. Section 3 deals with systems with input saturation and input delay and state delay and presents the steps for obtaining a control law using a general linear transformation. Section 4 presents our main results concerning the sufficient conditions for the global asymptotic stability of systems with input saturation and delay. Numerical examples are provided in Section 5, to illustrate the design procedure for the theoretical results. The conclusions are presented in Section 6.

2. Systems with Saturation in Command

Throughout this article, the described systems are included in the input-state description formalism. In this case, the input of the system is represented by the command applied to it. We considered the single input system:
x ˙ ( t ) = A x ( t ) + B u s ( t )
where: x n is the state, u s 1 is the input (command of the system), and A n x n and B n x 1 are matrices of appropriate dimensions.
The command of this system contains saturation and is expressed in the following form:
u s ( t ) = s a t ( K x ) = μ ( x ( t ) ) K x ( t )
where:
μ ( x ) = { 1 i f | K x | < u lim u lim | K x | i f | K x | u lim
where: ulim is the maxim value of command, | u s | u lim , and K is a feedback matrix.
We present in this section a set of results from control with a saturation framework [40,41].
Definition 1.
Consider A i n x n . A set { A 1 , , A k } is simultaneously P Lyapunov stable, if there is a P n x n positive definite, whereby A i T P + P A i < 0 , i = 1 , , k .
Theorem 1.
The null solution of closed-loop system (1), (2), and (3) is globally asymptotically stable if there is K and P n x n positive definite, whereby the set { A , A B K } is simultaneously P Lyapunov stable, namely: A T P + P A < 0 and ( A B K ) T P + P ( A B K ) < 0 [40,41].
Proof of Theorem 1.
Consider the Lyapunov function: V ( x ) = x T P x and the matrix P > 0 that fulfills the hypothesis. This results in the following:
x T ( A T P + P A ) x = x T Q x < 0 and x T ( ( A B K ) T P + P ( A B K ) ) x = x T Q x + x T M x < 0 ,
where Q > 0 and M = ( P B K + K T B T P ) .
Then, we obtain x T M x < x T Q x . As μ ( x ) ( 0 , 1 ] , consequently:
V ˙ ( x ) = x T Q x + μ ( x ) x T M x < x T Q x + μ ( x ) x T Q x x T Q x + x T Q x = 0 , and the proof of Theorem 1 is finished [40,41]. □
Definition 2.
Two diagonalizable matrices A , B n x n are considered to be simultaneously diagonalizable if there is a single non-singular matrix N whereby N 1 A N and N 1 B N are both diagonal.
Lema 1.
Let A and B be diagonalizable from n × n . Then, A and B are simultaneously diagonalizable if and only if A and B commute under multiplication, namely, AB = BA [42].
Theorem 2.
The null solution of closed-loop systems (1), (2), and (3) is globally asymptotically stable if the following are true [40,41]:
1.
The open-loop system A is exponentially stable and diagonalizable;
2.
The matrix A B K is exponentially stable and diagonalizable;
3.
The matrices A and BK commute under multiplication.
Proof of Theorem 2.
Since A and BK commute, then A and A B K commute. By assumption, A and A B K are also diagonalizable.
Thus, according to Lema 1, A and A B K are simultaneously diagonalizable.
Thus, there is a coordinate transformation T whereby A and A B K are both diagonal with respect to a new coordinate z = T x .
Let A ¯ = A B K and let Λ A ,   Λ A ¯ be diagonal matrices where:
Λ A = T A T 1 ,   Λ A ¯ = T ( A B K ) T 1 .
Then, we prove that P = T T T satisfies the conditions of Theorem 1.
2 Λ A = T A T 1 + ( T A T 1 ) T , and by multiplying the left side by TT and the right side by T, we obtain:
2 T T Λ A T = T T ( T A T 1 + ( T A T 1 ) T ) T = T T T A + A T T T T = P A + A T P , where P = T T T > 0 and T T Λ A T < 0 since T is non-singular.
Similarly: 2 T T Λ A ¯ T = T T T A ¯ + A ¯ T T T T . Thus, P simultaneously satisfies A T P + P A < 0 and A ¯ T P + P A ¯ < 0 . The stability is invariant under change of coordinates, and, by Theorem 1, the proof of Theorem 2 is finished [40,41]. □
Theorem 3.
The null solution of closed-loop systems (1), (2), and (3) is globally asymptotically stable if the following are true [40,41]:
1.
A and A B K are exponentially stable;
2.
A B K is diagonalizable;
3.
A commutes with P, where A is the diagonal form of A B K and P > 0 solve: A T P + P A < 0 .
Proof of Theorem 3.
Consider A = T ( A B K ) T 1 where T diagonalizes A B K and A is diagonal in the new coordinate z = T x .
Consider also A ¯ = T A T 1 . Since A ¯ is exponentially stable, there is P > 0 that fulfills the hypothesis 3 whereby A ¯ T P + P A ¯ < 0 .
Since A < 0 and P > 0 , all eigenvalues of A P are less than zero.
Additionally, the assumption 3 A P = P A and A T = A implies that A T P + P A < 0 . The stability is invariant under change of coordinate, and, by Theorem 1, the proof of Theorem 3 is finished [40,41]. □
Theorem 4.
We consider the multiple-input system in the following form [40,41]:
x ˙ = A x + B u s = A x + i = 1 m B i u s i  
where: x n , u s m , A n x n is asymptotically stable, B n x m , Bi is the i-th column of B.
The command contains saturation and is expressed in the following form: u s = [ u s 1 , , u s m ] T , where u max i is the maxim value of the component i-th of command, namely: | u s i | < u max i , i = 1 , , m .
The components of the command vector u s = s a t ( B T P y ) are expressed in the following form:
u s i = { B i T P x                       i f                   | B i T P x | < u max i μ i B i T P x                 i f                 | B i T P x | u max i  
where:
μ i = u max i | B i T P x | i = 1 , , m  
If P > 0 solves A T P + P A < 0 , then the null solution of closed-loop systems (4), (5), and (6) is globally asymptotically stable.
Proof of Theorem 4.
We can rewrite the command vector: u s = M B T P x ,
where: M = d i a g ( β i ) , M m x m , β i ( 0 , 1 ] and β i = { 1 i f | B i T P x | < u max i μ i i f | B i T P x | u max i .
Consider the Lyapunov function: V ( x ) = x T P x and by computing V ˙ ( x ) , we obtain: V ˙ ( x ) = x T [ ( A B M B T P ) T P + P ( A B M B T P ) ] x = x T ( A T P + P A 2 P B M B T P ) x < 0 , since P B M B T P 0 and A T P + P A < 0 . Thus, the proof of Theorem 4 is finished [40,41]. □
Theorem 5.
We consider system (1) and suppose A is invertible and has a single unstable eigenvalue λ.
Let x e q = ± A 1 B u lim denote the equilibrium points of the saturated system when the input saturates at u s = u lim and u s = u lim , respectively.
Then, no feedback matrix K, where | K x e q | u lim , can globally stabilize the null solution of closed-loop systems (1), (2), and (3) [40,41].
Proof of Theorem 5.
To show that the origin is not globally asymptotically stable, it is sufficient to find some initial conditions x 0 n that cannot be driven to the origin with the feedback control law: u s ( t ) = s a t ( K x ) = μ ( x ( t ) ) K x ( t ) where K fulfills: | K x e q | u lim .
Let E λ ( x e q ) be the eigenspace corresponding to the unstable eigenvalue λ of the open-loop system A, where E λ ( x e q ) = { x n : A ( x x e q ) = λ ( x x e q ) } .
We show that some initial conditions on the eigenspace E λ cannot be driven to the origin with the feedback u s ( t ) = s a t ( K x ) .
Note that | K x | = u lim depicts the saturation boundaries. Now consider the case when saturation occurs with u s = u lim .
Then, the dynamics of the saturated system are given by: x ˙ ( t ) = A x ( t ) B u lim and the equilibrium point under saturation by x e q = A 1 B u lim .
Consider D = { x : | K x | u lim } . The assumption | K x e q | u lim implies x e q D . Then, the trajectory x ( t ) for the saturated system when x 0 E λ ( x e q ) is given by x ( t ) = e λ t ( x 0 x e q ) + x e q .
Moreover, since E λ ( x e q ) is the eigenspace, x ( t ) E λ ( x e q ) D provided the system remains saturated at u s = u lim .
We show that some initial conditions x 0 E λ D exist where x ( t ) never leaves the saturated region D so that | x ( t ) | becomes unbounded.
Now E λ is either parallel to or intersects K x = u lim . Because K x = u lim forms an n 1 dimensional surface and E x ( x e q ) a line, the intersection is a point. Suppose E λ ( x e q ) and K x = u lim are parallel. Since x e q D , E λ ( x e q ) is entirely situated in the saturated region, this means that: x 0 E λ ( x e q ) , x ( t ) E λ ( x e q ) , t 0 . Since E λ ( x e q ) is an unstable eigenspace, | x ( t ) | will become unbounded. Now suppose E λ ( x e q ) and K x = u lim intersect. Let v * denote the point of intersection. Then, x 0 E λ ( x e q ) D whereby | x 0 | max ( | v * | , | x e q | ) , x ( t ) E λ ( x e q ) D , t 0 , and | x ( t ) | will become unbounded.
The same argument can be repeated for saturation occurring at u s = u lim .
Thus, there exist initial conditions on the eigenspace corresponding to the unstable eigenvalue λ, which make the states unbounded.
Hence, the origin is not globally asymptotically stable under any linear time-invariant state feedback, and the proof of Theorem 5 is finished [40,41]. □
Theorem 6.
We consider system (1) and assume the following as true [40,41]:
1.
Matrix A is unstable;
2.
Matrix A B K is exponentially stable.
Consider B d = { x : x T P x d } , d + , and H = { x : | K x | u lim } , where P > 0 is a solution to ( A B K ) T P + P ( A B K ) < 0 .
Then, B d * is an exponentially stable region for the closed-loop systems (1), (2), and (3), where d * is the largest number whereby B d * H .
Proof of Theorem 6.
Since A B K is exponentially stable, there is the matrix P > 0 , whereby: ( A B K ) T P + P ( A B K ) < 0 .
For x H , u s ( t ) = s a t ( K x ) = K x ( t ) and consider the Lyapunov function: V ( x ) = x T P x , and by computing V ˙ ( x ) we obtain:
V ˙ ( x ) = x T [ ( A B K ) T P + P ( A B K ) ] x < 0 .
In addition, B d * is the largest set that is situated within the unsaturated region H. Thus, x B d * , x T P x decreases and hence | x | 0 exponentially. Thus, the proof of Theorem 6 is finished [40,41]. □

3. Systems with Command Saturation, Saturation Delay, and State Delay

3.1. Systems with Point Delays

In first part of this section, we consider the system with point delay (Sd) in the following form:
x ˙ ( t ) = A 0 x ( t ) + A 1 x ( t h ) + B 0 u s ( t ) + B 1 u s ( t h )
where: x n is the state, u s m , h is the input delay and state delay (we consider the same state delay and input delay and a single delay just for easy writing), and A 0 ,   A 1 ,   B 0 ,   B 1 are matrices of appropriate dimensions.
The initial command conditions are given by a function u s 0 ( ) defined for the interval [ h , 0 ] , and the initial state condition is given by a function x 0 ( ) defined for the interval [ h , 0 ] .
The command us contains saturation and | u s | u lim where u lim is the maxim value of command in the single-input case.
In the multiple-input case, the command contains saturation and is expressed in the following form: u s = [ u s 1 , , u s m ] T , u max i is the maxim value of the component i-th of the command, namely: | u s i | < u max i , i = 1 , , m .
Consider system (4), using the state transformation:
y ˜ ( t ) = x ( t ) + t h t e ( t s h ) A A 1 x ( s ) d s + t h t e ( t s h ) A B 1 u s ( s ) d s
where: A is a solution of the transcendental matrix equation:
A = A 0 + e A h A 1
We note s = t + θ , and, by computing y ˜ ˙ , we obtain:
y ˜ ˙ ( t ) = A 0 x ( t ) + A 1 x ( t h ) + B 0 u s ( t ) + B 1 u s ( t h ) + h 0 e A ( θ + h ) A 1 x ˙ ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u ˙ s ( t + θ ) d θ h 0 e A ( θ + h ) A 1 x ˙ ( t + θ ) d θ = e A ( θ + h ) A 1 x ( t + θ ) | h 0 + h 0 A e A ( θ + h ) A 1 x ( t + θ ) d θ = e A h A 1 x ( t ) A 1 x ( t h ) + h 0 A e A ( θ + h ) A 1 x ( t + θ ) d θ h 0 e A ( θ + h ) B 1 u ˙ s ( t + θ ) d θ = e A ( θ + h ) B 1 u s ( t + θ ) | h 0 + h 0 A e A ( θ + h ) B 1 u s ( t + θ ) d θ = e A h B 1 u s ( t ) B 1 u s ( t h ) + h 0 A e A ( θ + h ) B 1 u s ( t + θ ) d θ
Noting that the sum formed by the last integral of each term above is equal to A ( y ˜ ( t ) x ( t ) ) , using (9) and making the replacement above, we obtain the associated system:
y ˜ ˙ ( t ) = A y ˜ ( t ) + ( B 0 + e h A B 1 ) u s ( t )
We make the following notation:
B = B 0 + e h A B 1
System (7), with (6) and (8), is called the associate system of (4) and becomes:
y ˜ ˙ ( t ) = A y ˜ ( t ) + B u s ( t )
where: y ˜ n is the state, and A and B represent the matrices of appropriate dimensions.
The command of this system contains saturation, and in the single input case it is expressed in the following form:
u s ( t ) = s a t ( K y ˜ ) = μ ( y ˜ ( t ) ) K y ˜ ( t )
where:
μ ( y ˜ ) = { 1 i f | K y ˜ | < u lim u lim | K y ˜ | i f | K y ˜ | u lim
where: u lim is the maxim value of command, and | u s | u lim , K is a feedback matrix.
The unstable poles for system (7) are given by Λ c = { s : det ( s I A 0 e h s A 1 ) = 0 , Re ( s ) υ 0 } , where υ 0 0 is the desired margin of stability. System (7) is υ 0 , and is stabilizable if and only if: r a n k [ s I A 0 e h s A 1 | B 0 + e h s B 1 ] = n , for all s C υ 0 + = { s C : Re ( s ) υ 0 } .
We note Γ = { A C n x n : A = A 0 + e A h A 1 } . Then, A Γ , σ ( A ) σ ( S d ) = Λ c [37,38,39].
With these, the stabilizability of (Sd) implies complete controllability of the associated system without delay (12). Equation (9) plays a key role for obtaining system (12) without delay. In the general case, the unstable poles of system (7) are given by Λ c , which comprise n N elements (augmented as necessary with the stable poles); N is a positive integer and thereby allows the following representation:
Λ c = Λ 1 Λ 2 Λ N
where: Λ i , i = 1 , N ¯ is a symmetric set of cardinality n.
For every set Λ i = { s 1 , s 2 , , s n } , we consider the eigenvalues—even the unstable poles in the Jordan matrix: J = d i a g [ s 1 , s 2 , , s n ] .
If Λ i has complex conjugate elements s k = σ 0 ± j ω 0 , then the corresponding Jordan cell is expressed in the following form: J k = [ σ 0 ω 0 ω 0 σ 0 ] .
Additionally, we consider the corresponding set { w 1 , w 2 , , w n } of right eigenvectors arranged as a modal matrix P = [ w 1 , w 2 , , w n ] , where each pair ( s k , w k ) fulfills the equation:
( s k I A 0 e h s k A 1 ) w k = 0 , s k Λ c
The matrix A c i = P J P 1 fulfills Equation (9).
In a similar way, for a set of n left eigenvectors { v 1 , v 2 , , v n } fulfilling the equation:
( s k I A 0 e h s k A 1 ) w k = 0 , s k Λ c
Consider the matrix Q = c o l [ v 1 , v 2 , , v n ] ; then, the matrix A c i = Q 1 J Q fulfills Equation (9).
When N 2 , the solution of (9) is:
( s k I A 0 e h s k A 1 ) w k = 0 , s k Λ c
The matrix B c = B fulfills (11), but the matrices B0 and B1 are now B 0 = c o l [ B 0 , , B 0 ] R n N x 1 and B 1 = c o l [ B 1 , , B 1 ] R n N x 1 , respectively.
The stabilizing feedback matrix K is now:
K c = r o w [ K 1 , , K N ] whereby the matrix ( A c B c K c ) is Hurwitzian with the desired υ 0 0 degree of stability.
From the systems with delay, the next result is well known [37,38,39].
Proposition 1.
If u ( t ) = F ( ) y ˜ ( t ) is a stabilizing control law for the associated system (12), then the next control law:
u ( t ) = F ( ) [ x ( t ) + h 0 e A ( θ + h ) A 1 x ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u s ( t + θ ) d θ ]  
is stabilizing for system (7), under the condition that all unstable eigenvalues of system (7) are contained in the spectrum of the matrix A given by (9).
In our case, for F ( ) = μ ( y ˜ ) K , the command of (7) contains saturation, and it is expressed in the following form:
u s ( t ) = μ ( x ( t ) + h 0 e A ( θ + h ) A 1 x ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u s ( t + θ ) d θ ) K [ x ( t ) + h 0 e A ( θ + h ) A 1 x ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u s ( t + θ ) d θ ]
where the matrix A is given by (9) and:
μ ( x + h 0 e A ( θ + h ) A 1 x ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u s ( t + θ ) d θ ) = 1 i f | K ( x + h 0 e A ( θ + h ) A 1 x ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u s ( t + θ ) d θ ) | < u lim μ ( x + h 0 e A ( θ + h ) A 1 x ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u s ( t + θ ) d θ ) = = u lim | K ( x + h 0 e A ( θ + h ) A 1 x ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u s ( t + θ ) d θ ) | i f | K ( x + h 0 e A ( θ + h ) A 1 x ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u s ( t + θ ) d θ ) | u lim
u lim is the maxim value of the command, | u s | u lim , and K is a feedback matrix.
When N 2 , the control law (19) becomes:
u ( t ) = [ i = 1 N K i ] x ( t ) h 0 [ i = 1 N K i e A c i ( θ + h ) ] A 1 x ( t + θ ) d θ h 0 [ i = 1 N K i e A c i ( θ + h ) ] B 1 u ( t + θ ) d θ  
Remark 1.
The general form of the systems with multiple point delays is treated in a similar way.
Consider (Sd) in the following form:
x ˙ ( t ) = A 0 x ( t ) + i = 1 R A i x ( t r i ) + B 0 u s ( t ) + i = 1 H B i u s ( t h i )  
where x n is the state; u s m , h i , i = 1 , , H are the input delays; r i , i = 1 , , R are the state delays; and A 0 ,   A i ,   B 0 ,   B i are matrices of appropriate dimensions.
The initial command conditions are given by a function u s 0 ( ) defined for the interval [ h , 0 ] , and the initial state condition is given by a function x 0 ( ) defined for the interval [ r , 0 ] , where: h = max { h 1 , , h H } and r = max { r 1 , , r R } .
The command contains saturation, and using the state transformation:
y ˜ ( t ) = x ( t ) + i = 1 R t r i t e ( t s r i ) A A i x ( s ) d s + i = 1 H t h i t e ( t s h i ) A B i u s ( s ) d s ,
we obtain the associated system without delay expressed in the form (12), where:
A = A 0 + i = 1 R e r i A A i and B = B 0 + i = 1 H e h i A B i . If R = 0 , the state transformation (24) is called an Artstein transform [2,37,38,39].
When N 2 , the control law (22) becomes:
u ( t ) = [ i = 1 N K i ] x ( t ) h 0 j = 1 R [ i = 1 N K i e A c i ( θ + r j ) ] A j x ( t + θ ) d θ h 0 j = 1 H [ i = 1 N K i e A c i ( θ + h j ) ] B j u ( t + θ ) d θ  
where: A ,   B ,   A c ,   B c ,   K c are calculated as in the case of (Sd) expressed by (7).
Remark 2.
If the state vector x n is not fully measured, we can use a combined controller/observer. For example, consider system (23) with R = 1 , H = 0 ; then, the observer is [37]:
x ^ ˙ ( t ) = A 0 x ^ ( t ) + A 1 x ^ ( t r ) + B 0 u s ( t ) + L ( z ( t ) C   x ^ ( t ) ) + r 0 e A ( θ + r ) A 1 L ( z ( t + θ ) C   x ^ ( t + θ ) ) d θ  
where z ( t ) = C x ( t ) is the output and L is the matrix of the observer.

3.2. Systems with Distributed Delay

In the last part of this section, we consider the system with distributed delay (Sdd) in the following form:
x ˙ ( t ) = h 0 d α ( θ ) x ( t + θ ) + h 0 d β ( θ ) u s ( t + θ )
where: x n is the state, u s m .
α B V ( [ h , 0 ] , n x n ) , β B V ( [ h , 0 ] , n x m ) , h > 0 is the input delay and state delay. B V ( [ h , 0 ] , n 1 x n 2 ) denotes the class of integrable n 1 × n 2 matrix-valued functions of bounded variations. The initial conditions are given by: x ( θ ) = x 0 ( θ ) ; u s ( θ ) = u s 0 ( θ ) f o r θ [ h , 0 ] ; x 0 C ( [ h , 0 ] , n ) , u s 0 C ( [ h , 0 ] , m ) .
In the single-input case m = 1 , the command u s contains saturation and | u s | u lim where u lim is the maxim value of the command.
In the multiple-input case, the command contains saturation and is expressed in the form: u s = [ u s 1 , , u s m ] T , and u max i is the maxim value of the component i-th of command, namely: | u s i | < u max i , i = 1 , , m .
Consider system (27), and using the state transformation:
y ˜ ( t ) = x ( t ) + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ
where: A is a solution of the transcendental matrix equation:
A = h 0 e A θ d α ( θ )
The associated system for (27) is:
y ˜ ˙ ( t ) = A y ˜ ( t ) + B u s ( t )
where:
B = h 0 e A θ d β ( θ )
We obtain the associated system (30) if we note: s = t + θ , and by computing y ˜ ˙ :
y ˜ ˙ ( t ) = h 0 d α ( θ ) x ( t + θ ) + ( h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ ) + h 0 d β ( θ ) u s ( t + θ ) + ( h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ) .
Using (26) and (28), we can write:
( h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ ) = A { t + θ t e A ( t τ ) x ( τ ) d τ } = A x ( t ) A e A θ x ( t + θ ) + A t + θ t A e A ( t τ ) x ( τ ) d τ and ( h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ) = B { t + θ t e A ( t τ ) u s ( τ ) d τ } = B u s ( t ) B e A θ u s ( t + θ ) + B t + θ t A e A ( t τ ) u s ( τ ) d τ .
Noting that the sum formed by the last integral of each term above is equal to A ( y ˜ ( t ) x ( t ) ) , using (28), (29), and (31), making the replacement above, we obtain the associated system (30). The command of this system contains saturation, and in the single-input case it is expressed in the following form:
u s ( t ) = s a t ( K y ˜ ) = μ ( y ˜ ( t ) ) K y ˜ ( t )
where:
μ ( y ˜ ) = { 1 i f | K y ˜ | < u lim u lim | K y ˜ | i f | K y ˜ | u lim
where: u lim is the maxim value of the command, and | u s | u lim , K is a feedback matrix.
The unstable poles for system (27) are given by:
Λ c = { s : det ( s I h 0 e s θ d α ( θ ) ) = 0 , Re ( s ) υ 0 } , where υ 0 0 is the desired margin of stability.
System (24) is υ 0 —stabilizable if and only if:
r a n k [ s I h 0 e s θ d α ( θ ) | h 0 e s θ d β ( θ ) ] = n , for all s C υ 0 + = { s C : Re ( s ) υ 0 } .
We note Γ = { A C n x n : A = h 0 e A θ d α ( θ ) } . Then, A Γ , σ ( A ) σ ( S d ) = Λ c —see [34,35].
With these, the stabilizability of (Sdd) implies complete controllability of the associated system without delay (30).
Equation (29) plays a key role for obtaining system (30) with no delay.
Similarly to the case of the point-delay system, an algorithm was developed in [34,35] for solving Equation (29). The spectrum of (Sdd) is Λ c , which allows the following representation:
Λ c = Λ 1 Λ 2 Λ N
where: Λ i , i = 1 , N ¯ is a symmetric set of cardinality n.
For every set Λ i = { s 1 , s 2 , , s n } , we consider the matrix J = d i a g [ s 1 , s 2 , , s n ] of eigenvalues sk of the matrix:
A s k = h 0 e s k θ d α ( θ )
Additionally, we consider the corresponding set { v 1 , v 2 , , v n } of left eigenvectors (or, in a similar way, the right eigenvectors) arranged as a matrix Q = c o l [ v 1 , v 2 , , v n ] , where each pair ( s k , v k ) fulfills the equation:
v k ( s k I h 0 e s k θ d α ( θ ) ) = 0 , s k Λ i
then, the matrix A c i = Q 1 J Q , fulfills the Equation (29), and the general solution is: A c = d i a g [ A c 1 , A c 2 , , A c N ] .
From the systems with distributed delay, the next result is well known [34,35].
Proposition 2.
If u ( t ) = F ( ) y ˜ ( t ) is a stabilizing law for associated system (30), then the next control law:
u ( t ) = F ( ) [ x ( t ) + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ]  
is stabilizing for the system (27), under the condition that all unstable eigenvalues of the system (24) are contained in the spectrum of the matrix A given by (29).
In our case, for F ( ) = μ ( y ˜ ) K , the command of (27) contains saturation and is expressed in the following form:
u s ( t ) = μ ( x ( t ) + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ) K [ x ( t ) + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ]
where: the matrix A is given by (29) and:
μ ( x + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ) = 1 i f | K ( x + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ) | < u lim μ ( x + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ) = u lim | K ( x + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ) | i f | K ( x + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ) | u lim
where: u lim is the maxim value of the command, | u s | u lim , and K is a feedback matrix.
Remark 3.
If system (27) has the simplified form of kernel:
h 0 d α ( θ ) x ( t + θ ) = A 0 x ( t ) + i = 1 H A i x ( t h i ) + i = 1 K h i 0 L i ( θ ) x ( t + θ ) d θ  
where: L i ( θ ) has a bounded variations on [ m a x ( h i ) , 0 ] , then the characteristic function of (27) is:
Δ ( λ ) = det ( λ I A 0 i = 1 H e h i λ A i i = 1 K h i 0 e λ θ L i ( θ ) d θ )  
An algorithm was developed in [21] for searching the zeros of (41). The main idea is to consider a truncated Taylor series to N terms for the exponential terms of (41) around a certain point λ0:
e h i λ e h i λ 0 j = 0 N 1 ( h i ) j ( λ λ 0 ) j j !  
e λ θ e λ 0 θ j = 0 N 1 θ j ( λ λ 0 ) j j !  

4. Main Results

In this section, we consider the single-input and multiple input-systems with input saturation and state delay and input delay, and we obtain new sufficient conditions for stability.
We follow the results from the previous section for both type of delay: point and distributed.

4.1. Systems with Point Delays and Command Saturation

Theorem 7.
The null solution of the closed-loop single-input system with point delay (Sd) in the form (7) with input saturation given by (20) and (21) is globally asymptotically stable if there is K and P n x n positive definite, whereby the set { A , A ( B 0 + e A h B 1 ) K } is simultaneously P Lyapunov stable, namely:
A T P + P A < 0 and ( A ( B 0 + e A h B 1 ) K ) T P + P ( A ( B 0 + e A h B 1 ) K ) < 0 , under the condition that all the unstable eigenvalues of the system (7) are contained in the spectrum of the matrix A given by (9).
Proof of Theorem 7.
Consider system (7), and using state transformation (8), we obtain the associate system of (7) in the form (12) where the matrix A is given by (9), B = B 0 + e h A B 1 ; the command contains saturation and is given by (13) and (14).
If all the unstable eigenvalues of system (7) are contained in the spectrum of the matrix A given by (9), we use Proposition 1, where F ( ) = μ ( y ˜ ) K , y ˜ is given by (8), and we obtain the equivalence of stability between system (7) and system (12).
By applying Theorem 1 on system (12), we note that if the set { A , A ( B 0 + e A h B 1 ) K } is simultaneously P Lyapunov stable, then the null solution of the closed-loop system with point delay (Sd) in the form (7) with input saturation given by (20) and (21) is globally asymptotically stable, and the proof of Theorem 7 is finished. □
Theorem 8.
The null solution of the closed-loop system with point delay (Sd) in the form (7) with input saturation given by (20) and (21) is globally asymptotically stable under the condition that all unstable eigenvalues of system (7) are contained in the spectrum of the matrix A given by (9) and if the following are true:
1.
The matrix A is exponentially stable and diagonalizable;
2.
The matrix A ( B 0 + e A h B 1 ) K is exponentially stable and diagonalizable;
3.
The matrices A and ( B 0 + e A h B 1 ) K commute under multiplication.
Proof of Theorem 8.
Consider system (7), and using state transformation (8), we obtain the associate system of (7) in the form (12) where matrix A is given by (9), B = B 0 + e h A B 1 ; the command contains saturation and is given by (13) and (14).
If all the unstable eigenvalues of system (7) are contained in the spectrum of matrix A given by (9), we use the Proposition 1, where F ( ) = μ ( y ˜ ) K , and y ˜ is given by (8), and we obtain the equivalence of stability between system (7) and system (12).
By applying Theorem 2 on system (12), we note that if the matrix A and A ( B 0 + e A h B 1 ) K are exponentially stable and diagonalizable and the matrices A and ( B 0 + e A h B 1 ) K commute under multiplication, then the null solution of the closed-loop system with point delay (Sd) in the form (7) with input saturation given by (20) and (21) is globally asymptotically stable, and the proof of Theorem 8 is finished. □
Theorem 9.
The null solution of the closed-loop system with point delay (Sd) in the form (7) with input saturation given by (20) and (21) is globally asymptotically stable under the condition that all the unstable eigenvalues of system (7) are contained in the spectrum of matrix A given by (9) and if the following are true:
1.
A and A ( B 0 + e A h B 1 ) K are exponentially stable;
2.
A ( B 0 + e A h B 1 ) K is diagonalizable;
3.
A commutes with P, where A is the diagonal form of A ( B 0 + e A h B 1 ) K , and P > 0 solves: A T P + P A < 0 .
Proof of Theorem 9.
Consider system (7), and using state transformation (8), we obtain the associate system of (7) in the form (12), where the matrix A is given by (9), B = B 0 + e h A B 1 , and the command contains saturation and is given by (13) and (14).
If all the unstable eigenvalues of system (5) are contained in the spectrum of matrix A given by (9), we use Proposition 1, where F ( ) = μ ( y ˜ ) K , y ˜ is given by (8), and we obtain the equivalence of stability between system (7) and system (12).
By applying Theorem 3 on system (12), we note that if A and A ( B 0 + e A h B 1 ) K are exponentially stable, A ( B 0 + e A h B 1 ) K is diagonalizable; A commutes with P, where A is the diagonal form of A ( B 0 + e A h B 1 ) K ; and P > 0 solves: A T P + P A < 0 ; then, there is a matrix T that diagonalizes A ( B 0 + e A h B 1 ) K , and, in the new coordinate z = T x , we note that the set { T A T 1 , T ( A ( B 0 + e A h B 1 ) K ) T 1 } is simultaneously P Lyapunov stable or equivalent, and the set { A , A ( B 0 + e A h B 1 ) K } is simultaneously P Lyapunov stable. The stability is invariant under change of coordinates, and, by Theorem 7, the null solution of the closed-loop system with point delay (Sd) in form (7) with input saturation given by (20) and (21) is globally asymptotically stable, and the proof of Theorem 9 is finished. □
Theorem 10.
We consider the system with point delay and the multiple input in the form:
x ˙ ( t ) = A 0 x ( t ) + A 1 x ( t h ) + B 0 u s ( t ) + B 1 u s ( t h )  
where x n is the state, h is the state delay and input delay, and A 0 ,   A 1 ,   B 0 ,   B 1 are matrices of appropriate dimensions, u s m , under the condition that all the unstable eigenvalues of the system (41) are contained in the spectrum of the matrix A given by (6).
We denote B i * the i-th column of B 0 + e A h B 1 , and we assume that A is asymptotically stable.
The inputs are u s = [ u s 1 , , u s m ] T , and u max i is the maxim value of the component i-th of the command, namely, | u s i | < u max i , i = 1 , , m .
The initial conditions of the commands are given by a set of functions u s 0 i ( ) defined for on the interval [ h , 0 ] and bounded by u max i .
The initial state conditions are given by a function x 0 ( ) defined for the interval [ h , 0 ] . The components of the command are expressed in the following form:
u s i = B i * T P ( x + h 0 e A ( θ + h ) A 1 x ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u s ( t + θ ) d θ ) i f | B i * T P ( x + h 0 e A ( θ + h ) A 1 x ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u s ( t + θ ) d θ ) | < u max i u s i = μ i B i * T P ( x + h 0 e A ( θ + h ) A 1 x ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u s ( t + θ ) d θ ) i f | B i * T P ( x + h 0 e A ( θ + h ) A 1 x ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u s ( t + θ ) d θ ) | u max i
where:
μ i = u max i | B i * T P ( x + h 0 e A ( θ + h ) A 1 x ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u s ( t + θ ) d θ ) | , i = 1 , , m  
If P > 0 solves A T P + P A < 0 , then the null solution of the closed-loop systems (44), (45), and (46) is globally asymptotically stable.
Proof of Theorem 10.
Considering system (44), and using state transformation (8), we obtain the associate system of (44) in multiple-input form (12), where the matrix A is given by (9), and B = B 0 + e h A B 1 .
Let M = d i a g ( β i ) , M m x m , β i ( 0 , 1 ] and β i = { 1 i f | B i T P y ˜ | < u max i μ i i f | B i T P y ˜ | u max i ,
where μ i , i = 1 , , m are given by (46).
The command of the associate system contains saturation and can be rewritten in the form: u s = M B T P y ˜ .
If all the unstable eigenvalues of system (44) are contained in the spectrum of the matrix A given by (9), we use Proposition 1, where F ( ) = M B T P , y ˜ is given by (8), and we obtain the equivalence of stability between system (44) and system (12).
By applying Theorem 4 on system (12) considered now as multiple input, we note that the null solution of the multiple-input closed-loop system (44) with input saturation given by (45) and (46) is globally asymptotically stable, and the proof of Theorem 10 is finished. □
Theorem 11.
We consider the system with point delay (Sd) in form (7) with input saturation and with a single, unstable eigenvalue λ. Let A be given by (9), and suppose that A is invertible and has a single unstable eigenvalue λ.
Let x e q = ± A 1 ( B 0 + e A h B 1 ) u lim denote the equilibrium points of the saturated system when the input saturates at u s = u lim and u s = u lim , respectively.
Then, no feedback matrix K, where | K x e q | u lim , can globally stabilize the null solution of the closed-loop system (7), with input saturation given by (20) and (21).
Proof of Theorem 11.
Considering system (7), and using state transformation (8), we obtain the associated system of (7) in the form (12), where the matrix A is given by (9), B = B 0 + e h A B 1 , and the command contains saturation and is given by (13) and (14).
To show that the origin of system (7) is not globally asymptotically stable, it is sufficient to find some initial conditions x 0 n on the eigenspace corresponding to the unstable eigenvalue λ, which cannot be driven to the origin with the command given by (20) and (21), where the feedback matrix K fulfills | K x e q | u lim .
If all the unstable eigenvalues of system (7) are contained in the spectrum of the matrix A given by (9), in our case a single unstable eigenvalue λ, we use Proposition 1, where F ( ) = μ ( y ˜ ) K , y ˜ is given by (8), and we obtain the equivalence of stability between system (7) and system (12).
By applying Theorem 5 on system (12), we note that there are some initial conditions y ˜ 0 n corresponding to the unstable eigenvalue λ, which cannot be driven to the origin with the command given by (13) and (14) and K whereby | K y ˜ e q | u lim , where y ˜ e q = ± A 1 B u lim . From these, there is x 0 n given by y ˜ 0 n and (5) with u s = u lim and u s = u lim , respectively, which cannot be driven to the origin with the command given by (20) and (21), where the feedback matrix K fulfills | K x e q | u lim , and then the origin of system (7) is not globally asymptotically stable, and the proof of Theorem 11 is finished. □
Theorem 12.
We consider the system with point delay (Sd) in the form (7) and consider A given by (9). We assume that the following are true:
1.
Matrix A is unstable, and all unstable eigenvalues of system (7) are contained in the spectrum of the matrix A;
2.
Matrix A ( B 0 + e A h B 1 ) K is exponentially stable.
Consider the set:
B d * = { x : ( x ( t ) + h 0 e A ( θ + h ) A 1 x ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u s ( t + θ ) d θ ) T P ( x ( t ) + h 0 e A ( θ + h ) A 1 x ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u s ( t + θ ) d θ ) d } d +   a n d   H * = { x : | K ( x ( t ) + h 0 e A ( θ + h ) A 1 x ( t + θ ) d θ + h 0 e A ( θ + h ) B 1 u s ( t + θ ) d θ ) | u lim }  
where P > 0 is a solution to:
( A ( B 0 + e A h B 1 ) K ) T P + P ( A ( B 0 + e A h B 1 ) K ) < 0 .
Then, B d * * is an exponentially stable region for the closed-loop system (7), with saturation in command given by (20) and (21), where d * is the largest number whereby B d * * H * .
Proof of Theorem 12.
Considering system (7), and using state transformation (8), we obtain the associate system of (7) in form (12), where the matrix A is given by (9), B = B 0 + e h A B 1 , and the command contains saturation and is given by (13) and (14).
From condition 1, all the unstable eigenvalues of system (7) are contained in the spectrum of the matrix A given by (9), and we can use Proposition 1, where F ( ) = μ ( y ˜ ) K , y ˜ is given by (8), and we obtain the equivalence of stability between system (7) and system (12).
By applying Theorem 6 on system (12), we note that if the matrix A ( B 0 + e A h B 1 ) K is exponentially stable, then B d * is the largest set that is situated within the unsaturated region H, and B d * * is an exponentially stable region for closed-loop system (7), with input saturation given by (20) and (21), where d * is the largest number whereby B d * * H * , and the proof of Theorem 12 is finished. □
Remark 4.
The form of Theorems 7, 8, and 9 is similar to the one above, even in the case of the general form of systems with multiple point delays given by (23). In this case, the state transformation is given by (24), A = A 0 + i = 1 R e r i A A i , and B = B 0 + i = 1 H e h i A B i .
When N 2 , the order of matrices becomes similar to the one in the previous section, and the control law becomes u s ( t ) = s a t ( u ) where u is given by (22) or (25) if the system with point delay (Sd) is in the form (7) or (23). For the multiple-input case, we consider these control laws: K i = B i T P with the same significance as above.

4.2. Systems with Distributed Delays and Command Saturation

Theorem 13.
The null solution of the closed-loop single-input system with distributed delay (Sdd) in the form (27) with input saturation given by (38) and (39) is globally asymptotically stable if there is K and P n x n positive definite, whereby the set { A , A ( h 0 e A θ d β ( θ ) ) K } is simultaneously P Lyapunov stable, namely:
A T P + P A < 0 and ( A ( h 0 e A θ d β ( θ ) ) K ) T P + P ( A ( h 0 e A θ d β ( θ ) ) K ) < 0 , under the condition that all the unstable eigenvalues of the system (27) are contained in the spectrum of the matrix given by (29).
Proof of Theorem 13.
Considering system (27), and using state transformation (28), we obtain associate system of (27) in the form (30) where the matrix A is given by (29), B = h 0 e A θ d β ( θ ) , the command contains saturation and is given by (32) and (33).
If all the unstable eigenvalues of system (27) are contained in the spectrum of the matrix A given by (27), we the Proposition 2, where F ( ) = μ ( y ˜ ) K , y ˜ is given by (28), and we obtain the equivalence of stability between system (27) and system (30).
By applying Theorem 1 on system (30), we note that if the set { A , A ( h 0 e A θ d β ( θ ) ) K } is simultaneously P Lyapunov stable, then the null solution of the closed-loop system with distributed delay (Sdd) in the form (27) with input saturation given by (38) and (39) is globally asymptotically stable, and the proof of Theorem 13 is finished. □
Theorem 14.
The null solution of the closed-loop system with distributed delay (Sdd) in the form (27) with input saturation given by (38) and (39) is globally asymptotically stable under the condition that all the unstable eigenvalues of the system (27) are contained in the spectrum of the matrix A given by (29) and if the following are true:
1.
The matrix A is exponentially stable and diagonalizable;
2.
The matrix A ( h 0 e A θ d β ( θ ) ) K is exponentially stable and diagonalizable;
3.
The matrices A and ( h 0 e A θ d β ( θ ) ) K commute under multiplication.
Proof of Theorem 14.
Considering system (27), and using state transformation (28), we obtain the associate system of (27) in the form (30), where the matrix A is given by (29), B = h 0 e A θ d β ( θ ) , and the command contains saturation and is given by (32) and (33).
If all the unstable eigenvalues of system (27) are contained in the spectrum of the matrix A given by (29), we use Proposition 2, where F ( ) = μ ( y ˜ ) K , y ˜ is given by (28), and we obtain the equivalence of stability between system (27) and system (30).
By applying Theorem 2 on system (30), we note that if the matrix A and A ( h 0 e A θ d β ( θ ) ) K are exponentially stable and diagonalizable and the matrices A and ( h 0 e A θ d β ( θ ) ) K commute under multiplication, then the null solution of the closed-loop system with distributed delay (Sdd) in the form (27) with input saturation given by (38) and (39) is globally asymptotically stable, and the proof of Theorem 14 is finished. □
Theorem 15.
The null solution of the closed-loop system with distributed delay (Sdd) in the form (27) with input saturation given by (38) and (39) is globally asymptotically stable under the condition that all the unstable eigenvalues of the system (27) are contained in the spectrum of the matrix A given by (29) and if the following are true:
1.
A and A ( h 0 e A θ d β ( θ ) ) K are exponentially stable;
2.
A ( h 0 e A θ d β ( θ ) ) K is diagonalizable;
3.
A commutes with P, where A is the diagonal form of A ( h 0 e A θ d β ( θ ) ) K , and P > 0 solves: A T P + P A < 0 .
Proof of Theorem 15.
Consider system (27), and using the state transformation (28), we obtain the associate system of (27) in the form (30) where the matrix A is given by (29), B = h 0 e A θ d β ( θ ) , and the command contains saturation and is given by (32) and (33).
If all the unstable eigenvalues of system (27) are contained in the spectrum of matrix A given by (29), we use Proposition 2, where F ( ) = μ ( y ˜ ) K , y ˜ is given by (28), and we obtain the equivalence of stability between system (27) and system (30).
By applying Theorem 3 on system (12), we note that if A and A ( h 0 e A θ d β ( θ ) ) K are exponentially stable, A ( h 0 e A θ d β ( θ ) ) K is diagonalizable, A commutes with P, where A is the diagonal form of A ( h 0 e A θ d β ( θ ) ) K , and P > 0 solves: A T P + P A < 0 ; then, there is a matrix T that diagonalizes A ( h 0 e A θ d β ( θ ) ) K , and in the new coordinate z = T x , we note that the set { T A T 1 , T ( A ( h 0 e A θ d β ( θ ) ) K ) T 1 } is simultaneously P Lyapunov stable or equivalent, and the set { A , ( A ( h 0 e A θ d β ( θ ) ) K ) } is simultaneously P Lyapunov stable. The stability is invariant under change of coordinates, and by Theorem 5, the null solution of the closed-loop system with distributed delay (Sdd) in form (27) with input saturation given by (38) and (39) is globally asymptotically stable, and the proof of Theorem 15 is finished. □
Theorem 16.
We consider the system with distributed delay and multiple input in the form:
x ˙ ( t ) = h 0 d α ( θ ) x ( t + θ ) + h 0 d β ( θ ) u s ( t + θ )  
where: x n is the state, and u s m , α B V ( [ h , 0 ] , n x n ) , β B V ( [ h , 0 ] , n x m ) , h > 0 is the input delay and state delay. B V ( [ h , 0 ] , n 1 x n 2 ) denotes the class of integrable n 1 × n 2 matrix-valued functions of bounded variations. The initial conditions are given by x ( θ ) = x 0 ( θ ) ; u s ( θ ) = u s 0 ( θ ) f o r θ [ h , 0 ] . We assume that all the unstable eigenvalues of system (47) are contained in the spectrum of the matrix A given by (29). We denote B i * as the i-th column of h 0 e A θ d β ( θ ) , and we assume that A is asymptotically stable. The inputs are u s = [ u s 1 , , u s m ] T , and u max i is the maxim value of the component i-th of the command, namely, | u s i | < u max i , i = 1 , , m . The initial conditions of the commands are given by a set of functions u s 0 i ( ) defined for the interval [ h , 0 ] and bounded by u max i . The initial state conditions are given by a function x 0 ( ) defined for the interval [ h , 0 ] . The components of the command are expressed in the following form:
u s i = B i * T P ( x + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ) i f | B i * T P ( x + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ) | < u max i u s i = μ i B i * T P ( x + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ) i f | B i * T P ( x + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ) | u max i
where:
μ i = u max i | B i * T P ( x + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ) | , i = 1 , , m  
If P > 0 solves A T P + P A < 0 , then the null solution of the closed-loop systems (47), (48), and (49) is globally asymptotically stable.
Proof of Theorem 16.
Considering system (47), and using the state transformation (28), we obtain the associate system of (47) in multiple input form (30), where the matrix A is given by (29) and B = h 0 e A θ d β ( θ ) .
Consider M = d i a g ( β i ) , M m x m , β i ( 0 , 1 ] and β i = { 1 i f | B i T P y ˜ | < u max i μ i i f | B i T P y ˜ | u max i ,
where: μ i , i = 1 , , m are given by (49).
The command of the associate system contains saturation and can be rewritten in the form: u s = M B T P y ˜ .
If all the unstable eigenvalues of system (47) are contained in the spectrum of the matrix A given by (29), we use Proposition 2, where F ( ) = M B T P , y ˜ is given by (28), and we obtain the equivalence of stability between system (47) and system (30).
By applying Theorem 4 on system (30), considered now as multiple input, we note that the null solution of the multiple-input closed-loop system (47) with input saturation given by (48) and (49) is globally asymptotically stable, and the proof of Theorem 16 is finished. □
Theorem 17.
We consider the system with distributed delay (Sdd) in the form (27) with input saturation, which has a single unstable eigenvalue λ. Consider A given by (29) and assume that A is invertible and has a single unstable eigenvalue λ.
Let x e q = ± A 1 ( h 0 e A θ d β ( θ ) ) u lim denote the equilibrium points of the saturated system when the input saturates to u s = u lim and u s = u lim , respectively. Then, no feedback matrix K, where | K x e q | u lim , can globally stabilize the null solution of the closed-loop system (27), with input saturation given by (38) and (39).
Proof of Theorem 17.
Considering system (27), and using state transformation (28), we obtain the associate system of (27) in the form (30), where the matrix A is given by (29), B = h 0 e A θ d β ( θ ) , and the command contains saturation and is given by (32) and (33).
To show that the origin of the system (27) is not globally asymptotically stable, it is sufficient to find some initial conditions x 0 n on the eigenspace corresponding to the unstable eigenvalue λ, which cannot be driven to the origin with the command given by (36) and (37), where the feedback matrix K fulfills | K x e q | u lim .
If all the unstable eigenvalues of the system (27) are contained in the spectrum of the matrix A given by (29), in our case a single unstable eigenvalue λ, we use Proposition 2, where F ( ) = μ ( y ˜ ) K , y ˜ is given by (28), and we obtain the equivalence of stability between system (27) and system (30).
By applying the Theorem 5 on system (30), we note that there are some initial conditions y ˜ 0 n corresponding to the unstable eigenvalue λ, which cannot be driven to the origin with the command given by (32) and (33) and K whereby | K y ˜ e q | u lim , where y ˜ e q = ± A 1 B u lim . From these, there is x 0 n given by y ˜ 0 n and (28) with u s = u lim and u s = u lim , respectively, which cannot be driven to the origin with the command given by (38) and (39), where the feedback matrix K fulfills | K x e q | u lim , and then the origin of the system (27) is not globally asymptotically stable, and the proof of Theorem 17 is finished. □
Theorem 18.
We consider the system with distributed delay (Sdd) in the form (27) and consider A given by (29). We assume the following are true:
1.
Matrix A is unstable, and all the unstable eigenvalues of the system (27) are contained in the spectrum of the matrix A;
2.
Matrix A ( h 0 e A θ d β ( θ ) ) K is exponentially stable.
Consider the set:
B d * = { x : ( x ( t ) + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ) T P ( x ( t ) + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ) d }
d + and
H * = { x : | K ( x ( t ) + h 0 t + θ t e A ( t + θ τ ) d α ( θ ) x ( τ ) d τ + h 0 t + θ t e A ( t + θ τ ) d β ( θ ) u s ( τ ) d τ ) | u lim } ,
where P > 0 is a solution to: ( A ( h 0 e A θ d β ( θ ) ) K ) T P + P ( A ( h 0 e A θ d β ( θ ) ) K ) < 0 .
Then, B d * * is an exponentially stable region for the closed-loop system (27), with input saturation given by (38) and (39), where d * is the largest number whereby B d * * H * .
Proof of Theorem 18.
Considering system (27), and using state transformation (28), we obtain the associate system of (27) in the form (30), where the matrix A is given by (29), B = h 0 e A θ d β ( θ ) , and the command contains saturation and is given by (32) and (33).
From condition 1, all the unstable eigenvalues of system (27) are contained in the spectrum of the matrix A given by (29), and we can use Proposition 2, where F ( ) = μ ( y ˜ ) K , y ˜ is given by (28), and we obtain the equivalence of stability between system (27) and system (30).
By applying Theorem 6 on the system (30), we note that if the matrix A ( h 0 e A θ d β ( θ ) ) K is exponentially stable, then B d * is the largest set that is situated within the unsaturated region H, and B d * * is an exponentially stable region for the closed-loop system (27), with input saturation given by (38) and (39), where d * is the largest number whereby B d * * H * , and the proof of Theorem 18 is finished. □

5. Examples and Discussions

Four examples of input saturation and state-delay and input-delay systems are presented next to exemplify the way in which the global asymptotic stability of the closed-circuit system can be determined under the conditions where the command applied to the system can be randomly limited. Regarding the maximum allowable value of the delay, although intuitively it must have a finite value, there are results regarding the stability of the “independent delay” system, which ensures the stability of the system under the conditions where the delay can have a randomly high value. Similarly, although intuitively the system cannot be stabilized with a zero-amplitude command, the results obtained in the previous sections and the following examples show that there are situations where the command can be chosen to be randomly small, and the system remains stable, but the response time increases accordingly. Following the algorithm presented in Section 3 for solving transcendental matrix equation A = A 0 + e A h A 1 , which is a key element, to find the closed-circuit matrix, the equivalence of the system without delay but with saturation is obtained, and, by applying the results obtained in the previous sections, it can be determined whether the initial system remains stable under the conditions of random command limitation. Appendix A presents a method to solve the above-mentioned equation.

5.1. Example 1

Consider the system (Sd) with input saturation and state delay and input delay:
x ˙ ( t ) = A 0 x ( t ) + A 1 x ( t h ) + B 0 u s ( t ) + B 1 u s ( t h )
where: A 0 = [ 2.33 1 0 0.1 ] , A 1 = [ 1 0 0 0 ] , B 0 = B 1 = [ 0 1 ] , h = 1 .
Let υ 0 = 0 . We can verify if system (50) is spectrally controllable, namely:
r a n k [ s I A 0 e h s A 1 | B 0 + e h s B 1 ] = n = 2 , s C .
In this case, we can follow the steps from Section 3 to solve the equation: A = A 0 + e A h A 1 .
The solution is: A c = [ 0.5670 1 0 0.1 ] , and then B c = B = B 0 + e h A B 1 = [ 1.4086 2.1052 ] .
The associate system for (Sd) is given by: y ˜ ˙ ( t ) = A y ˜ ( t ) + B u s ( t ) , where A = A c and B = B c .
The control law for the associated system is expressed in the following form: u s ( t ) = K y ˜ ( t ) , and we chose the spectrum of the closed system: σ ( A B K ) = { 1 , 2 } . Then, we obtain K = [ 0.2246 1.2585 ] .
The control law for (Sd) is obtained based on Proposition 1: u s ( t ) = s a t ( u ( t ) ) , where:
u ( t ) = K x ( t ) 1 0 K e A c ( θ + 1 ) A 1 x ( t + θ ) d θ 1 0 K e A c ( θ + 1 ) B 1 u ( t + θ ) d θ
We find that the matrix P = [ 0.8818 1.3221 1.3221 18.2209 ] fulfills the condition that the set { A , A ( B 0 + e A h B 1 ) K } is simultaneously P Lyapunov stable, and, by applying Theorem 3, we note that the null solution of the closed-loop system with point delay (Sd) in form (50) with input saturation given by (51) is globally asymptotically stable for any small value of u lim . The simulations sustain this.
For the simulation steps T = 0.01 s and T f = 50 s , using MATLAB, the evolution of the states of system (50) without input saturation and the initial condition x ( t ) = [ 1 1 ] , t [ 1 , 0 ] , is given in Figure 1.
Furthermore, Figure 1 presents the command and the states of the associate system, where the initial conditions are obtained using state transformation (8): y ˜ ( 0 ) = [ 1.3243 0 ] .
The evolution of the states of system (50) with | u | 0.1 is given in Figure 2 and, for | u | 0.01 , in Figure 3. Even when the value of u lim is decreasing arbitrarily, system (50) in the closed loop is globally asymptotically stable.

5.2. Example 2

Consider system (Sd) with input saturation and state delay and input delay:
x ˙ ( t ) = A 0 x ( t ) + A 1 x ( t h ) + B 0 u s ( t ) + B 1 u s ( t h )
where: A 0 = [ 0 1 0 0 ] , A 1 = [ 1 0 0 0 ] , B 0 = B 1 = [ 1 1 ] , h = 1 .
The characteristic equation is: det ( s I A 0 e h s A 1 ) = 0 , namely: s ( s e s ) = 0 .
For υ 0 = 2 , the unstable poles of (Sd) are found to be:
σ u ( S d ) = { 0 , 0.5671 , 1.5339 ± j 4.3751 } = Λ 1 Λ 2
where Λ 1 = { σ 0 ± j ω 0 } = { 1.5339 ± j 4.3751 } ,
Λ 2 = { s 1 , s 2 } = { 0 , 0.5671 } and N = 2 . We can verify if system (52) is spectrally controllable, namely:
r a n k [ s I A 0 e h s A 1 | B 0 + e h s B 1 ] = n = 2 , s C .
In this case, we can follow the steps from Section 3 to solve the equation: A = A 0 + e A h A 1 .
Corresponding to Λ 1 = { σ 0 ± j ω 0 } , the matrix of left eigenvectors is Q = [ σ 0 1 ω 0 0 ] , the matrix of eigenvalues is J = [ σ 0 ω 0 ω 0 σ 0 ] , and we obtain:
A c 1 = Q 1 J Q = [ 2 σ 0 1 ( σ 0 2 + ω 0 2 0 ] = [ 3.0678 1.0 21.4951 0.0 ] .
For Λ 2 = { 0 , 0.5671 } , the matrix of left eigenvectors is Q = [ 0 1 s 2 1 ] , the matrix of eigenvalues is J = [ 0 0 0 s 2 ] , and we obtain:
A c 2 Q 1 J Q = [ s 2 1 0 0 ] = [ 0.5674 1.0 0.0 0.0 ] .
The solution is A c = d i a g { A c 1 , A c 2 } ,
A c = [ 3.0678 1.0 0.0 0.0 21.4951 0.0 0.0 0.0 0.0 0.0 0.5674 1.0 0.0 0.0 0.0 0.0 ]   and   then B c = B = B 0 + e h A B 1 = [ 1.06 20.4948 0.8039 2.0 ]
where B 0 = B 1 = [ 1 1 1 1 ] .
The associate system for (Sd) is given by y ˜ ˙ ( t ) = A y ˜ ( t ) + B u s ( t ) , where A = A c and B = B c .
The control law for the associated system is expressed in the following form: u s ( t ) = K y ˜ ( t ) , and we chose the spectrum of the closed system: σ ( A B K ) = { 2 , 3 , 4 , 5 } . Then, we obtain K = [ 0.9226 0.1429 4.0252 2.1746 ] .
We note K 1 = [ 0.9226 0.1429 ] and K 2 = [ 4 . 0252 2 . 1746 ] .
The control law for (Sd) is obtained based on Proposition 1 and (19): u s ( t ) = s a t ( u ( t ) ) , where:
u ( t ) = [ i = 1 2 K i ] x ( t ) 1 0 [ i = 1 2 K i e A c i ( θ + 1 ) ] A 1 x ( t + θ ) d θ 1 0 [ i = 1 2 K i e A c i ( θ + 1 ) ] B 1 u ( t + θ ) d θ
Using MATLAB, we cannot find a matrix P that fulfills the condition that the set { A , A ( B 0 + e A h B 1 ) K } is simultaneously P Lyapunov stable, and we cannot apply Theorem 3.
In addition, this Theorem gives just sufficient conditions for stability, but, in our case, we can consider it a clue that there could be a value u lim under which the system becomes unstable for | u s | < u lim . The simulations sustain this.
For simulation, we chose the step T = 0.01 s , final time T f = 50 s , and, using MATLAB, the evolution of the states of system (52) without saturation in command and initial condition x ( t ) = [ 1 1 ] , t [ 1 , 0 ] is given in Figure 4.
The evolution of the states of system (52) with | u | 5 is given in Figure 5 and, for | u | 0.6271 , in Figure 6. For this value, we note that there are oscillations. For values of u lim < 0.6271 , the system becomes unstable.

5.3. Example 3

Consider the system (Sd) with input saturation and state delay and input delay:
x ˙ ( t ) = A 0 x ( t ) + A 1 x ( t h ) + B 0 u s ( t ) + B 1 u s ( t h )
where: A 0 = [ 1.75 0 0.25 1.75 ] , A 1 = [ 0 0.25 0 0 ] , B 0 = B 1 = [ 0 1 ] , h = 1 .
Let υ 0 = 0 . We can verify if the system (54) is spectrally controllable, namely:
r a n k [ s I A 0 e h s A 1 | B 0 + e h s B 1 ] = n = 2 , s C .
In this case, we can follow the steps from Section 3 to solve the equation: A = A 0 + e A h A 1 .
The solution is:
A c = [ 1.75 1.8514 0.25 2.2545 ] and then B c = B = B 0 + e h A B 1 = [ 14.9461 12.4786 ] .
The associate system for (Sd) is given by: y ˜ ˙ ( t ) = A y ˜ ( t ) + B u s ( t ) , where A = A c and B = B c .
The control law for the associate system is expressed in the following form: u s ( t ) = K y ˜ ( t ) , and we chose the spectrum of closed system: σ ( A B K ) = { 0.5 , 1 } .
Then, we obtain K = [ 0.0587 0.1304 ] .
The control law for (Sd) is obtained based on Proposition 1: u s ( t ) = s a t ( u ( t ) ) , where:
u ( t ) = K x ( t ) 1 0 K e A c ( θ + 1 ) A 1 x ( t + θ ) d θ 1 0 K e A c ( θ + 1 ) B 1 u ( t + θ ) d θ
We find that the matrix P = [ 0.3093 0.1653 0.1653 0.3576 ] fulfills the condition that the set { A , A ( B 0 + e A h B 1 ) K } is simultaneously P Lyapunov stable and, by applying Theorem 3, we note that the null solution of the closed-loop system with point delay (Sd) in form (54) with input saturation given by (55) is globally asymptotically stable for any small value of u lim . The simulations sustain this.
For the simulation step T = 0.01 s and T f = 50 s , using MATLAB, the evolution of the states of system (54) without input saturation, and the initial condition x ( t ) = [ 1 1 ] , t [ 1 , 0 ] , is given in Figure 7.
Furthermore, Figure 7 presents the command and the states of the associate system, where the initial conditions are obtained using the state transformation (8): y ˜ ( 0 ) = [ 0.7605 0.1361 ] .
The evolution of the states of system (50) with | u | 0.06 is given in Figure 8 and, for | u | 0.01 , in Figure 9. Even when the value of u lim is decreasing arbitrarily, system (54) in closed loop is globally asymptotically stable.

5.4. Example 4

Consider system (Sd) with input saturation and state delay and input delay, which is presented in many studies, [7,8,27,35,39], but without input saturation. This system represents the operation of a motor rocket propellant under a simplified and normalized form.
x ˙ ( t ) = A 0 x ( t ) + A 1 x ( t h ) + B 0 u s ( t ) + B 1 u s ( t h )
where: A 0 = [ 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 ] , A 1 = [ 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 ] , h = 1 , B 0 = [ 0 1 0 0 ] , B 1 = [ 0 1 0 0 ] .
In addition, in [35], a sliding control technique was used for the stabilization of the associated system and then for the initial system. In [21], the synthesis of the controller was based on the receding horizon control. In these approaches, the command is supposed unsaturated.
The characteristic equation is: det ( s I A 0 e h s A 1 ) = 0 , and, for υ 0 = 1 , the unstable poles of (Sd) are found to be: σ u ( S d ) = { 0.1862 ± j 0.9179 , 0.1125 ± j 1.5201 } = Λ 1 Λ 2 , where Λ 1 = { σ 1 ± j ω 1 } and Λ 2 = { σ 2 ± j ω 2 } .
We can verify if the system (56) is spectrally controllable, namely:
r a n k [ s I A 0 e h s A 1 | B 0 + e h s B 1 ] = n = 4 , s C ,
or equivalent: r a n k [ s + e s 0 1 0 0 0 s 0 1 1 1 0 s + 1 1 0 0 1 1 s 0 ] = n = 4 , s C .
In this case, we can follow the steps from Section 3 to solve the equation: A = A 0 + e A h A 1 .
The matrices J and Q become: J = [ σ 2 ω 2 0 0 ω 2 σ 2 0 0 0 0 σ 1 ω 1 0 0 ω 1 σ 1 ] and Q = [ 1 0.0055 0.1578 0.7335 0 0.4821 0.6277 0.0459 0.6508 0.8652 0.3428 0.6353 0.3140 0.5165 0.1967 0.6981 ] .
With these, we obtain A c = Q 1 J Q = [ 1 . 0193   0 1 . 0193 0 0 . 4986   0 0 . 4986 1 2 . 8718 0 0 . 8718 1 0 . 9215 1 0 . 0785 0 ] and B c = B = B 0 + e h A B 1 = [ 0   1   0 0 ] .
The associate system for (Sd) is given by y ˜ ˙ ( t ) = A y ˜ ( t ) + B u s ( t ) , where A = A c and B = B c .
The control law for the associated system is expressed in the following form: u s ( t ) = K y ˜ ( t ) , and we chose the spectrum of the closed system: σ ( A B K ) = { 1 ± j , 1 ± 0.5 j } .
Then, we obtain: K = [ 7.6801 3 . 8526 2 . 8497 3 . 5650 ] .
The control law for (Sd) is obtained based on Proposition 1: u s ( t ) = s a t ( u ( t ) ) , where:
u ( t ) = K x ( t ) 1 0 K e A c ( θ + 1 ) A 1 x ( t + θ ) d θ
Using MATLAB, we cannot find a matrix P that fulfills the condition that the set { A , A ( B 0 + e A h B 1 ) K } is simultaneously P Lyapunov stable, and we cannot apply Theorem 3.
In addition, this theorem gives sufficient conditions for stability, but, in our case, we can consider it a clue that there could be a value u lim under which the system becomes unstable | u s | < u lim . The simulations sustain this.
For simulation, we chose the step T = 0.01 s and final time Tf = 50 s, and, using MATLAB, the evolution of the states of system (56) without input saturation and the initial condition x ( t ) = [ 1 1 ] , t [ 1 , 0 ] , is given in Figure 10.
The evolution of the states of system (56) with | u | 0.8 is given in Figure 11 and, for | u | 0.01 , in Figure 12. For this value, we observed oscillations appeared. For the value of u lim < 0.01 , the system becomes unstable.
The results obtained are consistent with the results obtained and presented in the bibliographic approaches presented, and the system cannot remain stable in the case of a command with randomly low saturation.

6. Conclusions

In this article, we presented sufficient conditions for the global asymptotic stability of the systems with point or distributed state delay and input delay and input saturation in the single-input or multiple-input case. Using a linear transformation applied on the initial system with delay, we obtained an associated system with no delay, but which was equivalent from the point of view of stability. The investigations continued using some results from the study of systems with input saturation, and the main results were synthesized in twelve new theorems. These theorems state that under the condition that all the unstable eigenvalues of the initial system with delay are contained in the spectrum of the matrix of the associated system without delay and if some matrix inequalities are true, the control law of the reduced system can ensure the global asymptotic stability of the initial system with delay and input saturation.
Theorems were obtained on the stability of mono- and multiple-input systems and on instability and the estimation of the stability region for systems with state delay and input delay (point or distributed) and input saturation. A numerical solution to the transcendental matrix equation A = A 0 + e A h A 1 was proposed using the computational intelligence PSO algorithm. Some numerical examples were also presented to highlight how to apply the results obtained regarding the stability of delay and saturation systems.

Funding

The study was developed with funds from the Ministry of Education and Scientific Research—Romania as part of the NUCLEU Program: PN 19 38 01 03.

Data Availability Statement

Data sharing not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

Correction Statement

This article has been republished with a minor correction to the title: "The Stability of Systems with Command Saturation, Command Delay, and State Delay". This change does not impact the scientific content of the article.

Appendix A

Numerical solution to the equation: A = A 0 + e A h A 1
For a dimension of the system equal to 2, we can start from the analytic continuation of the matrix expm(A), and, by obtaining four nonlinear equations, the solution consists in using the function fsolve in MATLAB. For a dimension of the system greater than or equal to 2, a computational intelligence calculation method is presented, i.e., PSO.
Thus, in the general case where A is given by (A1), by expanding as usual according to the eigenvalues of the matrix A [108], the expression of the exponential expansion can be obtained as in (A2).
A = [ a b c d ]
e A = e λ 1 e λ 2 λ 1 λ 2 A + ( e λ 1 λ 2 e λ 1 e λ 2 λ 1 λ 2 ) I
By making the notation in (A3), we obtain the system of equations in (A4) and (A5).
μ = ( a d ) 2 + 4 b c
e A = e a + d 2 [ cosh ( μ 2 ) + 1 2 ( a d ) sin _ c h ( μ 2 ) b sin _ c h ( μ 2 ) c sin _ c h ( μ 2 ) cosh ( μ 2 ) 1 2 ( a d ) sin _ c h ( μ 2 ) ]
where:
sin _ c h ( x ) = { sinh ( x ) x , x 0 1 , x = 0
The MATLAB implementation of the algorithm for the transcendental matrix equation with the dimension = 2 based on the fsolve MATLAB function [109] is presented in Figure A1.
Figure A1. MATLAB implementation of the algorithm for the transcendental matrix equation with dimension = 2.
Figure A1. MATLAB implementation of the algorithm for the transcendental matrix equation with dimension = 2.
Automation 03 00003 g0a1
If the dimension of the matrix is greater than or equal to 2, a PSO optimization method [110] will be used to solve the transcendental matrix equation A = A 0 + e A h A 1 , where A0 and A1 are known matrices. The algorithm will provide the matrix A, which minimizes the error criterion:
e r r o r = n o r m ( A A 0 + e A h A 1 )
where: norm is any usual matrix norm implemented in MATLAB (for example, the Frobenius norm) [109].
The PSO has a description similar to the algorithm for obtaining an optimal path in relation to a reference of a group of particles. We denote the position of the particle i as xi and the current speed of the particle i as vi. Based on these notations, the personal optimum i is expressed as follows:
y i ( t + 1 ) = { x i ( t + 1 ) i f f ( x i ( t + 1 ) ) < f ( y i ( t ) ) y i ( t ) e l s e
We denote the best position of the neighborhood of a particle i as y ^ i ; then, the social optimum of the particle i is expressed as follows:
y ^ ( t ) = arg min ( f ( y 1 ( t ) ) , f ( y 2 ( t ) ) , , f ( y n ( t ) ) )
Recurrent relations between position and speed can be described as follows:
{ v i , j ( t ) = w v i , j ( t ) + c 1 r 1 , j ( t ) ( y i , j ( t ) x i , j ( t ) ) + c 2 r 2 , j ( t ) ( y ^ i , j ( t ) x ^ i , j ( t ) ) x i ( t + 1 ) = x i ( t ) + v i ( t + 1 )
where w represents the inertia weight (usual w = 0.9), i = 1, ..., N (N represents the number of particles); j = 1, ..., D (D represents the dimension of the problem); r1 and r2 are random numbers; and c1 and c2 are positive constants.
The implementation of the PSO algorithm in MATLAB/Simulink is presented in Figure A2.
For a system given by A 0 = [ 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 ] , A 1 = [ 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 ] , and h = 1 , following the previous PSO procedure, in Figure A3 the difference matrix between left and right members of the transcendental matrix equation A = A 0 + e A h A 1 is presented. It can be noted that the each elements of the difference matrix and the norm of this matrix is almost equal zero. This proves that the presented computational intelligence method solves with precision the transcendental matrix equation. It can be noted that similar results could be obtained with other computational intelligence algorithms (genetic algorithm, Grey Wolf algorithm, Simulated Annealing algorithm, and so on).
Remark A1.
It can be noted that, for matrices A0 and A1 above (similar to those presented in example 4), the difference matrix between left and right members of the transcendental matrix equation, A = A 0 + e A h A 1 , calculated using the matrix norm, in case of applying the PSO procedure, this norm is about 10−3, and, in case of applying the classical procedure presented in example 4, the value of this norm is about 10−1, which shows a significant improvement in accurately solving the respective transcendental matrix equation by the method proposed in this article.
Figure A2. Implementation of the PSO algorithm in MATLAB/Simulink for transcendental matrix equation with dimension ≥ 2.
Figure A2. Implementation of the PSO algorithm in MATLAB/Simulink for transcendental matrix equation with dimension ≥ 2.
Automation 03 00003 g0a2
Figure A3. MATLAB test and results based on PSO algorithm optimization for transcendental matrix equation with dimension = 4.
Figure A3. MATLAB test and results based on PSO algorithm optimization for transcendental matrix equation with dimension = 4.
Automation 03 00003 g0a3

References

  1. Kolmanovskii, V.; Myshkis, A. Applied Theory of Functional Differential Equations; Kluwer Academic Press Publisher: Dordrecht, The Netherlands, 1992. [Google Scholar]
  2. Artstein, Z. Linear Systems with Delayed Controls: A reduction. IEEE Trans. Autom. Control 1982, 27, 869–879. [Google Scholar] [CrossRef]
  3. Aström, K.J.; Kumar, P.R. Control: A perspective. Automatica 2014, 50, 3–43. [Google Scholar] [CrossRef]
  4. Young, S.M.; Gyeon, P.P.; Wook, H.K. Robust Stabilization of Uncertain Input-Delayed Systems Using Reduction Method. Automatica 2001, 37, 307–312. [Google Scholar]
  5. Halevi, Y. Reduced-order models with delay. Int. J. Control 1996, 64, 733–744. [Google Scholar] [CrossRef]
  6. Phoojaruenchanachai, S.; Uahchinkul, K.; Prempraneerach, Y. Robust Stabilization of State Delayed System. EE Proc.-Control Theory Appl. 1998, 145, 87–91. [Google Scholar] [CrossRef]
  7. Moon, Y.S.; Park, P.; Kwon, W.H.; Lee, Y.S. Delay-Dependent Robust Stabilization of Uncertain State-Delayed Systems. Int. J. Control 2001, 74, 1447–1455. [Google Scholar] [CrossRef]
  8. Xie, L.; Fridman, E.; Shaked, U. Robust H∞ Control of Distributed Delay Systems with Application to Combustion Control. IEEE Trans. Autom. Control 2001, 46, 1930–1935. [Google Scholar] [CrossRef]
  9. Asl, F.M.; Ulsoy, A.G. Analysis of a System of Linear Delay Differential Equations. J. Dyn. Syst. Meas. Control 2003, 125, 215–223. [Google Scholar] [CrossRef]
  10. Ochoa, G.; Mondié, S.; Kharitonov, V.L. Time Delay Systems with Distributed Delays: Critical Values. IFAC Proc. Vol. 2009, 42, 272–277. [Google Scholar] [CrossRef]
  11. Chen, C.-T.; Peng, S.-T. A sliding mode control scheme for non-minimum phase non-linear uncertain input-delay chemical processes. J. Process Control 2006, 16, 37–51. [Google Scholar] [CrossRef]
  12. Ge, S.S.; Tee, K.P. Approximation-Based Control of Nonlinear MIMO Time-Delay Systems. Automatica 2007, 43, 31–43. [Google Scholar] [CrossRef]
  13. Gouaisbaut, F.; Ariba, Y. Delay Range Stability of Distributed Time Delay Systems. Syst. Control Lett. 2011, 60, 211–217. [Google Scholar] [CrossRef]
  14. Hetel, L.; Daafouz, J.; Richard, J.P.; Jungers, M. Delay-Dependent Sampled-Data Control Based on Delay Estimates. Syst. Control Lett. 2011, 60, 146–150. [Google Scholar] [CrossRef]
  15. Michiels, W.; Van Assche, V.; Niculescu, S.I. Stabilization of Time-Delay Systems with a Controlled Time-varying Delay and Applications. IEEE Trans. Autom. Control 2005, 50, 493–504. [Google Scholar] [CrossRef]
  16. Matausek, M.R.; Sekara, T.B. PID Controller Frequency-Domain Tuning for Stable, Integrating and Unstable Processes, Including Dead-Time. J. Process Control 2011, 21, 17–27. [Google Scholar] [CrossRef]
  17. Du, Y.Y.; Tsai, J.S.H.; Patil, H.; Shieh, L.S.; Chen, Y. Indirect Identification of Continuous-Time Delay Systems from Step Responses. Appl. Math. Model. 2011, 35, 594–611. [Google Scholar] [CrossRef]
  18. Liu, M.; Wang, Q.G.; Huang, B.; Hang, C.C. Improved Identification of Continuous-Time Delay Processes from Piecewise Step Tests. J. Process Control 2007, 17, 51–57. [Google Scholar] [CrossRef]
  19. Mukhija, P.; Kar, I.N.; Bhatt, R.K.P. Delay-distribution-dependent Robust Stability Analysis of Uncertain Lurie Systems with Time-varying Delay. Acta Autom. Sin. 2012, 38, 1100–1107. [Google Scholar] [CrossRef]
  20. Rasvan, V.; Popescu, D.; Danciu, D. Stability and Asymptotic Behavior of the Systems with Delay and Bounded Nonlinearity. IFAC Proc. Vol. 2009, 8, 178–182. [Google Scholar] [CrossRef]
  21. Kwon, W.H.; Kang, J.W.; Lee, Y.S.; Moon, Y.S. A Simple Receding Horizon Control for State Delayed Systems and its Stability Criterion. J. Process Control 2003, 13, 539–551. [Google Scholar] [CrossRef]
  22. Wang, Z.; Ho, D.W.C. Filtering on Nonlinear Time-Delay Stochastic Systems. Automatica 2003, 39, 101–109. [Google Scholar] [CrossRef]
  23. Ionete, C.; Cela, A.; Gaid, M.B.; Reama, A. Controllability and Observability of Linear Discrete-Time Systems with Network Induced Variable Delay. IFAC Proc. Vol. 2008, 17, 4216–4221. [Google Scholar] [CrossRef]
  24. Witrant, E.; Canudas-De-Wit, C.; Georges, D. Remote Output Stabilization Under Two Channels Time-varying Delays. IFAC Proc. Vol. 2003, 36, 135–140. [Google Scholar] [CrossRef]
  25. Lam, J.; Gao, H.; Wang, C. Stability Analysis for Continuous Systems with Two Additive Time-varying Delay Components. Syst. Control Lett. 2007, 56, 16–24. [Google Scholar] [CrossRef]
  26. Li, Y.; Zhou, S.; Zhang, B. New Delay-Dependent Robust Stability Criteria for Uncertain Neutral Systems with Mixed Delays. In Proceedings of the 33rd Chinese Control Conference, Nanjing, China, 28–30 July 2014; pp. 6114–6118. [Google Scholar]
  27. Chen, W.H.; Zheng, W.X. Delay-Dependent Robust Stabilization for Uncertain Neutral Systems with Distributed Delays. Automatica 2007, 43, 95–104. [Google Scholar] [CrossRef]
  28. Mondie, S.; Lozano, R.; Mazenc, F. Semiglobal Stabilization of Continuous Systems with Bounded Delayed Inputs. IFAC Proc. Vol. 2002, 15, 83–88. [Google Scholar] [CrossRef]
  29. He, Y.; Chen, B.; Wu, C. Improving Transient Performance in Tracking Control for Linear Multivariable Discrete-Time Systems with Input Saturation. Syst. Control Lett. 2007, 56, 25–33. [Google Scholar] [CrossRef]
  30. Corradini, M.L.; Orlando, G. Linear Unstable Plants with Saturating Actuators: Robust Stabilization by a Time Varying Sliding Surface. Automatica 2007, 43, 88–94. [Google Scholar] [CrossRef]
  31. Tarbouriech, S.; Queinnec, I.; Turner, M.C. Anti-Windup Design with Rate and Magnitude Actuator and Sensors Saturation. In Proceedings of the European Control Conference (ECC), Budapest, Hungary, 23–26 August 2009; pp. 330–335. [Google Scholar]
  32. Tarbouriech, S.; Gomes, J.M. Synthesis of Controllers for Continous-Time Delay Systems with Saturating Controls via LMI’s. IEEE Trans. Autom. Control 2000, 45, 105–110. [Google Scholar] [CrossRef]
  33. Niculescu, I.S.; Dion, J.M.; Dugard, L. Robust Stabilization for Uncertain Time-Delay Systems Containing Saturating Actuators. IEEE Trans. Autom. Control 1996, 41, 742–746. [Google Scholar] [CrossRef]
  34. Zheng, F.; Cheng, M.; Gao, W.B. Feedback Stabilization of Linear Systems with Distribuited Delays in State and Control Variables. IEEE Trans. Autom. Control 1994, 39, 1714–1717. [Google Scholar] [CrossRef]
  35. Zheng, F.; Frank, P.M. Finite Dimensional Variable Structure Control Design for Distributed Delay Systems. J. Process Control 2001, 74, 398–408. [Google Scholar] [CrossRef]
  36. Nicola, M. Systems with Saturation in Command—Applications to the Systems with Delay in Command. Ph.D. Thesis, University of Craiova, Craiova, Romania, 2004. [Google Scholar]
  37. Pearson, A.E.; Fiagbedzi, Y.A. An Observer for Time Lag Systems. IEEE Trans. Autom. Control 1989, 34, 775–7777. [Google Scholar] [CrossRef]
  38. Fiagbedzi, Y.A.; Pearson, A.E. A Multistage Reduction Technique for Feedback Stabilizing Distributed Time-Lag Systems. Automatica 1987, 23, 311–326. [Google Scholar] [CrossRef]
  39. Fiagbedzi, Y.A.; Pearson, A.E. Feedback stabilization of linear autonomus time lag systems. IEEE Trans. Autom. Control 1986, 31, 847–855. [Google Scholar] [CrossRef]
  40. Lee, W.; Hedrick, J. Some New Results on Closed-Loop in Stability in the Presence of Control Saturation. J. Process Control 1995, 62, 619–631. [Google Scholar] [CrossRef]
  41. Tarbouriech, S.; Burgat, C. Comments on the Paper “Some New Results on Closed-Loop Stability in the Presence of Control Saturation”. J. Process Control 1997, 68, 1203–1207. [Google Scholar]
  42. Barreau, M.; Tarbouriech, S.; Gouaisbaut, F. Lyapunov Stability Analysis of a Mass–spring System Subject to Friction. Syst. Control Lett. 2021, 150, 104910. [Google Scholar] [CrossRef]
  43. Zhou, B.; Zheng, W.X.; Duan, G.-R. An Improved Treatment of Saturation Nonlinearity with its Application to Control of Systems Subject to Nested Saturation. Automatica 2011, 47, 306–315. [Google Scholar] [CrossRef]
  44. Modir, A.; Tansel, I. Wave Propagation and Structural Health Monitoring Application on Parts Fabricated by Additive Manufacturing. Automation 2021, 2, 173. [Google Scholar] [CrossRef]
  45. Ribas Neto, A.; Fajardo, J.; da Silva, W.H.A.; Gomes, M.K.; de Castro, M.C.F.; Fujiwara, E.; Rohmer, E. Design of Tendon-Actuated Robotic Glove Integrated with Optical Fiber Force Myography Sensor. Automation 2021, 2, 187. [Google Scholar] [CrossRef]
  46. Coito, T.; Firme, B.; Martins, M.S.E.; Vieira, S.M.; Figueiredo, J.; Sousa, J.M.C. Intelligent Sensors for Real-Time Decision-Making. Automation 2021, 2, 62. [Google Scholar] [CrossRef]
  47. Pasqualotto, D.; Tinazzi, F.; Zigliotto, M. Model-Free Current Loop Autotuning for Synchronous Reluctance Motor Drives. Automation 2020, 1, 33. [Google Scholar] [CrossRef]
  48. Minzu, V. Optimal Control Implementation with Terminal Penalty Using Metaheuristic Algorithms. Automation 2020, 1, 48. [Google Scholar] [CrossRef]
  49. Zenteno-Torres, J.; Cieslak, J.; Dávila, J.; Henry, D. Sliding Mode Control with Application to Fault-Tolerant Control: Assessment and Open Problems. Automation 2021, 2, 1. [Google Scholar] [CrossRef]
  50. Pizetta, I.H.B.; Brandão, A.S.; Sarcinelli-Filho, M. UAV Thrust Model Identification Using Spectrogram Analysis. Automation 2021, 2, 141. [Google Scholar] [CrossRef]
  51. Schiffer, J.; Fridman, E.; Ortega, R.; Raisch, J. Stability of a Class of Delayed Port-Hamiltonian Systems with Application to Microgrids with Distributed Rotational and Electronic Generation. Automatica 2016, 74, 71–79. [Google Scholar] [CrossRef]
  52. Schiffer, J.; Fridman, E.; Ortega, R. Stability of a Class of Delayed Port-Hamiltonian Systems with Application to Droop-Controlled Microgrids. In Proceedings of the 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, 15–18 December 2015; pp. 6391–6396. [Google Scholar]
  53. Javadi, A.; Jahed-Motlagh, M.R.; Jalali, A.A. Robust H∞ Control of Stochastic Linear Systems with Input Delay by Predictor Feedback. Trans. Inst. Meas. Control 2010, 40, 2396–2407. [Google Scholar] [CrossRef]
  54. Tan, C.; Yang, L.; Zhang, F.; Zhang, Z.; Wong, W.S. Stabilization of Discrete Time Stochastic System with Input Delay and Control Dependent Noise. Syst. Control Lett. 2019, 123, 62–68. [Google Scholar] [CrossRef]
  55. Yuan, H. Some Properties of Numerical Solutions for Semilinear Stochastic Delay Differential Equations Driven by G-Brownian Motion. Math. Probl. Eng. 2021, 2021, 1835490. [Google Scholar] [CrossRef]
  56. Liu, Z.; Karimi, H.R.; Yu, J. Passivity-Based Robust Sliding Mode Synthesis for uncertain Delayed Stochastic Systems via State Observer. Automatica 2020, 111, 108596. [Google Scholar] [CrossRef]
  57. Zhao, Z.; Ge, W. Traveling Wave Solutions for Schrödinger Equation with Distributed Delay. Appl. Math. Model. 2011, 35, 675–687. [Google Scholar] [CrossRef]
  58. Wang, B.; Jahanshahi, H.; Volos, C.; Bekiros, S.; Khan, M.A.; Agarwal, P.; Aly, A.A. A New RBF Neural Network-Based Fault-Tolerant Active Control for Fractional Time-Delayed Systems. Electronics 2021, 10, 1501. [Google Scholar] [CrossRef]
  59. Effati, S.; Ranjbar, M.; Wong, W.S. A Novel Recurrent Nonlinear Neural Network for Solving Quadratic Programming Problems. Appl. Math. Model. 2011, 35, 1688–1695. [Google Scholar] [CrossRef]
  60. Ensari, T.; Arik, S. Global Stability Analysis of Neural Networks with Multiple Time-varying Delays. IEEE Trans. Autom. Control 2005, 50, 1781–1785. [Google Scholar] [CrossRef]
  61. Benyazid, Y.; Nouri, A.S. Guaranteed Cost Sliding Mode Control For Discrete Uncertain T-S Fuzzy Systems With Time Delays. In Proceedings of the 18th International Multi-Conference on Systems, Signals & Devices (SSD), Monastir, Tunisia, 22–25 March 2021; pp. 1127–1135. [Google Scholar]
  62. Habbi, H.; Kidouche, M.; Zelmat, M. Data-driven Fuzzy Models for Nonlinear Identification of a Complex Heat Exchanger. Appl. Math. Model. 2011, 35, 1470–1482. [Google Scholar] [CrossRef]
  63. Gopalakrishnan, A.; Kaisare, N.S.; Narasimhan, S. Incorporating Delayed and Infrequent Measurements in Extended Kalman Filter Based Nonlinear State Estimation. J. Process Control 2011, 21, 119–129. [Google Scholar] [CrossRef]
  64. Mártona, L.; Szederkényib, G.; Hangos, K.M. Distributed Control of Interconnected Chemical Reaction Networks with Delay. J. Process Control 2018, 71, 52–62. [Google Scholar] [CrossRef]
  65. Herrera, M.; Camacho, O.; Leiva, H.; Smith, C. An Approach of Dynamic Sliding Mode Control for Chemical Processes. J. Process Control 2020, 85, 112–120. [Google Scholar] [CrossRef]
  66. Baspinar, C. Disturbance Observers for Linear Closed Loop Systems. In Proceedings of the 18th International Multi-Conference on Systems, Signals & Devices (SSD), Monastir, Tunisia, 22–25 March 2021; pp. 359–364. [Google Scholar]
  67. Shen, P.; Li, H.-X. A Multiple Periodic Disturbance Rejection Control for Process with Long Dead-time. J. Process Control 2014, 24, 1394–1401. [Google Scholar] [CrossRef]
  68. Pawlowski, A.; Rodríguez, C.; Guzmán, J.L.; Berenguel, M.; Dormido, S. Measurable Disturbances Compensation: Analysis and Tuning of Feedforward Techniques for Dead-Time Processes. Processes 2016, 4, 12. [Google Scholar] [CrossRef]
  69. Alsogkier, I.; Bohn, C. Rejection and Compensation of Periodic Disturbance in Control Systems. Int. J. Eng. Innov. Technol. (IJEIT) 2017, 4, 44–54. [Google Scholar]
  70. Kaneko, S.; Kanagawa, E. Indirect Periodic Disturbance Compensator using Feedforward Control for Image Noises. Soc. Imaging Sci. Technol. 2017, 143–146. [Google Scholar] [CrossRef]
  71. Dong, Y.; Hao, J.; Si, Y. Finite-Time Bounded Observer-Based Control for Quasi-One-Sided Lipschitz Nonlinear Systems with Time-varying Delay. J. Control Eng. Appl. Inform. 2021, 23, 3–12. [Google Scholar]
  72. Yang, Y.; Lin, C.; Chen, B. Nonlinear H∞ Observer Design for One-Sided Lipschitz Discrete-Time Singular Systems with Time-varying Delay. Int. J. Robust Nonlinear Control 2019, 29, 252–267. [Google Scholar] [CrossRef]
  73. Gasmia, N.; Boutayeba, M.; Thabetb, A.; Aoun, M. Observer-Based Stabilization of Nonlinear Discrete-Time Systems using Sliding Window of Delayed Measurements. In Stability, Control and Application of Time-Delay Systems; Butterworth-Heinemann: Oxford, UK, 2019; pp. 367–386. [Google Scholar]
  74. Ahmed, S.; Huang, B.; Shah, S.L. Parameter and Delay Estimation of Continuous-time Models Using a Linear Filter. J. Process Control 2006, 16, 323–331. [Google Scholar] [CrossRef]
  75. Xingjian, F.; Xinyao, G. Fault Estimation and Robust Fault-tolerant Control for Singular Markov Switching Systems with Mixed Time-Delays and UAV Applications. J. Control Eng. Appl. Inform. 2021, 23, 53–66. [Google Scholar]
  76. Choo, Y. An Elementary Proof of the Jury Test for Real Polynomials. Automatica 2011, 47, 249–252. [Google Scholar] [CrossRef]
  77. Zhu, Y.; Kritic, M.; Su, H. PDE Output Feedback Control of LTI Systems with Uncertain Multi-Input Delays, Plant Parameters and ODE State. Syst. Control Lett. 2019, 123, 1–7. [Google Scholar] [CrossRef]
  78. Garcia, P.; Albertos, P. Dead-time-compensator for Unstable MIMO Systems with Multiple Time Delays. J. Process Control 2010, 20, 877–884. [Google Scholar] [CrossRef]
  79. Jevtovica, B.T.; Matausek, M. R PID Controller Design of TITO System Based on Ideal Decoupler. J. Process Control 2010, 20, 869–876. [Google Scholar] [CrossRef]
  80. Zhang, Y.; Zhang, C.; Zheng, B. Analysis of Bifurcation in a System of n Coupled Oscillators with Delays. Appl. Math. Model. 2011, 35, 903–914. [Google Scholar] [CrossRef]
  81. Zheng, M.; Yang, S.; Li, L. F Stabilisation of Dynamic Positioning Ships Based on Sampled-data Control. J. Control Eng. Appl. Inform. 2021, 23, 22–31. [Google Scholar]
  82. Stojic, D. Modified Single-Phase Adaptive Transfer Delay Based Phase-Locked Loop with DC Offset Compensation. J. Control Eng. Appl. Inform. 2021, 23, 23–31. [Google Scholar]
  83. Li, B.; Rui, X.; Tian, W.; Cui, G. Neural-Network-Predictor-Based Control for an Uncertain Multiple Launch Rocket System with Actuator Delay. Mech. Syst. Signal Process. 2020, 141, 106489. [Google Scholar] [CrossRef]
  84. Wu, W.; Luo, J.-J. Nonlinear Feedback Control of a Preheater-Integrated Molten Carbonate Fuel Cell System. J. Process Control 2010, 20, 860–868. [Google Scholar] [CrossRef]
  85. Amer, Y.A.; EL-Sayed, A.T. On Controlling the Nonlinear Vibrations of a Rectangular Thin Plate with Time Delay Feedback. J. Control Eng. Appl. Inform. 2021, 23, 40–52. [Google Scholar]
  86. Mazenc, F.; Malisoff, M. Stabilization of a Chemostat Model with Haldane Growth Functions and a Delay in the Measurements. Automatica 2010, 46, 1428–1436. [Google Scholar] [CrossRef]
  87. Reis, T.; Willems, J.C.; Wong, W.S. A Balancing Approach to the Realization of Systems with Internal Passivity and Reciprocity. Syst. Control Lett. 2019, 60, 69–74. [Google Scholar] [CrossRef]
  88. Tufa, L.D.; Ramasamy, M.; Shuhaimi, M. Improved Method for Development of Parsimonious Orthonormal Basis Filter Models. J. Process Control 2011, 21, 35–45. [Google Scholar] [CrossRef]
  89. Gao, J.; Zhang, D. H∞ Fault Detection for Networked Control Systems with Random Delay via Delta Operator. In Proceedings of the 11th Asian Control Conference (ASCC), Gold Coast, Australia, 17–20 December 2017; pp. 1807–1812. [Google Scholar]
  90. Polyakov, A.; Poznyak, A.; Richard, J. Robust Output Stabilization of Time-Varying Input Delay Systems Using Attractive Ellipsoid Method. In Proceedings of the 52nd IEEE Conference on Decision and Control, Firenze, Italy, 10–13 December 2013; pp. 934–939. [Google Scholar]
  91. Prodic, A.; Maksimovic, D. Design of a Digital PID Regulator Based on Look-Up Tables for Control of High-Frequency DC-DC Converters. In Proceedings of the IEEE Workshop on Computers in Power Electronics, Mayaguez, PR, USA, 3–4 June 2002; pp. 18–22. [Google Scholar]
  92. Khalil, A.; Elkawafi, S.; Elgaiyar, A.I.; Wang, J. Delay-Dependent Stability of DC Microgrid with Time-Varying Delay. In Proceedings of the 22nd International Conference on Automation and Computing (ICAC), Colchester, UK, 7–8 September 2016; pp. 360–365. [Google Scholar]
  93. Elkawafi, S.; Khalil, A.; Elgaiyar, A.I.; Wang, J. Delay-Dependent Stability of LFC in Microgrid with Varying Time Delays. In Proceedings of the 22nd International Conference on Automation and Computing (ICAC), Colchester, UK, 7–8 September 2016; pp. 354–359. [Google Scholar]
  94. Rasvan, V.; Danciu, D.; Popescu, D. Time Delay and Wave Propagation in Controlling Systems of Conservation Laws. In Proceedings of the 21st International Conference on System Theory, Control and Computing (ICSTCC), Sinaia, Romania, 19–21 October 2017; pp. 419–423. [Google Scholar]
  95. Baleanu, D.; Ranjbar, A.; Sadatir, S.J.; Delavari, H.; Abdeljawad, T.; Gejji, V. Lyapunov-Krasovksi Stability Theorem for Fractional Systems with Delay. Rom. J. Phys. 2011, 56, 636–643. [Google Scholar]
  96. Wu, M.; He, Y.; She, J.-H. Stability Analysis and Robust Control of Time-Delay Systems; Science Press: Beijing, China, 2010; pp. 41–330. [Google Scholar]
  97. Abdollah, A.; Mehdi, F. Stabilizing controller design for nonlinear fractional order systems with time varying delays. J. Syst. Eng. Electron. 2021, 32, 681–689. [Google Scholar] [CrossRef]
  98. Shen, T.; Petersen, I.R. An Ultimate State Bound for a Class of Linear Systems with Delay. Automatica 2018, 87, 447–449. [Google Scholar] [CrossRef]
  99. Gyurkovics, E.; Takács, T. Comparison of Some Bounding Inequalities Applied in Stability Analysis of Time-Delay Systems. Syst. Control Lett. 2019, 123, 40–46. [Google Scholar] [CrossRef]
  100. Ko, K.S.; Lee, W.I.; Park, P.; Sung, D.K. Delays-Dependent Region Partitioning Approach for Stability Criterion of Linear Systems with Multiple Time-varying Delays. Automatica 2018, 87, 389–394. [Google Scholar] [CrossRef]
  101. Wu, H. Adaptive stabilizing state feedback controllers of uncertain dynamical systems with multiple time delays. IEEE Trans. Autom. Control 2000, 45, 1697–1701. [Google Scholar] [CrossRef]
  102. Liang, Z.; Liu, Q. Design of Stabilizing Controllers of Upper Triangular Nonlinear Time-Delay Systems. Syst. Control Lett. 2015, 75, 1–7. [Google Scholar] [CrossRef]
  103. Kamalapurkar, R.; Fischer, N.; Obuz, S.; Dixon, W.E. Time-varying Input and State Delay Compensation for Uncertain Nonlinear Systems. IEEE Trans. Autom. Control 2016, 61, 834–839. [Google Scholar] [CrossRef]
  104. Shen, T.; Wang, X.; Yuan, Z. Stability Analysis for a Class of Digital Filters with Single Saturation Nonlinearity. Automatica 2010, 46, 2112–2115. [Google Scholar] [CrossRef]
  105. Kleptsyna, M.L.; Le Breton, A.; Viot, M. Risk Sensitive and LEG Filtering Problems are Not Equivalent. Syst. Control Lett. 2010, 59, 484–490. [Google Scholar] [CrossRef]
  106. Gao, H.; Meng, X.; Chen, T. A Parameter-Dependent Approach to Robust H∞ Filtering for Time-Delay Systems. IEEE Trans. Autom. Control 2008, 53, 2420–2425. [Google Scholar] [CrossRef]
  107. Lu, L.; Albertos, P.; García, P. Stability Analysis of Linear Systems with Time-varying State and Measurement Delays. In Proceedings of the 11th World Congress on Intelligent Control and Automation, Shenyang, China, 29 June–4 July 2014; pp. 4692–4697. [Google Scholar]
  108. Al-Mohy, A.H.; Higham, N.J. A New Scaling and Squaring Algorithm for the Matrix Exponential. SIAM J. Matrix Anal. Appl. 2009, 31, 970–989. [Google Scholar] [CrossRef]
  109. Matlab/Simulink User Guide. Available online: https://www.mathworks.com/help/pdf_doc/simulink/sl_using.pdf (accessed on 11 January 2021).
  110. Yang, X.S. Nature-Inspired Metaheuristic Algorithms, 2nd ed.; Luniver Press: Beckington, UK, 2010. [Google Scholar]
Figure 1. Evolution of the states without input saturation.
Figure 1. Evolution of the states without input saturation.
Automation 03 00003 g001
Figure 2. Evolution of the states with | u | 0.1 .
Figure 2. Evolution of the states with | u | 0.1 .
Automation 03 00003 g002
Figure 3. Evolution of the states with | u | 0.01 .
Figure 3. Evolution of the states with | u | 0.01 .
Automation 03 00003 g003
Figure 4. Evolution of the states without input saturation.
Figure 4. Evolution of the states without input saturation.
Automation 03 00003 g004
Figure 5. Evolution of the states with | u | 0.5 .
Figure 5. Evolution of the states with | u | 0.5 .
Automation 03 00003 g005
Figure 6. Evolution of the states with | u | 0.6271 .
Figure 6. Evolution of the states with | u | 0.6271 .
Automation 03 00003 g006
Figure 7. Evolution of the states without input saturation.
Figure 7. Evolution of the states without input saturation.
Automation 03 00003 g007
Figure 8. Evolution of the states with | u | 0.06 .
Figure 8. Evolution of the states with | u | 0.06 .
Automation 03 00003 g008
Figure 9. Evolution of the states with | u | 0.01 .
Figure 9. Evolution of the states with | u | 0.01 .
Automation 03 00003 g009
Figure 10. Evolution of the states without input saturation.
Figure 10. Evolution of the states without input saturation.
Automation 03 00003 g010
Figure 11. Evolution of the states with | u | 0.8 .
Figure 11. Evolution of the states with | u | 0.8 .
Automation 03 00003 g011
Figure 12. Evolution of the states with | u | 0.01 .
Figure 12. Evolution of the states with | u | 0.01 .
Automation 03 00003 g012
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Nicola, M. The Stability of Systems with Command Saturation, Command Delay, and State Delay. Automation 2022, 3, 47-83. https://doi.org/10.3390/automation3010003

AMA Style

Nicola M. The Stability of Systems with Command Saturation, Command Delay, and State Delay. Automation. 2022; 3(1):47-83. https://doi.org/10.3390/automation3010003

Chicago/Turabian Style

Nicola, Marcel. 2022. "The Stability of Systems with Command Saturation, Command Delay, and State Delay" Automation 3, no. 1: 47-83. https://doi.org/10.3390/automation3010003

APA Style

Nicola, M. (2022). The Stability of Systems with Command Saturation, Command Delay, and State Delay. Automation, 3(1), 47-83. https://doi.org/10.3390/automation3010003

Article Metrics

Back to TopTop