Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Next Article in Journal
Electro-Optical Characteristics of Quasi-Homogeneous Cell in Twisted Nematic Mode
Previous Article in Journal
On Cohesive Fuzzy Sets, Operations and Properties with Applications in Electromagnetic Signals and Solar Activities
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Robust Stabilization for Uncertain Non-Minimum Phase Switched Nonlinear System under Arbitrary Switchings

1
Laboratory of Advanced Systems, Polytechnic School of Tunisia (EPT), B.P. 743, Marsa 2078, Tunisia
2
Physics Department, Faculty of Applied Science, Umm AL-Qura University, Makkah P.O. Box 715, Saudi Arabia
*
Author to whom correspondence should be addressed.
Symmetry 2023, 15(3), 596; https://doi.org/10.3390/sym15030596
Submission received: 4 February 2023 / Revised: 17 February 2023 / Accepted: 21 February 2023 / Published: 25 February 2023

Abstract

:
This paper addresses the problem of stabilization of non-minimum phase switched nonlinear systems where the internal dynamics with symmetries or non-symmetries of each mode may be unstable. The authors initially build a stabilizing Lyapunov controller for each mode in order to stabilize its own unstable internal dynamics. The proposed approach is based on the exact input-output feedback linearization technique and the Lyapunov stability theory. The stability results for non-minimum phase switched nonlinear systems with arbitrary switching rules are then obtained using generalized Gronwall–Bellman inequalities. Finally, numerical examples are provided to demonstrate the efficacy of the achieved results.

1. Introduction

Due to the importance of switched nonlinear systems (SNLSs) in both theory and practice, they have attracted a lot of attention recently [1,2,3,4,5,6,7,8,9]. They are composed of several modes, each with its own subsystem and a switching signal that governs the switching behaviors. Switched systems correctly depict the structural hybrid aspects of today’s practical systems. Many physical systems have been employed as typical applications in practice, including electrical circuits [10,11], power electronics [12], PT symmetric devices [13,14], referring to Parity-Time symmetry, the car industry [15], network control [16,17], chemical processes [18,19], etc. Switched systems, on the other hand, have sparked a great deal of interest in the field of control due to its practical and theoretical applications.
In the last two decades, switching system stability has been an important basic research challenge. This task is exceedingly complicated to resolve because of the hybrid nature of how switched systems operate. Several methods, including the multiple Lyapunov function technique [20,21,22,23,24], the common Lyapunov function method, the switched Lyapunov function method, the mean residence time approach, and variants thereof, have been proposed to address stability and robust stabilization issues in SNLSs [25,26]. However, the problem of unstable subsystems remains difficult and requires further investigation. In this case, there are two aspects to consider: i. create a suitable switching law to stabilize a switched system in the absence of control input [25] or ii. create a controller as well as a switching law to stabilize a switched control system [25].
Despite the various results reported by previous studies, little effort has been made to stabilize nonlinear systems where there are unstable internal dynamics with symmetries or non-symmetries. Nonlinear systems with non-minimum phase switching nonlinear modes, in which each nonlinear mode might have non-minimum phase, have also garnered considerable attention. The study of the stability of non-minimum phase SNLSs applied to multi-agent systems was recommended in [27]. In previous work [28], we have investigated a control approach based on multi-diffeomorphism for the stabilization of a class of non-minimum phase SNLSs. Using an approximated non-minimum phase model, Oishi et al. [29] explored the output tracking of non-minimum phase switched nonlinear systems. In reference [30], H∞ control has been introduced for a class of non-minimum phase cascade SNLSs. As a result, [31] looks at the challenge of resilient stabilization in a type of SNLS with unknown dynamics, where every subsystem illustrates a non-minimum phase.
We are motivated to investigate the stability of a nonlinear system with uncertainty and non-minimum phase switching when switching is arbitrary. This paper’s significant contributions are as follows: (1) the creation of a special controller in each mode to make up for its own unstable internal dynamics, resulting in the autonomous stabilization of each mode. Consequently, each subsystem’s controller has excellent performance and is resistant to unpredictability. (2) Using modified Gronwall–Bellman inequalities, we provide stability results for the non-minimum phase switched nonlinear system with uncertainty under arbitrary switching procedures [32]. The remainder of the work is arranged as follow. Section 2 includes some preliminary background and problem formulation. Section 3 includes the essential results of our proposed work. Some necessary requirements to guarantee the stability of a non-minimum phase switched nonlinear system with uncertainty under arbitrary switching are proposed in Section 4. Simulation results concerning a non-minimum phase SNLS example is provided to show the effectiveness of the proposed technique are found in Section 5.

2. Background and Problem Formulation

Let’s look at the following SNLS with uncertain control dynamics:
{ x ˙ = f σ ( x ( t ) , θ ) + g σ ( x ( t ) , θ ) u σ y = h ( x )
where x ( t ) n are accessible states. Let M = {1, 2, …, m}, with m standing for the number modes, and σ(t): [0,∞) → M denotes the switching signal. We suppose that σ(t) is a continuous piecewise constant function. i Μ , u i is the input; f i ( . ) and g i ( . ) are smooth functions; the function h ( x ) represents the output signal, and θ denotes uncertainties of the parameters of plant.
Assume that for any mode i Μ = { 1 , 2 , , m } , we could discover a function yi and a partition x = [ ξ i T η i T ] T where ξ i r , η i ( n r ) . Consequently, there exists a set of diffeomorphisms: T i ( x ) = [ h ( x ) L f h ( x ) L f r h ( x ) χ 1 , i ( x ) χ ( n r ) , i ( x ) ] T , where L f j h ( x ) 0 , j 0 , denotes the Lie derivative of h ( x ) with respect f ( x ) , and L f j h ( x ) = f ( x ) x h ( x ) and χ 1 , i ( x ) , χ 2 , i ( x ) , , χ ( n r ) , i ( x ) are nonlinear scalar functions of x which can be explicit by the following relation:
{ L g χ j , i ( x ) = 0 j = 1 , 2 , , n r i = 1 , 2 , , m
As a result, the System (1) has the following normal form [31,32,33].
{ { ξ ˙ 1 = ξ 2 ξ ˙ r = a i ( ξ , η ) + ϕ i ( ξ , η , θ ) + b i ( ξ , η ) u i η ˙ 1 = Ψ 1 , i ( ξ , η ) η ˙ ( n r ) = Ψ ( n r ) , i ( ξ , η ) y = ξ 1
where a i ( ξ , η , θ ) 0 , b i ( ξ , η ) 0 , ξ r is the vector of input-output signals; η n r denotes the vector of internal states; θ denotes uncertainties of the parameters of system; and ϕ i ( ξ , η , θ ) stands for the nonlinear perturbation of the system.
The system equation is obtained by rewriting the normal form (3) into System (4):
{ ξ ˙ = A ¯ r ξ + ϕ ¯ i ( ξ , η , θ ) + b ¯ i ( ξ , η ) u i η ˙ = Ψ j , i ( ξ , η ) i Μ = { 1 , 2 , , m }
where
A ¯ r ( r × r ) = [ 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 ] ,
ϕ ¯ i ( ξ , η , θ ) ( r × 1 ) = [ 0 0 ϕ i ( ξ , η , θ ) ] T
and
b ¯ i ( ξ , η ) ( r × 1 ) = [ 0 0 b i ( ξ , η ) ] T
where m is the number of subsystems. i M , u i is the input; η ˙ = Ψ j , i ( 0 , η ) is the unstable zero dynamics.
The mode i will be non-minimum phase if the zero dynamics η ˙ = Ψ j , i ( 0 , η ) are unstable. The major purpose of this project is to develop robust controllers capable of global system stabilization (1).

3. Main Results

The purpose of this research is to develop robust controllers capable of globally stabilizing the non-minimum phase switched nonlinear system (1), which has unstable internal dynamics in each mode. Our objective at this stage is to develop a control law ui that stabilizes the input–output dynamics of various modes. To do this, we must first recast the internal dynamics by decoupling their linear and nonlinear components:
η ˙ = Ψ j , i ( ξ , η ) = A ¯ ξ i ξ + A ¯ η i η + ϑ i ( ξ , η )
The closed-loop system (4) is thus as follows:
[ ξ ˙ η ˙ ] = A ˜ i [ ξ η ] + B v i + [ 0 r ϑ i ( ξ , η ) ]
with
A ˜ i = [ A ¯ r 0 r A ¯ ξ i A ¯ η i ]
and
B = [ 0 ( r 1 ) 1 0 ( n r ) ]
The dynamic feedback synthesis fulfilling the precise input–output feedback linearization control aim is provided by:
u i = ϕ i ( ξ , η , θ ) b i ( ξ , η ) + v i b i ( ξ , η )
For each mode iM, we propose the following control technique for the auxiliary input:
v i = K i [ ξ η ] + v N L i ( ξ , η , θ )
where K i = [ k 1 i k 2 i k n i ] is a row vector of constant gains, and v N L i is a nonlinear control law.
By combining (6) and (8), we obtain
[ ξ ˙ η ˙ ] = ( A ˜ i B K i ) [ ξ η ] + [ 0 r 1 v N L i ( ξ , η , θ ) ϑ i ( ξ , η ) ]
Given the equation’s state space description of the system (9). If K i is selected in such a way that ( A ˜ i B K i ) is a Hurwitz polynomial, then Q i > 0 , P i > 0 such that:
( A ˜ i B K i ) T P i + P i ( A ˜ i B K i ) = Q i
Let V i ( ξ , η ) be a Lyapunov candidate function for each mode i in closed-loop
V i ( ξ , η ) = [ ξ 1 ξ 2 ξ r η 1 , i η ( n r ) , i ] T P i [ ξ 1 ξ 2 ξ r η 1 , i η ( n r ) , i ]
V i ( ξ , η ) is positive definite on n . Its derivative is given by
V ˙ i ( ξ , η ) = [ ξ η ] T Q i [ ξ η ] + 2 [ 0 ( r 1 ) v N L i ϑ i ( ξ , η ) ] T P i [ ξ η ]
We propose to choose v N L i which satisfies
[ 0 ( r 1 ) v N L i ϑ i ( ξ , η ) ] T P i [ ξ η ] = 0
i.e.
v N L i ( ξ , η , θ ) = k = r + 1 n ϑ k i ( ξ , η ) P k l [ ξ η ] P r l [ ξ η ]
We can show that v N L i 0 when ( ξ , η ) 0 .
Note that P 1 l , P 2 l , , P n l represent the row vectors of the matrix P l , and
ϑ i ( ξ , η ) = [ ϑ 1 i ( ξ , η ) ϑ ( n r ) i ( ξ , η ) ] T
we have then
V ˙ i ( ξ , η ) = [ ξ η ] T Q i [ ξ η ] < 0 , ( ξ , η ) n
The system (4) has the same normal form as the equation system (17):
x ˙ = A i x ( t ) + F i ( x ( t ) , θ )
where A i = ( A ˜ i B K i ) and F i ( x ( t ) , θ ) = [ 0 r 1 v N L i ( ξ , η , θ ) ϑ i ( ξ , η ) ] .

4. Stability Analysis

In this section, we explain our primary discoveries on the stabilization of nonlinear systems with unstable internal dynamics that are non-minimum phase switched. The purpose of this study is to look at the asymptotic behavior of a global switched nonlinear system based on the Gronwall–Bellman inequality.
The developed in this context is based on the use of the assumptions, lemmas, and theorems for non-minimum phase switched nonlinear systems listed below (17).
Assumption 1.
The matrices  ( A i , i Λ ) , for the non-minimum phase switched nonlinear system (17), are Hurwitz. Therefore, there exist two positive constants  Μ and λ such that:
e A i t Μ e λ t   for   i Λ
Assumption 2.
It is required for the non-minimum phase switched nonlinear system (17) that:
A i A j = A j A i   for   i , j Λ
Assumption 3.
The function F i ( x ( t ) , θ ) fulfills the following conditions for the non-minimum phase switched nonlinear system (17):
F i ( x ( t ) , θ ) ε 1 x + ε 2 x p + α ( t )
where p 0 , ε i i = 1 , 2 , and the function α ( t ) satisfies
0 + e λ t α ( t ) d t < +
The following lemmas [32] are quite important in proving our key conclusions.
Lemma 1.
Let z ( t ) , F ( t ) and ( t ) be non-negative functions satisfying the inequality
z ( t ) k + a t [ F ( s ) z ( s ) + ( s ) z n ( s ) ] d s   for   t I = [ a b ]
where k 0 and n > 1 are constants. If the inequality below holds,
k ( 1 n ) ( n 1 ) + a t ( s ) e a s ( n 1 ) F ( τ ) d τ d s > 0
then, for t I
z ( t ) e a t F ( s ) d s ( k 1 n ( n 1 ) a t ( s ) e a s ( n 1 ) F ( τ ) d τ d s ) 1 n 1
Lemma 2.
Suppose that z ( t ) , f ( t ) and ( t ) are nonnegative functions accomplishing the inequality
z ( t ) k + a t [ F ( s ) z ( s ) + ( s ) z n ( s ) ] d s   for   t I = [ a b ]
where k 0 and 0 n < 1 are constants. Then for t I
z ( t ) e a t F ( s ) d s ( k 1 n ( 1 n ) a t ( s ) e a s ( 1 n ) F ( τ ) d τ d s ) 1 n 1
Each mode i’s stability analysis is presented here. Based on the value of p, we may now provide the primary findings. There are two possibilities.
For case 1: p > 1, we have the following theorem:
Theorem 1.
Assume that assumptions 1, 2, and 3 hold for  p > 0 and λ > Μ N ε 1 and that the following inequality is verified
x ( 0 ) < ( λ Μ N ε 1 Μ N p ε 2 ) 1 1 p 0 e λ t α ( t ) d t
As a result, the non-minimum phase switched nonlinear system (17) with uncertainty, where any mode may be non-minimum phase, is exponentially stable.
Moreover
x ( t ) e ( λ Μ N ε 1 ) t ( Μ N ( 1 p ) ( x ( 0 ) + 0 e λ s α ( s ) d s ) 1 p ( Μ N ε 2 λ Μ N ε 1 ) ) ( 1 p 1 )
Proof (Theorem 1).
Let σ ( t ) = i k , for t [ t k , t k + 1 ) . From the non-minimum phase switched nonlinear system (17) we have
x ˙ = A i k x ( t ) + F i k ( x ( t ) , θ ) , t [ t k , t k + 1 )
For t [ t k , t k + 1 ) which implies that
x ( t ) = e A i k ( t t k ) x ( t k ) + t k t e A i k ( t s ) F i k ( s , x ( s ) ) d s
Thus, we have
{ x ( t 1 ) = e A i 0 ( t t 1 ) x ( t 0 ) + 0 t 1 e A i 0 ( t 1 s ) F i 0 ( s , x ( s ) ) d s x ( t 0 ) = x ( 0 )
and
x ( t 2 ) = e A i 1 ( t 2 t 1 ) x ( t 1 ) + t 1 t 2 e A i 1 ( t 2 s ) F i 1 ( s , x ( s ) ) d s = e A i 1 ( t 2 t 1 ) e A i 0 t 1 x ( 0 ) + 0 t 1 e A i 1 ( t 2 t 1 ) e A i 0 ( t 1 s ) F i 0 ( s , x ( s ) ) d s + t 1 t 2 e A i 1 ( t 2 s ) F i 1 ( s , x ( s ) ) d s
Similarly, we can obtain
x ( t k ) = e A i k 1 ( t k t k 1 ) e A i 1 ( t 2 t 1 ) e A i 0 ( t 1 ) x ( 0 ) + 0 t 1 e A i k 1 ( t k t k 1 ) e A i 1 ( t 2 t 1 ) e A i 0 ( t 1 s ) F i 0 ( s , x ( s ) ) d s + t 1 t 2 e A i k 1 ( t k t k 1 ) e A i 1 ( t 2 s ) F i 1 ( s , x ( s ) ) d s + + t k 1 t k e A i k 1 ( t k s ) F i k 1 ( s , x ( s ) ) d s
Let’s investigate the behavior of the system (30) for t [ t k , t k + 1 ) , we get:
x ( t k ) = e A i k ( t t k ) e A i k 1 ( t k t k 1 ) e A i 1 ( t 2 t 1 ) e A i 0 ( t 1 ) x ( 0 ) + 0 t 1 e A i k ( t t k ) e A i k 1 ( t k t k 1 ) e A i 1 ( t 2 t 1 ) e A i 0 ( t 1 s ) F i 0 ( s , x ( s ) ) d s + t 1 t 2 e A i k ( t t k ) e A i k 1 ( t k t k 1 ) e A i 1 ( t 2 s ) F i 1 ( s , x ( s ) ) d s + + t k 1 t k e A i k ( t t k ) e A i k 1 ( t k s ) F i k 1 ( s , x ( s ) ) d s + t k t e A i k ( t s ) F i k ( s , x ( s ) ) d s
During the time interval [ 0 , t ) , let’s consider δ i ( 0 , t ) the time for which the ith system is activated.
By taking Assumption 2 into account, we have:
x ( t k ) = e A 1 δ 1 ( 0 , t ) e A 2 δ 2 ( 0 , t ) e A N δ N ( 0 , t ) e A i 0 ( t 1 ) x ( 0 ) + 0 t 1 e A 1 δ 1 ( s , t ) e A 2 δ 2 ( s , t ) e A N δ N ( s , t ) F i 0 ( s , x ( s ) ) d s + t 1 t 2 e A 1 δ 1 ( s , t ) e A 2 δ 2 ( s , t ) e A N δ N ( s , t ) F i 1 ( s , x ( s ) ) d s + + t k 1 t k e A 1 δ 1 ( s , t ) e A 2 δ 2 ( s , t ) F i k 1 ( s , x ( s ) ) d s + t k t e A i k ( t s ) F i k ( s , x ( s ) ) d s
By respecting Assumptions 1 and 3, we conclude that:
x ( t ) Μ N ( e λ t x ( 0 ) + 0 t 1 e λ ( t s ) F i 0 ( s , x ( s ) ) d s + t 1 t 2 e λ ( t s ) F i 1 ( s , x ( s ) ) d s + + t k 1 t k e λ ( t s ) F i k 1 ( s , x ( s ) ) d s + t k t e λ ( t s ) F i k ( s , x ( s ) ) d s ) x ( t ) Μ N ( e λ t x ( 0 ) + ε 1 0 t e λ ( t s ) x ( s ) d s + ε 2 0 t e λ ( t s ) x ( s ) p d s + 0 t e λ ( t s ) α ( s ) d s
Letting z ( t ) = e λ t x ( t ) , we get
z ( t ) Μ N ( x ( 0 ) + 0 e λ s α ( s ) d s ) + Μ N ε 1 0 t z ( s ) d s + Μ N ε 2 0 t e λ ( 1 p ) s z p ( s ) d s
By using the condition (27) of Theorem 1, we get the following inequality:
Μ N ( 1 p ) ( x ( 0 ) + 0 e λ s α ( s ) d s ) 1 p ( p 1 ) Μ N ε 2 0 t e λ ( 1 p ) s 0 s e λ ( p 1 ) s Μ N ε 1 d δ d s = Μ N ( 1 p ) ( x ( 0 ) + 0 e λ s α ( s ) d s ) 1 p Μ N ε 2 λ Μ N ε 1 ( 1 e ( p 1 ) ( λ Μ N ε 1 ) t d δ ) Μ N ( 1 p ) ( x ( 0 ) + 0 e λ s α ( s ) d s ) 1 p Μ N ε 2 λ Μ N ε 1 > 0
By Lemma 1, we have
z ( t ) e Μ N ε 1 t ( Μ N ( 1 p ) ( x ( 0 ) + 0 e λ s α ( s ) d s ) 1 p Μ N ε 2 λ Μ N ε 1 ) ( 1 p 1 )
Similarly, that is
x ( t ) e ( λ Μ N ε 1 ) t ( Μ N ( 1 p ) ( x ( 0 ) + 0 e λ s α ( s ) d s ) 1 p Μ N ε 2 λ Μ N ε 1 ) ( 1 p 1 )
The proof of Theorem 1 is complete.□
For case 2: 0 p < 1 , we have the following theorem
Theorem 2.
Assume that hypotheses 1, 2 and 3 hold:  0 p < 1 and λ > Μ N ε 1 .
Then, for each x ( t ) of the non-minimum phase switched nonlinear system (17), we obtain
x ( t ) ( Μ N ε 2 λ Μ N ε 1 + Μ N ( 1 p ) ( x ( 0 ) + 0 e λ s α ( s ) d s ) 1 p e ( 1 p ) ( λ Μ N ε 1 ) t ) 1 1 p
Proof (Theorem 2).
Similarly to the proof of Theorem 1, we may deduce that
z ( t ) Μ N ( x ( 0 ) + 0 e λ s α ( s ) d s ) + Μ N ε 1 0 t z ( s ) d s + Μ N ε 2 0 t e λ ( 1 p ) s z p ( s ) d s
For all t ≥ 0. Hence, by Lemma 2, we get
z ( t ) e ( Μ N ε 1 ) t ( Μ N ( 1 p ) ( x ( 0 ) + 0 e λ s α ( s ) d s ) 1 p + Μ N ε 2 λ Μ N ε 1 ( e ( 1 p ) ( λ Μ N ε 1 ) t 1 ) ) 1 1 p
That is,
x ( t ) ( Μ N ( 1 p ) ( x ( 0 ) + 0 e λ s α ( s ) d s ) 1 p ( e ( 1 p ) ( λ Μ N ε 1 ) t 1 ) + Μ N ε 2 λ Μ N ε 1 ( 1 e ( 1 p ) ( λ Μ N ε 1 ) t ) ) 1 1 p
The proof of Theorem 2 is complete.□
Remark. 
In this work we can apply Filippov’s theory [34,35] to generate a trajectory that has ensured the best stabilization using the concept of multi-diffeomorphism. This contribution makes it possible to work out a switching strategy in such a way that the recourse to the concept of multi-diffeomorphism makes it possible to guarantee an improvement of the transient state compared to a linearization by feedback based on a single diffeomorphism. The formalism introduced by Filippov in [36] is a powerful tool to define a vector field on the sliding surface and to handle discontinuities. This has been applied in other fields, e.g., in power electronics [37] and energy harvesters [38].

5. Numerical Examples

In this section, two examples are presented to illustrate the effectiveness of the proposed

5.1. Example 1

We provide an illustrated case in this subsection to clarify the applicability and importance of our findings. We investigate the following ambiguous nonlinear system that was proposed by [31]:
{ { x ˙ 1 = x 1 + x 2 x ˙ 2 = 3 x 2 + x 1 3 + θ + ( ( s i n ( x 3 ) ) 2 + 2 ) u x ˙ 3 = x 1 2 x 3 x ˙ 4 = x 4 + x 3 2 y = x 1 3 x 3
where θ = 0.3 s i n ( 3 t ) , and y = x 1 3 x 3 represents the output.
Using the method described in [31], we can discover two unique diffeomorphisms:
T 1 ( x ) = [ x 1 3 x 3 4 x 1 + 6 x 3 + x 2 x 3 x 4 ]   and   T 2 ( x ) = [ x 1 3 x 3 4 x 1 + 6 x 3 + x 2 x 3 + x 4 2 x 3 ]
As a result, the two modes must be used to modify the uncertain system (44):
Mode   1 :   { ξ ˙ 1 = ξ 2 ξ ˙ 2 = 3 ξ 1 4 ξ 2 9 η 1 + ( ξ 1 + 3 η 2 ) 3 + θ ( t ) + ( 2 + s i n 2 ( η 1 ) ) u 1 η ˙ 1 = η 1 + ξ 1 η ˙ 2 = η 1 2 η 2
and
  Mode   2 :   { ξ ˙ 1 = ξ 2 ξ ˙ 2 = 3 ξ 1 4 ξ 2 + ( ( 3 / 2 ) η 2 + ξ 1 ) 3 + θ ( t ) + ( 2 + s i n 2 ( η 2 / 2 ) ) u 2 η ˙ 1 = ξ 1 η 1 + η 2 2 4 η ˙ 2 = 2 ξ 1 + η 2
The system (44) is converted by the two modes using the design approach in Section 3:
x ˙ = A σ ( t ) x ( t ) + F σ ( t ) ( x ( t ) , θ ( t ) )
where σ(t): [0, ∞) → {1, 2}
For mode 1:
x ˙ = A 1 x ( t ) + F 1 ( x ( t ) , θ )
where A 1 = ( A ˜ 1 B K 1 ) and F 1 ( x ( t ) , θ ( t ) ) = [ 0 v N L 1 ( x ( t ) ) ϑ 1 ( x ( t ) ) ] , A ˜ 1 = [ 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 ] , B = [ 0 1 0 0 ] , K 1 = [ k 1 1 k 2 1 k 3 1 k 4 1 ] T , ϑ 1 ( x ( t ) ) = [ 0 x 3 2 ] and v N L 1 ( x ( t ) ) = ( x 1 + 3 x 4 3 x 3 ) 3 + θ ( t ) 2 + s i n ( x 3 2 ) .
For mode 1, we select the quadratic Lyapunov function V 1 ( x ) :
V 1 ( x ) = 1 2 x 3 2 + 1 2 x 4 2 + ( x 1 3 x 3 ) 2 2 + ( 4 x 1 + x 2 + 6 x 3 ) 2 2
The stabilizing controller u 1 is:
u 1 ( x ) = x 4 x 3 2 + v 1 1 / 2 ( 4 x 1 + x 2 + 6 x 3 )
with
v ( 1 ) = k 1 1 ( x 1 3 x 3 ) k 2 1 ( 4 x 1 + 6 x 3 + x 2 ) k 3 1 ( x 3 ) k 4 1 ( x 4 ) + ( x 1 + 3 x 4 3 x 3 ) 3 + θ ( t ) 2 + s i n ( x 3 2 )
For mode 2:
x ˙ = A 2 x ( t ) + F 2 ( x ( t ) , θ )
where A 2 = ( A ˜ 2 B K 2 ) and F 2 ( x ( t ) , θ ( t ) ) = [ 0 v N L 2 ( x ( t ) ) ϑ 2 ( x ( t ) ) ] , A ˜ 2 = [ 0 1 0 0 0 0 0 0 1 0 1 0 2 0 0 1 ] , B = [ 0 1 0 0 ] , K 2 = [ k 1 2 k 2 2 k 3 2 k 4 2 ] T , ϑ 2 ( x ( t ) ) = [ ( 2 x 3 ) 2 4 0 ] and v N L ( 2 ) ( x ( t ) ) = x 1 3 + θ ( t ) 2 + s i n ( ( x 3 + x 4 ) / 2 ) 2 .
For mode 2, we select the quadratic Lyapunov function V 2 ( x ) :
V 2 ( x ) = 2 x 3 2 + 1 2 ( x 3 + x 4 ) 2 + ( x 1 3 x 3 ) 2 + ( 4 x 1 + x 2 + 6 x 3 ) 2
The stabilizing controller u 2 is:
u 2 ( x ) = ( x 1 3 x 3 ) ( 2 x 3 ) 2 / 2 + v ( 2 ) 1 / 2 ( 4 x 1 + x 2 + 6 x 3 )
with
v ( 2 ) = k 1 2 ( x 1 3 x 3 ) k 2 2 ( 4 x 1 + 6 x 3 + x 2 ) k 3 2 ( x 3 + x 4 ) k 4 2 ( 2 x 3 ) + x 1 3 + θ ( t ) 2 + s i n ( ( x 3 + x 4 ) / 2 ) 2
The values of the gain vectors K 1 and K 2 were chosen so that the matrices A 1 and A 2 are Hurwitz.
A 1 = [ 1 1 0 0 3 4 0 0 1 0 1 0 0 1 0 1 ] ,   F 1 ( x ( t ) , θ ( t ) ) = [ 0 ( x 1 + 3 x 4 3 x 3 ) 3 + 0.3 s i n ( 3 t ) + v 1 2 + s i n ( x 3 2 ) 0 x 3 2 ] T  
and
A 2 = [ 1 1 0 0 0 2 0 0 1 0 1 0 2 3 0 1 ] ,   F 2 ( x ( t ) , θ ( t ) ) = [ 0 x 1 3 + 0.3 s i n ( 3 t ) + v ( 2 ) 2 + s i n ( ( x 3 + x 4 ) / 2 ) 2 ( 2 x 3 ) 2 4 0 ] T
By simple computation, we have λ ( A 1 ) = { 1 , 1 , 0.2087 , 4.731 } , λ ( A 2 ) = { 1 , 1 , 1 , 2 }
The criteria of Assumptions 1, 2, and 3 are easily met using Μ = 1 , λ = 1 , ε 1 = 0.5 , ε 2 = 0.25 , p = 2 , and α ( t ) = e 2 t . Since λ > 1 , Μ 2 ε 1 = 0.5 , We can now use Theorem 1 to show that the non-minimum phase switched nonlinear system (47) with uncertainty is exponentially stable if the starting states fulfill x ( 0 ) < 1 .
Moreover, x ( t ) 2 ( 1 + x ( 0 ) ) 1 x ( 0 ) e 0.5 t for all initial states satisfying x ( 0 ) < 1 .
Figure 1 and Figure 2 illustrate the simulation results. The state trajectories with the initial conditions x ( 0 ) = [ 0.31 0.52 0.48 0.12 ] T and the control of the non-minimum phase switched nonlinear system (47) with uncertainty are depicted in these pictures.
The solution of the non-minimum phase switched nonlinear system (47) is asymptotically convergent, as shown in Figure 1 and Figure 2.
It is obvious that the suggested control method has excellent performance and significant resilience in the face of uncertainty.

5.2. Example 2

In this illustrative example, let us consider the following uncertain nonlinear system [28]:
{ x ˙ 1 = x 3 x ˙ 2 = s i n ( x 2 ) + x 3 x ˙ 3 = 2 x 1 2 ( 1 + θ ( t ) ) x 3 + u
where θ = 0.2 s i n ( 4 t ) , and y = x 1 represents the output.
Using the method described in [28], we can discover two unique diffeomorphisms:
T 1 ( x ) = [ x 1 x 3 x 2 ]   and   T 2 ( x ) = [ x 1 x 3 x 1 + x 2 ]
As a result, the two modes must be used to modify the uncertain system (54):
Mode   1 :   { ξ ˙ 1 = ξ 2 ξ ˙ 2 = 2 ξ 1 2 ( 1 + θ ) ξ 2 u 1 η ˙ = S i n ( η ) ξ 2
and
Mode   2 :   { ξ ˙ 1 = ξ 2 ξ ˙ 2 = 2 ξ 1 2 ( 1 + θ ) ξ 2 u 2 η ˙ = S i n ( η ) ξ 1
The system (54) is converted by the two modes using the design approach in Section 3:
x ˙ = A σ ( t ) x ( t ) + F σ ( t ) ( x ( t ) , θ ( t ) )
where σ(t): [0, ∞) → {1, 2}
For mode 1:
x ˙ = A 1 x ( t ) + F 1 ( x ( t ) , θ )
where A 1 = ( A ˜ 1 B K 1 ) and F 1 ( x ( t ) , θ ( t ) ) = [ 0 v N L 1 ( x ( t ) ) ϑ 1 ( x ( t ) ) ] , A ˜ 1 = [ 0 1 0 0 0 0 0 1 0 ] , B = [ 0 1 0 ] , K 1 = [ k 1 1 k 2 1 k 3 1 ] T , ϑ 1 ( x ( t ) ) = [ S i n ( x 2 ) ] and v N L 1 ( x ( t ) ) = S i n ( x 2 ) ( x 1 + x 2 x 3 ) x 3 .
For mode 1, we select the quadratic Lyapunov function V 1 ( x ) :
V 1 ( x ) = 1 2 x 1 2 + 1 2 x 3 2 + 1 2 x 2 2
The stabilizing controller u 1 is:
u 1 ( x ) = 2 x 1 2 + ( 1 + θ ) x 3 v 1
with v ( 1 ) = k 1 1 ( x 1 ) k 2 1 ( x 3 ) + k 3 1 ( x 2 ) + S i n ( x 2 ) ( x 1 + x 2 x 3 ) x 3 .
For mode 2:
x ˙ = A 2 x ( t ) + F 2 ( x ( t ) , θ )
where A 2 = ( A ˜ 2 B K 2 ) and F 2 ( x ( t ) , θ ( t ) ) = [ 0 v N L 2 ( x ( t ) ) ϑ 2 ( x ( t ) ) ] , A ˜ 2 = [ 0 1 0 0 0 0 1 0 0 ] , B = [ 0 1 0 ] , K 2 = [ k 1 2 k 2 2 k 3 2 ] T , ϑ 2 ( x ( t ) ) = [ S i n ( x 1 + x 2 ) ] and v N L ( 2 ) ( x ( t ) ) = S i n ( x 1 + x 2 ) [ 2 x 1 + x 2 x 3 ] x 3 .
For mode 2, we select the quadratic Lyapunov function V 2 ( x ) :
V 2 ( x ) = 1 2 ( x 2 ) 2 ( x 3 ) 2 + 1 2 ( x 1 + x 2 ) 2
The stabilizing controller u 2 is:
u 2 ( x ) = 2 x 1 2 ( 1 + θ ) x 3 v 2
with
v ( 2 ) = k 1 2 ( x 1 ) k 2 2 ( x 3 ) k 3 2 ( x 1 + x 2 ) + S i n ( x 1 + x 2 ) [ 2 x 1 + x 2 x 3 ] x 3
The values of the gain vectors K 1 and K 2 were chosen so that the matrices A 1 and A 2 are Hurwitz.
A 1 = [ 1 0 0 0 1 0 1 1 1 ]   ,   F 1 ( x ( t ) , θ ( t ) ) = [ 0 S i n ( x 2 ) ( x 1 + x 2 x 3 ) x 3 S i n ( x 2 ) ] T
and
A 2 = [ 2 0 0 1 2 0 1 0 1 ] ,   F 2 ( x ( t ) , θ ( t ) ) = [ 0 S i n ( x 1 + x 2 ) [ 2 x 1 + x 2 x 3 ] x 3 S i n ( x 2 + x 1 ) ] T
By simple computation, we have λ ( A 1 ) = { 1 , 1 , 1 } , λ ( A 2 ) = { 1 , 2 , 2 } .
The criteria of Assumptions 1, 2, and 3 are easily met using Μ = 1 , λ = 1 , ε 1 = 0.332 , ε 2 = 0.214 , p = 3 , and α ( t ) = e 3 t . Since λ > 1 , Μ 2 ε 1 = 0.332 , we can now use Theorem 1 to show that the non-minimum phase switched nonlinear system (57) with uncertainty is exponentially stable if the starting states fulfill x ( 0 ) < 1 .
Moreover, x ( t ) 3 ( 1 + x ( 0 ) ) 1 x ( 0 ) e 0.33 t for all initial states satisfying x ( 0 ) < 1 .
Figure 3 and Figure 4 illustrate the simulation results. The state trajectories with the initial conditions x ( 0 ) = [ 0.1 0.5 0.35 ] T and the control of the non-minimum phase switched nonlinear system (7) with uncertainty are depicted in these pictures.
The solution of the non-minimum phase switched nonlinear system (57) is asymptotically convergent, as shown in Figure 3 and Figure 4.
It is obvious that the suggested control method has excellent performance and significant resilience in the face of uncertainty.

6. Conclusions

In this paper, we examine at non-minimum phase switched nonlinear systems with uncertainty. Based on the input–output feedback linearization technique and the Lyapunov stability theory, we developed a switching control strategy. Using extended Gronwall–Bellman inequalities, we present stability results for systems with arbitrary switching rules. To explain the major conclusions, an illustrative case is also provided. Future work will involve applying the suggested method to the output tracking trajectory issue for uncertain nonlinear switching non-minimum phase systems.

Author Contributions

Conceptualization, W.B.; Methodology, K.J. and W.B.; Software, K.J. and W.B.; Validation, K.J.; Formal analysis, K.J. and W.B.; Investigation, K.J. and W.B.; Resources, K.J. and W.B.; Data curation, K.J.; Writing—original draft, K.J.; Writing—review & editing, K.J. and W.B.; Visualization, K.J.; Supervision, K.J. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the Deanship of Scientific Research at Umm Al-Qura University grant number [22UQU4331235DSR06].

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

The authors would like to thank the Deanship of Scientific Research at Umm Al-Qura University for supporting this work by Grant Code: (22UQU4331235DSR06).

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Varaiya, P. Smart car on smart roads: Problems of control. IEEE Trans. Autom. Control 1993, 38, 195–207. [Google Scholar] [CrossRef] [Green Version]
  2. Long, L.J.; Wang, Z.; Zhao, J. Switched adaptive control of switched nonlinearly parameterized systems with unstable subsystems. Automatica 2015, 45, 217–228. [Google Scholar] [CrossRef]
  3. Amin, H.H.; Deabes, W.; Bouazza, K. Hybrid spiking neural model for clustering smart environment activities. In Proceedings of the 2017 IEEE 15th International Conference on Industrial Informatics (INDIN), Emden, Germany, 24–26 July 2017; pp. 206–211. [Google Scholar]
  4. Kokotovic, P.V. The joy of feedback: Nonlinear and adaptive. IEEE Control. Syst. Mag. 1992, 12, 7–17. [Google Scholar]
  5. Malek, G.H.; Tamir, S. Multivariable advanced nonlinear controller for bioethanol production in a non-isothermal fermentation bioreactor. Bioresour. Technol. 2022, 348, 126810. [Google Scholar]
  6. Tamir, S. Robustness analysis of feedback linearisation and LQR control on quarter car model with cubic nonlinearity. Int. J. Veh. Noise Vib. 2018, 14, 238–250. [Google Scholar]
  7. Vadim, I.U. Sliding Modes in Control and Optimization; Springer-Verlag: Berlin/Heidelberg, Germany, 1992; pp. 1–264. [Google Scholar]
  8. Dai, M.; Qi, R.; Li, Y. Switching Control with Time Optimal Sliding Mode Control Strategy for Electric Load Simulator with Backlash. In Proceedings of the 22nd International Conference on Electrical Machines and Systems, Harbin, China, 11–14 August 2019; pp. 11–14. [Google Scholar]
  9. Denis, E.; Andrey, P.; Leonid, F.; Wilfrid, P.; Jean, P.R. Delayed sliding mode control. Automatica 2016, 64, 37–43. [Google Scholar]
  10. He, Z.W.; Xie, W. Control of non-linear switched systems with average dwell time: Interval observer-based framework. IET Control. Theory Appl. 2016, 10, 10–16. [Google Scholar] [CrossRef]
  11. Wu, D.; Sun, X.M.; Zhao, Y.B. Stability analysis of nonlinear switched networked control systems with periodical packet dropouts. Circuits Syst. Signal Process. 2012, 32, 1931–1947. [Google Scholar] [CrossRef]
  12. Zhao, J.; Hill, J.D.; Liu, T. Synchoronization of complex dynamical networks with switching switching topology: A switched system point of view. Automatica 2009, 5, 2502–2511. [Google Scholar] [CrossRef]
  13. Bender, C.M.; Boettcher, S. Real spectra in non-Hermitian Hamiltonians having PT symmetry. Phys. Rev. Lett. 1998, 80, 5243–5246. [Google Scholar] [CrossRef] [Green Version]
  14. Kulishov, M.; Kress, B.; Slavík, R. Resonant cavities based on Parity-Time-symmetric diffractive gratings. Opt. Express. 2013, 21, 9473–9483. [Google Scholar] [CrossRef] [PubMed]
  15. Homaee, O.; Zakariazadeh, A.; Jadid, S. Real-time voltage control algorithm with switched capacitors in smart distribution system in presence of renewable generations. Int. J. Electr. Power Energy Syst. 2014, 54, 187–197. [Google Scholar] [CrossRef]
  16. Chang, X.H.; Wang, Y.M. Peak-to-peak filtering for networked nonlinear DC motor systems with quantization. Trans. Ind. Inform. 2018, 25, 5378–5388. [Google Scholar] [CrossRef]
  17. Ma, R.C.; Zhao, J. Backstepping design for global stabilization of switched nonlinear systems in lower triangular form under arbitrary switchings. Automatica 2010, 46, 1819–1823. [Google Scholar] [CrossRef]
  18. Niu, B.; Zhao, X.D.; Fan, X.D. A new control method for state-constrained nonlinear switched systems with application to chemical process. Int. J. Control 2015, 88, 1693–1701. [Google Scholar] [CrossRef]
  19. Subahi, A.F.; Ouazza, K.E. An Intelligent IoT-Based System Design for Controlling and Monitoring Greenhouse Temperature. IEEE Access 2020, 8, 125488–125500. [Google Scholar] [CrossRef]
  20. Wang, X.; Zhao, J. Switched adaptive tracking control of robot manipulators with friction and changing loads. Int. J. Syst. Sci. 2015, 46, 955–964. [Google Scholar] [CrossRef]
  21. Bouazza, K.E. Global Stabilization of Nonlinear Networked Control System with System Delays and Packet Dropouts via Dynamic Output Feedback Controller. Math. Probl. Eng. 2015, 2015, 1–11. [Google Scholar] [CrossRef] [Green Version]
  22. Jouili, K.; Benhadj, B.N. Controllers design for stabilization of non-minimum phase of switched nonlinear systems. JCEAI 2019, 21, 21–30. [Google Scholar]
  23. Abdelkarim, A.; Jouili, K.; Benhadj, B.N. Stabilization of a class of non-minimum phase switched nonlinear systems based on backstepping method. IJMIC 2018, 29, 218–225. [Google Scholar] [CrossRef]
  24. Mehedi, I.M.; Aljohani, A.J.; Alam, M.M.; Mahmoud, M.; Abdulaal, M.J.; Bilal, M.; Alasmary, W. Intelligent Dynamic Inversion Controller Design for Ball and Beam System. Comput. Mater. Contin. 2022, 72, 2341–2355. [Google Scholar] [CrossRef]
  25. Lin, J.; Fei, S.; Gao, Z. Stabilization of discrete-time switched singular time-delay systems under asynchronous switching. J. Frankl. Inst. 2012, 349, 1808–1827. [Google Scholar] [CrossRef]
  26. Bouazza, K.E.; Ouali, M. Global stabilization of a class of delay discrete-time nonlinear systems via state and output feedback. Int. J. Control Autom. Syst. 2013, 11, 1084–1094. [Google Scholar] [CrossRef]
  27. Yang, H.; Jiang, B.; Zhang, H. Stabilization of non-minimum phase switched nonlinear systems with application to multi-agent systems. Syst. Control Lett. 2012, 61, 1023–1031. [Google Scholar] [CrossRef]
  28. Jouili, K.; Benhadj, B.N. Stabilization of non-minimum phase switched nonlinear systems with the concept of multi-diffeomorphism. J. Sci. Commun. 2015, 23, 282–293. [Google Scholar] [CrossRef]
  29. Oishi, M.; Tomlin, C. Switching in non-minimum phase systems: Applications to a VSTOL aircraft. In Proceedings of the American Control Conference, Chicago, IL, USA, 28–30 June 2000. [Google Scholar]
  30. Wang, M.; Dimirovski, G.M.; Zhao, J. H∞ control for a class of non-minimum phase cascade switched nonlinear systems. In Proceedings of the American Control Conference, Seattle, WA, USA, 11–13 June 2008. [Google Scholar]
  31. Jouili, K. Robust stabilization of non-minimum phase switched nonlinear systems with uncertainty. JSSC 2020, 33, 289–311. [Google Scholar]
  32. Losoncz, L. A generalization of the Gronwall-Bellman lemma and its applications. J. Math. Anal. Appl. 1973, 44, 701–709. [Google Scholar] [CrossRef] [Green Version]
  33. Isidori, A. Nonlinear Control Systems: An Introduction; Springer: New York, NY, USA, 1985. [Google Scholar]
  34. Mohammed, A.; Adib, M.; Brendan, H.; Federico, M. Application of Filippov Theory to the IEEE Standard 421.5-2016 Anti-windup PI Controller. In Proceedings of the 2019 IEEE Milan PowerTech, Milan, Italy, 23–27 June 2019; pp. 23–27. [Google Scholar]
  35. Difonzo, F.V. A Note on Attractivity FOR THE Intersection of Two Discontinuity Manifolds. Opusc. Math. 2020, 40, 685–702. [Google Scholar] [CrossRef]
  36. Filippov, A.F. Differential Equations with Discontinuous Righthand Sides; Kluwer Academic Publishers: Amsterdam, The Netherlands, 1988. [Google Scholar]
  37. Giaouris, D.; Banerjee, S.; Zahawi, B.; Pickert, V. Stability analysis of the continuous-conduction-mode buck converter via Filippov’s method. IEEE Trans. Circuits Syst. I Regul. Pap. 2008, 55, 1084–1096. [Google Scholar] [CrossRef] [Green Version]
  38. Harte, P.; Blokhina, E.; Feely, O.; Fournier, P.D.; Galayko, D. Electrostatic vibration energy harvesters with linear and nonlinear resonators. Int. J. Bifurc. Chaos 2014, 24, 1430030. [Google Scholar] [CrossRef]
Figure 1. Evolution of the input–output states x 1 and x 2 .
Figure 1. Evolution of the input–output states x 1 and x 2 .
Symmetry 15 00596 g001
Figure 2. Evolution of the stabilizing control signal.
Figure 2. Evolution of the stabilizing control signal.
Symmetry 15 00596 g002
Figure 3. Evolution of the input–output states x 1 and x 3 .
Figure 3. Evolution of the input–output states x 1 and x 3 .
Symmetry 15 00596 g003
Figure 4. Evolution of the stabilizing control signal.
Figure 4. Evolution of the stabilizing control signal.
Symmetry 15 00596 g004
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Jouili, K.; Belhadj, W. Robust Stabilization for Uncertain Non-Minimum Phase Switched Nonlinear System under Arbitrary Switchings. Symmetry 2023, 15, 596. https://doi.org/10.3390/sym15030596

AMA Style

Jouili K, Belhadj W. Robust Stabilization for Uncertain Non-Minimum Phase Switched Nonlinear System under Arbitrary Switchings. Symmetry. 2023; 15(3):596. https://doi.org/10.3390/sym15030596

Chicago/Turabian Style

Jouili, Khalil, and Walid Belhadj. 2023. "Robust Stabilization for Uncertain Non-Minimum Phase Switched Nonlinear System under Arbitrary Switchings" Symmetry 15, no. 3: 596. https://doi.org/10.3390/sym15030596

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop