Nothing Special   »   [go: up one dir, main page]

Next Article in Journal
Estimating the Rate of Mutation to a Mutator Phenotype
Next Article in Special Issue
Combined Observer-Based State Feedback and Optimized P/PI Control for a Robust Operation of Quadrotors
Previous Article in Journal
A SIR Epidemic Model Allowing Recovery
You seem to have javascript disabled. Please note that many of the page functionalities won't work as expected without javascript enabled.
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Robustness Analysis for Sundry Disturbed Open Loop Dynamics Using Robust Right Coprime Factorization

Department of Electrical and Electronic Engineering, Graduate School of Engineering, Tokyo University of Agriculture and Technology, 2-24-16 Nakacho, Tokyo 184-8588, Japan
*
Author to whom correspondence should be addressed.
Axioms 2024, 13(2), 116; https://doi.org/10.3390/axioms13020116
Submission received: 9 January 2024 / Revised: 2 February 2024 / Accepted: 7 February 2024 / Published: 9 February 2024
(This article belongs to the Special Issue Advances in Mathematical Methods in Optimal Control and Applications)

Abstract

:
In this paper, the robustness of a system with sundry disturbed open loop dynamics is investigated by employing robust right coprime factorization (RRCF). These sundry disturbed open loop dynamics are present not only in the feed forward path, but also within the feedback loop. In such a control framework, the nominal plant is firstly right coprime factorized and a feed forward and a feedback controllers are designed based on Bezout identity to ensure the overall stability. Subsequently, considering the sundry disturbed open loop dynamics, a new condition formulated as a disturbed Bezout identity is put forward to achieve the closed loop stability of the system, even in the presence of disturbances existing in sundry open loops, where in the feedback loop a disturbed identity operator is defined. This approach guarantees the system robustness if a specific inequality condition is satisfied. And, it should be noted that the proposed approach is applicable to both linear and nonlinear systems with sundry disturbed open loop dynamics. Simulations demonstrate the effectiveness of our methodology.

1. Introduction

In all practical processes that are often mathematically nonlinear, disturbed open loop dynamics, generally in the form of perturbation, disturbances, uncertainties, and so on, exist as inevitable phenomenons. Such open loop dynamics result from parameter variation, unmodeled dynamics, time delay, noise and other interference factors, and may locate in sundry units of the system. It has the potential of causing performance degradation, and even makes a stable open loop system an unstable one, thus it is essential to take into account these disturbed open loop dynamics when performing controlling for a plant.
Stochastic control [1,2] and robust control [3,4], as integral components of modern control theory, inherently possess the capability to address anti-disturbed open loop dynamics. The various disturbed open loop dynamics taking the form of unknown external disturbances [5], periodic disturbances of unknown frequency [6], plant uncertainties and input disturbances [7], unknown distributed disturbances [8], aleatory uncertainty involving random noises [9], uncertainty with objectives and constraints in terms of dynamic coherent risk measures [10], uncertainties in both the regressor matrix and parameter vector [11], structured linear time-varying model uncertainty [12], uncertain inputs and bounded variation [13], model uncertainty [14], unknown-but-bounded noises [15], unmeasurable disturbances [16], and bounded measurement noises [17] have been investigated. Sliding mode control is a highly effective nonlinear control approach, since it remains invariant to disturbed open loop dynamics [18,19,20,21,22,23].
Furthermore, robust right coprime factorization (RRCF) [24,25,26], where a plant is represented as a mapping from the input space to the output space, enabling control design in the time domain, has been explored for systems with disturbed open loop dynamics. It possesses the benefits of facilitating straightforward analysis for robust stability under disturbed open loop dynamics and being extendable to the control for multi-input multi-output systems, and has been successfully implemented across various control applications. Ref. [27] focuses on robust passive tracking control for an uncertain soft actuator using RRCF. In [28], a robust parallel compensator is utilized, ensuring the availability of a constant gain output feedback controller for plants with disturbed open loop dynamics in the form of structured uncertainty. In [29], time-varying multi-joint human arm viscoelasticity is estimated in real time, where the disturbed open loop dynamics taking the form of time-varying motor commands, measurement noises and modeling errors of the rigid body dynamics are taken into account. Ref. [30] overcomes the influence of disturbed open loop dynamics in the form of external disturbances, by combining the passivity-based control and RRCF, for the double inverted pendulum system. In [31], robust stability and tracking performance of a class of nonlinear systems with disturbed open loop dynamics in the form of external disturbance and internal perturbation are addressed by RRCF. Ref. [32] leverages RRCF for the robust nonlinear control of wireless power transfer systems, where the disturbed open loop dynamics due to the inaccurate distance between the transmit coil and receive coil, as well as variations in the output load are considered.
In this paper, sundry disturbed open loop dynamics attenuation or rejection problems are investigated by applying RRCF approach. Sundry disturbed open loop dynamics manifest in the forward and feedback loop, which is caused by the prevalent uncertainties and disturbances in the forward path coupled with the frequent occurrence of time delays and sensor noise in the feedback loop. In the proposed approach, firstly, the plant is right coprime factorized, and two controllers in the forward and feedback paths are designed based on a Bezout identity to ensure bounded input bounded output (BIBO) stability. For disturbed open loop dynamics in the forward path that result from uncertainties or noise, which is imposed on the plant input, two controllers designed satisfying a condition structured as an inequality guarantees the robust stability of the system. This is a conventionally employed method in robust right coprime factorization approach for perturbed plants, where the robust stability is achieved against disturbed dynamics in forward open loop. Additionally, it should be noted that the robust stability is ensured built upon the assumption that the mapping from plant output to the feedback controller input is an identity. A non-identity mapping of (plant) output-to-input (of feedback controller) cannot necessarily guarantee the above robust stability when there exist backward disturbed open loop dynamics. A filter approach is an appropriate option for dealing with such backward disturbed open loop dynamics which can avoid the redesign of controllers. In this work, disturbed open loop dynamics in the feedback path generated from unknown time-varying delay and noise which cause a non-identity in the mapping of output-to-controller is considered. The adverse effect due to the disturbed open loop dynamics is alleviated by adopting a filter variant. However, it is to be remarked that even the use of filter approach would not always enable the output-to-controller an identity. That is, even if some part of the disturbed dynamics has been mitigated, some residual perturbed ones may continue to impact system performance which renders the above mentioned robust stability conditions no longer applicable. Thus, a disturbed Bezout identity in a new form is formulated where a disturbed identity is adopted for notation of the effect of insufficient filter compensation for delay and noise. In one word, for sundry disturbed open loop dynamics, a new robust right coprime factorization scheme is proposed where the robust stability is guaranteed by a condition in a new inequality different from previous one. By using such a control framework, the overall stability can be confirmed in the presence of sundry disturbed open loop dynamics. Two numerical examples of water level compensation system and heat exchange process illustrate the effectiveness of the formulated control design framework.
This paper is structured as follows. In Section 2, the problem statement is described and mathematical preliminaries are provided. Section 3 presents a new robust right coprime factorization scheme tailored for plants with sundry disturbed open loop dynamics. To demonstrate the efficacy of the proposed control design scheme, Section 4 offers two numerical examples involving a water level compensation system and a heat exchange process. Lastly, concluding remarks are presented in Section 5.

2. Problem Statement and Mathematical Preliminaries

In this section, the problem statement is firstly described. Then, mathematical preliminaries concerning right coprime factorization, generalized Lipschitz operator [25], identity operator and so on are described.

2.1. Problem Statement

The primary aim of this paper is to address the sundry disturbed open loop dynamics commonly encountered in a practical system and design a feasible control scheme using RRCF approach in a new form for guaranteeing the robust stability of nonlinear systems. Additionally, the aim includes achieving effective tracking performance.

2.2. Mathematical Preliminaries

For simplicity, the definition of space, Banach space, operator, truncation (and so on) are omitted, and can be found in [25].
Let U and Y be real linear spaces, let U s and Y s be normed linear subspaces, referred to as the stable subspace, of U and Y , respectively. Consider an operator P : U Y , where its domain and range are denoted as D ( P ) = U and R ( P ) = Y , respectively.
Definition 1.
Let H ( U , Y ) : U Y be a set of stable operators, then H ( U , Y ) contains such a subset defined by
U ( U , Y ) = { M , M U ( U , Y ) , M is invertible with M 1 H ( U , Y ) }
Elements of U ( U , Y ) are called unimodular operators.
Definition 2.
If M I is a set, the identity operator P f on M I is defined to be an operator with M I as its domain and codomain, satisfying P f ( X ) = X for all elements X in M I . In other words, the value of operator P f ( X ) in the codomain M I is always the same as the input element X in the domain M I .
Definition 3.
Consider a given plant represented in operator formulation as P : U Y . It is said the plant P has a right factorization if there exist a linear space W and two stable operators P l : W U and P r : W Y , such that P l is invertible from U to W and P = P r P l 1 on U . This factorization of P is denoted as ( P r , P l ) , the space W is referred to as the quasi-state space of P.
Definition 4.
Let us assume that ( P r , P l ) is a right factorization of P. The factorization is said to be coprime, if there exist two stable operators F b : Y U and F f : U U , where F f is invertible, satisfying the Bezout identity described as
F b P r + F f P l = M
where M : W U is an unimodular operator.
It should be noted that the initial state should also meet the Bezout identity requirement, namely, F b P r ( w 0 , t 0 ) + F f P l ( w 0 , t 0 ) = M ( w 0 , t 0 ) should hold.
Definition 5.
The feedback control system of the nominal plant is shown in Figure 1. If for each input r U , all signals in the system are uniquely determined, then the system is said to be well-posed.
Definition 6.
The feedback control system shown in Figure 1 is said to be overall stable if r U s implies that e U s , u U s , w W s , y Y s and b U s .
Lemma 1.
Assume that the system shown in Figure 1 is well-posed, then the system is overall stable if there exists right coprime factorization for the plant as P = P r P l 1 , and the Bezout identity F b P r + F f P l = M is satisfied, where M is an unimodular operator.
Based on Lemma 1, the feedback system shown in Figure 1 can be equivalently transformed to the system shown in Figure 2. The relationship between plant output and the reference input can be stated as
y ( t ) = P r M 1 ( r ) ( t )
Definition 7.
Let U e and Y e be two extended linear spaces, which are associated, respectively, with two given Banach spaces U B and Y B of measurable functions defined on the time domain [ 0 , ] . Let D e be a subset of U e ; a nonlinear operator Q : D e Y e is called a generalized Lipschitz operator on D e if there exists a constant L such that
[ Q ( x ) ] T [ Q ( x ˜ ) ] T   Y B L x T x ˜ T U B
for all x , x ˜ D e , T [ 0 , ] . L i p ( D e ) denotes the family of nonlinear generalized Lipschitz operators that map D e to itself. Note that the least such constant L is given by
Q   : = sup T [ 0 , ) sup x , x ˜ D e x T x ˜ T [ Q ( x ) ] T [ Q ( x ˜ ) ] T Y B x T x ˜ T U B
It should be noted that the internal signals in real systems are required to be uniquely determined, whereas non-unique outputs from an input may be produced by a nonlinear operator, especially for a set-valued mapping. But the introduction of generalized Lipschitz operator can guarantee the uniqueness requirement.
Lemma 2.
Let X B and Y B be Banach spaces, S L i p ( X B , Y B ) is an invertible operator, and R is an operator in S L i p ( X B , Y B ) , such that | | R S 1 | | < 1 where L i p ( X B , Y B ) = S : X B Y B , | | S | | L i p < . Then, the operator R + S is invertible in L i p ( X B , Y B ) and
( R + S ) 1     S 1 ( 1 R S 1 ) 1

3. Main Results

In this section, prior to introducing the control design for the plant with sundry disturbed open loop dynamics, we will recall the approach of robust right coprime factorization for the perturbed plant that has been described in [25], where the disturbed open loop dynamics position in the feed forward path.
Firstly, the definition of disturbed open loop dynamics used in this paper is depicted.
Definition 8.
Δ · = [ Δ 1 · Δ 2 · Δ n · ] T is the disturbed open loop dynamics, which are commonly presumed to fall within a specific compact and convex set Δ, namely
Δ · = [ Δ 1 · Δ 2 · Δ n · ] Δ
and this set Δ is called the set of disturbed open loop dynamics. ‘open loop’ means the disturbed dynamics occur in separate units of the system.
The disturbed open loop dynamics Δ P r , Δ F are used in this section.
The conventionally employed robust right coprime factorization approach can be summarized as follows.
Lemma 3.
For the disturbed open loop dynamics, due to uncertainties or disturbances, assuming that the disturbed open loop dynamics Δ P is bounded, then the plant with disturbed open loop dynamics can be represented as P ˜ = P + Δ P = ( P r + Δ P r ) P l 1 , where Δ P r is a stable and bounded operator. By employing the robust right coprime factorization approach, as shown in Figure 3, let the Bezout identity of nominal plant be F b P r + F f P l = M and the plant with disturbed open loop dynamics be F b ( P r + Δ P r ) + F f P l = M ˜ , respectively. If the following inequality is satisfied,
[ F b ( P r + Δ P r ) F b P r ] M 1 < 1
then the system shown in Figure 3 is stable. In other words, the plant with disturbed open loop dynamics P ˜ is said to remain robust right coprime factorization. M , M ˜ are unimodular operators, · is the Lipschitz norm.
In such a robust right coprime factorization approach, the disturbed open loop dynamics due to uncertainties or disturbances are only located in feed forward path and summarized into Δ P r . A condition in the form of inequality guarantees the robust stability of the plant with disturbed open loop dynamics. However, this is not a universal scenario in practical systems, since the disturbed open loop dynamics may also appear in the feedback path during the process of signal transformation. In this work, disturbed open loop dynamics located in both the feed forward path and feedback loop are considered. The disturbed open loop dynamics are commonly as a result of sensor noise, time delay and other disturbances. For the disturbed open loop dynamics in feedback loop, if there exists an operator that can enable the signal in the feedback path an identity, namely, the mapping from plant output to the controller is an identity, then the reconfiguration of controllers in preceding path and response loop designed at the outset using robust right coprime factorization can be avoided. Generally, there are some appropriate approaches such as disturbance observer and filter method that can be employed to achieve an identity in the feedback loop signal transformation. An ideal such perturbation eliminator empowers the signal in the feedback circuit an identity even in the presence of disturbed dynamics. This allows designers to layout controllers without considering the interference of disturbed open loop dynamics.
The control system can be designed as Figure 4, where the sundry disturbed open loop dynamics are located in Δ P r and F. The operator F is composed of disturbed open loop dynamics and the elimination of the adverse effect of disturbed dynamics, which enables the projection y y ^ an identity in the presence of disturbed open loop dynamics. If such an objective can be achieved ideally, conceptually, it can say that F = I . Thus, the controllers F f 1 , F b designed using robust right coprime factorization can remain the original ones.
It should be noted that such ideal operators F are almost non-existent, seeing that the results estimated by disturbance observer or filter method typically take some time to converge to the true value or converge within a certain neighborhood, thus the identity mapping can hardly be ensured. For such disturbed open loop dynamics, a new control system design scheme is shown in Figure 5, which is a design scheme of more practical significance. From the figure, a perturbed identity denoted as I ¯ = I + Δ F is employed where Δ F is stable and bounded. The robust stability of the system can be guaranteed by using robust right coprime factorization based on a new perturbed Bezout identity and a condition in the form of inequality as follows.
Theorem 1.
Let D e be a linear subspace of the extended linear space U e associated with a given Banach space U B , and let F b ( I + Δ F ) ( P r + Δ P r ) M 1 L i p ( D e ) . Let the Bezout identity of the nominal plant be F b P r + F f P l = M U ( W , U ) , and the exact system with sundry disturbed open loop dynamics be F b ( I + Δ F ) ( P r + Δ P r ) + F f P l = M ¯ U ( W , U ) , respectively. Then, the system shown in Figure 5 is stable or the system is said to remain robust right coprime factorization if
[ F b ( I + Δ F ) ( P r + Δ P r ) F f P l ] M 1   < 1
where M ¯ is an unimodular operator, · is Lipschitz norm.
Proof. 
M is an unimodular operator, which implies its invertibility. Since
F b P r + F f P l = M F b ( I + Δ F ) ( P r + Δ P r ) + F f P l = M ¯
Then, we have
M ¯ = M + [ F b ( I + Δ F ) ( P r + Δ P r ) F b P r ] = [ I + F b ( I + Δ F ) ( P r + Δ P r ) F b P r M 1 ] M
and
[ F b ( I + Δ F ) ( P r + Δ P r ) F b P r ] M 1 L i p ( D e )
then, I + F b ( I + Δ F ) ( P r + Δ P r ) F b P r M 1 is invertible based on Lemma 2, where I is the identity operator. Thus, we have
M ¯ 1 = M 1 [ I + F b ( I + Δ F ) ( P r + Δ P r ) F b P r M 1 ] 1
Meanwhile, since [ F b ( I + Δ F ) ( P r + Δ P r ) F b P r ] M 1 L i p ( D e ) and M U ( W , U ) , then M ¯ U ( W , U ) , provided that the system in Figure 5 is well-posed. As a result, for any u * U s , w = M 1 ( u ) W s . Further, since y = ( P r + Δ P r ) ( w ) , e = F f P l ( w ) and b = F b ( I + Δ F ) ( P r + Δ P r ) ( w ) , the stability of F b , P r , F f , Δ P r , Δ F and P l implies that y Y s , e U s and b U s . Then, the system is overall stable. ☐
Compared with the robust stability condition of the plant with disturbed open loop dynamics that only locate in the feed forward, the above condition is in a new inequality form, which shows that it includes more sets for designing controllers. That is, (9) includes the robust stability condition [ F b ( P r + Δ P r ) F b P r ] M 1   <   1 . Additionally, if the condition can be satisfied by using the bounded information of Δ P r , Δ F , then the detailed information of Δ P r , Δ F is not essential. In comparison with the robust stability condition proposed in [31], where the disturbed open loop dynamics are all related with the plant, the robust right coprime factorization approach in a new form proposed in this paper also expands the range of control for plant with sundry disturbed open loop dynamics, since the backward disturbed open loop dynamics can be plant-independent.
After the robust stability of the plant with sundry disturbed open loop dynamics has been guaranteed by satisfying a condition formulated in a new inequality form, as described in Figure 5 and Theorem 1, the tracking performance of the overall system is considered. For the tracking performance, the system design scheme is shown in Figure 6, where T r is a tracking operator to ensure the output of the plant y can track the reference input r. The tracking controller is designed as
T r e * ( t ) = K pr e * ( t ) + K in 0 t e * ( τ ) d τ

4. Numerical Examples

Within this part, we present two numerical examples: one for the water level compensation system and the other for the heat exchange process. These examples serve to demonstrate the effectiveness of the proposed robust stability condition in RRCF approach. For detailed system descriptions, please refer to Appendix A and Appendix B.

4.1. Case 1: Water Level Compensation System

Utilizing right coprime factorization, ( P r , P l ) for controlling the nominal water level compensation system P = P r P l 1 is designed as
P : x ˙ ( t ) = 1 A u ( t ) a A 2 g x ( t ) y ( t ) = x ( t ) P r : x ˙ ( t ) = w ( t ) a A 2 g x ( t ) y ( t ) = x ( t ) P l : u ( t ) = A w ( t )
The factorization of the plant with disturbed open loop dynamics is represented as follows:
P + Δ P : x ˙ ( t ) = 1 + Δ ( t ) A u ( t ) a A 2 g x ( t ) y ˜ ( t ) = x ( t ) P r + Δ P r : x ˙ ( t ) = ( 1 + Δ ( t ) ) w ( t ) a A 2 g x ( t ) y ˜ ( t ) = x ( t ) P l : u ( t ) = A w ( t )
where Δ ( t ) represents the open loop dynamics in the forward path. The disturbed open loop dynamics in the feedback loop is much more complex, and it is because of unknown time-varying delay and strong sensor noise. Then, controllers F b , F f are designed as followings where K is a design parameter.
F b : b ( t ) = ( 1 K ) y ˙ ( t ) + a A 2 g y ( t ) F f : e ( t ) = K A u ( t )
For achieving the tracking performance, T r is designed using the method outlined in Section 3.
The initial water level of Tank1 is set to be 27 cm. The flow rate is regulated within the range of [0, 2.0 L/min] by the attached valve, with the target water level being r = 30 cm. The disturbed open loop dynamics Δ ( t ) in the feed forward is set as Δ ( t ) = sin ( u ( t ) / A ) . In the feedback path, the disturbed open loop dynamics in the form of time-varying delay is subjected to Gaussian distribution with a maximum of 15 s. The disturbed open loop dynamics in the form of the strong sensor noise is white noise, with mean μ = 0 and variance v = 0 . 1 2 . For dealing with such complex disturbed open loop dynamics, a variant of particle filter algorithm (described in Appendix C) is used to achieve a disturbed identity operator I + Δ F , as illustrated above, where the effect of time delay and sensor noise are dealt with at the same time. In particle filter, the process noise is assumed with mean and variance μ p = 0 , v p = 0 . 01 2 , respectively. The other simulation parameters are listed in Table A1.
The simulation results of the plant output and input are presented in Figure 7. As depicted, the water level compensation system demonstrates stability and ultimately achieves tracking of the target value within finite time.
The robust stability of the control system was verified using the proposed robust stability condition outlined in Theorem 1 (or (9)). The results are illustrated in Figure 8. Throughout the entire simulation duration, the Lipschitz norm remains below 1. Consequently, the figure confirms the guaranteed robust stability.

4.2. Case 2: Heat Exchange Process with a Spiral Heat Exchanger

The heat exchange process with a spiral heat exchanger system, which includes uncertainty [33], and undergoes robust right factorization and stabilization, denoted as (18).
P r : T ho ( t ) T hi ( t ) T ci ( t ) exp B 1 + B 5 1 w ( t ) + B 3 + B 4 t ln T hi ( t ) T ci ( t ) T hi ( 0 ) T ci ( 0 ) P l : B 2 w ( t ) F b : b ( t ) = 1 K B 1   +   B 5 ln [ T h o ( t )     T c o ( t ) T h i     T c i ( t ) ]     B 4 t ln [ T h i     T c i ( t ) T h i ( 0 )     T c i ( 0 ) ]     B 3 F f : e ( t ) = K B 2 u ( t )
where K is the design parameter, and
B 1 = 2 a ( 6 π ) 3 3 λ B 2 = R e P r B N μ c ρ ρ B 3 = δ λ + 1 h c B 4 = a 2 ( 6 π ) 4 c ρ ρ 4 λ B 5 = a 2 ( 6 π ) 4 2 d r λ N μ = 0.023 R e 0.8 P r 0.3 h c = c ρ ρ U c N μ R e P r B .
For achieving the tracking performance, T r is designed using the method outlined in Section 3.
The parameters are provided in Table A2. The hot fluid flow rate U h maximum value is 5.6 L/min, and the cold fluid flow rate U c maximum value is 4.5 L/min, respectively. The input and output variables are U h and T c o . The plant input is subject to disturbed open-loop dynamics in the feed forward path attributed to white noise with mean μ f = 0 and variance v f = 0 . 1 2 . The plant output value is affected by disturbed open-loop dynamics in the feedback loop caused by white sensor noise with mean μ b = 0 and variance v b = 3 . 9 2 , along with Gaussian distributed time-varying delay with a maximum delay of 15 s. For addressing the impact of disturbed open loop dynamics in the form of strong sensor noise and time-varying delay at the same time in the feedback loop, the particle filter variant algorithm (described in Appendix C) is employed to acquire a disturbed identity operator I + Δ F . In the particle filter variant, the process noise is assumed with mean and variance μ p = 0 , v p = 0 . 01 2 , respectively.
The simulation results of the plant output and plant input are depicted in Figure 9. It is evident that the heat exchange process remains stable, and the tracking performance is assured.
Taking into account the sundry disturbed open-loop dynamics located in the feed forward and feedback loops, stability is ensured by Theorem 1 (or (9)). Figure 10 corroborates the efficacy of the proposed approach, wherein the Lipschitz norm consistently remains below 1, aligning with the conditions stipulated in Theorem 1.

5. Conclusions and Discussions

In this paper, robustness for a plant with sundry disturbed open loop dynamics is analyzed by using robust right coprime factorization approach. Different from the previous methodologies where the disturbed open loop dynamics typically reside in the feedforward path, and a disturbed Bezout identity, along with an inequality condition, is employed to ensure robust stability, this work introduces a new condition. That is, a robust stability condition in the form of a new disturbed Bezout identity coupled with a new stability inequality is proposed to ensure the robust stability of the plant with sundry disturbed open loop dynamics both in feed forward and feedback loops. Two numerical examples illustrate the effectiveness of the proposed approach.
The proposed robust stability condition in the approach of robust right coprime factorization broadens the scope of controller designs to encompass the disturbed open loop dynamics, whether they are related or unrelated to the plant. Additionally, the proposed robust stability condition can be readily implemented for real-time control applications. In various industrial domains, linearization is a commonly employed technique where system approximation is necessary, and closed-loop stability analysis is essential for controllers designed based on the linearized plant. In case of smooth nonlinearities, it is feasible to use a linearized plant with structured uncertainty and to design simply an H or μ controller. Hence, there is merit in exploring nonlinear control approaches based on linearization and the proposed condition outlined in this paper in future research endeavors.

Author Contributions

Methodology, Y.X. and M.D.; software, Y.X.; validation, Y.X.; formal analysis, Y.X.; investigation, Y.X.; resources, M.D.; writing—original draft preparation, Y.X.; writing—review and editing, Y.X. and M.D.; supervision, M.D. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Data sharing is not applicable to this article due to privacy considerations.

Conflicts of Interest

The authors declare no conflicts of interest.

Appendix A. Water Level Compensation System

The water level compensation system is depicted in Figure A1 [34]. This system comprises two interconnected tanks: Tank1 (the outer large tank) and Tank2 (the inner small tank), where Tank2 is situated within Tank1. There is a hole in the bottom surface of Tank1, through which liquid can be discharged, and the outflow rate from Tank1 can be regulated using a valve. The discharged liquid is collected in a container located at the bottom of Tank1. Similarly, a hole in the top of Tank1 allows liquid to be pumped from the container using a pump. To maintain a constant liquid level in Tank1, liquid is continuously injected to compensate for any changes in level, and the pump ensures a constant flow rate by pumping a fixed amount of liquid. Control over the amount of liquid entering Tank1 is achieved through the valve connected to the pump. The water enters Tank1 at a constant flow rate from its bottom and subsequently flows out from its top.
Figure A1. Water level compensation system.
Figure A1. Water level compensation system.
Axioms 13 00116 g0a1
The water level compensation system is modeled as
y ˙ ( t ) = 1 A u ( t ) a A 2 g y ( t )
where the input u ( t ) is the water input flow q i n of Tank1, and y ( t ) is the water level h of Tank1. The parameters used in the model of the water level compensation system are defined in Table A1.
Table A1. Simulation parameters of water level compensation system.
Table A1. Simulation parameters of water level compensation system.
Tsimulation time1000[s]
Δ t sampling period1
K p i proportional gain 0.05 [ ]
K i n integral gain 0.0008 [ ]
Kdesigned parameter 0.95 [ ]
δ thickness of sold wall2[cm]
hwater level in Tank1 [ ] [cm]
voutflow rate [ ] [cm/s]
q i n water inflow of Tank1 [ ] [L/min]
q o u t water outflow of Tank1 [ ] [L/min]
D ^ 0 Tank1 outlet inner diameter 0.2 [cm]
D ^ 1 Tank1 inner diameter 31.85 [cm]
D ^ 2 Tank2 inner diameter 11.43 [cm]
ggravity acceleration 980.665 [cm/s2]

Appendix B. Heat Exchange Process with a Spiral Heat Exchanger

Figure A2 depicts the plant of a heat exchange process featuring a spiral heat exchanger. In this configuration, the heat exchange process does not necessitate the mixing of the hot fluid in Tank1 and the cold fluid in Tank2; instead, each type of fluid returns to its respective tank. A flow control valve regulates the flow rate of each fluid, with its operation commanded by an analog current signal. Temperature sensors are positioned at four locations to measure the following temperatures within the spiral heat exchanger: cold fluid inlet temperature T c i , cold fluid outlet temperature T c o , hot fluid inlet temperature T h i , and hot fluid outlet temperature T h o of the spiral heat exchanger. It is worth noting that T h i is considered constant.
The heat exchanger can be modeled according to the following equation. The parameters for this model are provided in Table A2.
T ˙ c i ( t ) = m + Δ m m + Δ m + M T ¨ c o ( t ) + M m + Δ m + M T ¨ c i ( t ) X ( t ) = U h ( t ) + α U h ( t ) + U c T h i + U c α U h ( t ) + U c T c i ( t ) T ˙ h o ( t ) = ( 1 β ) T ¨ h o ( t ) + β X ˙ ( t ) Y ( t ) = γ U h ( t ) U h m a x Z ˙ ( t ) = ( 1 κ ) Z ¨ ( t ) + κ Y ˙ ( t ) T c o ( t ) = T c i ( t ) + T h i T h o ( t ) Z ( t ) .
Table A2. Simulation parameters for the heat exchange process.
Table A2. Simulation parameters for the heat exchange process.
rTarget temperature value36 °C
T h i Hot fluid outlet temperature41 °C
T c i ( 0 ) Initial cold fluid inlet temperature27 °C
T c o ( 0 ) Initial cold fluid temperature27 °C
aArchimedes’ spiral equation constant 8 × 10 7 m/rad
λ Thermal conductivity of SUS30416.7 W/(m · °C)
R e Reynolds number22,000
P r Prandtl number7
BCross-section area of flow path 5.5 × 10 4 m2
c ρ Specific heat of water4.2 kJ/(kg · °C)
ρ Density of water1000 kg/m3
δ Thickness of heat exchanger’s wall 1.83 × 10 3 m
d r Width of flow path 5 × 10 3 m
mMass of cold fluid flow rate0.0717 kg
MMass of cold fluid in Tank231.8 kg
α T c i - U h Design parameter0.3 L/min
β T h o - U h Design parameter0.03
γ Design parameter for valve of hot fluid1.25
κ Design parameter for flow change of hot fluid0.026
KDesign parameter of F f , F b 0.7
K p i Proportional gain of C2000
K i n Integral gain of C97
Δ t Sampling time1 s
T e n d Simulation time2301 s
σ Standard deviation of likelihood function0.01 °C
Figure A2. Heat exchange process with a spiral heat exchanger.
Figure A2. Heat exchange process with a spiral heat exchanger.
Axioms 13 00116 g0a2

Appendix C. Variant of Particle Filter Algorithm

A dynamic statistical system expressed as state space is described as
x p t = f p x p t 1 , u p t 1 , v p t 1 y p t = h p x p t , u p t 1 , n p t
where f p ( · ) , h p ( · ) , u p t , x p t , y p t denote the process model, measurement model, control input, the state, and output correspondingly. The process model noise v p t and measurement noise n p t are assumed to be independent and identically distributed, complying with any given distribution. The posterior probability distribution of the initial state p ( x p 0 | y p 0 ) p ( x p 0 ) is considered to follow a Gaussian distribution [35].
A particle filter estimates posterior distribution p ( x p t | y p 1 : t ) via N p weighted samples { x p t i , w p t i } , i = 1 , , N p drawn from an importance proposal distribution q p ( · ) . The weight of every sample can be recursively calculated as
ω t i = ω t i 1 p y p t x p t i p x p t i x p t 1 i q p x p t i x p t 1 i , y p t .
Here, p y p t x p t i represents likelihood and p x p t i x p t 1 i represents prior distribution. The importance proposal distribution is selected as q p x p t i x p t 1 i , y p t = p y p t x p t i . Then, (A4) can be written as
ω t i = ω t i 1 p y p t x p t i .
The state x p ^ t is estimated by the summation of N p weighted samples
x p ^ t = i = 1 N p ω ^ t i x p t i ,
where
ω ^ t i = ω t i i = 1 N p ω t i .
In the variant of the particle filter algorithm, the residual | r e s t i | is calculated using the absolute difference between the measured value and sampled particles. The strength of | r e s t i | is evaluated using the 3 σ rule. If the number of particles violating the 3 σ rule exceeds some threshold, exponential weights ω e x p , t i are designated to particles beyond the 3 σ boundary. For particles within the 3 σ range, their weights remain unchanged. Particle weights are calculated using (A8). Then, the exponential weights and original ones are normalized for the subsequent estimation as (A6) and (A7) [33].
ω ˜ t i = ω e x p , t i = e x p ( ω t i )   res t i   > 3 σ ω t i   res t i   3 σ

References

  1. Åström, K.J. Introduction to Stochastic Control Theory; Courier Corporation: North Chelmsford, MA, USA, 2012. [Google Scholar]
  2. Zheng, K.; Shi, D.; Hirche, S.; Shi, Y. Innovation-triggered Learning for Data-driven Predictive Control: Deterministic and Stochastic Formulations. arXiv 2024, arXiv:2401.15824. [Google Scholar]
  3. Zhou, K.; Doyle, J.C. Essentials of Robust Control; Prentice Hall: Upper Saddle River, NJ, USA, 1998; Volume 104. [Google Scholar]
  4. Yan, Y.; Wang, X.F.; Marshall, B.J.; Liu, C.; Yang, J.; Chen, W.H. Surviving disturbances: A predictive control framework with guaranteed safety. Automatica 2023, 158, 111238. [Google Scholar] [CrossRef]
  5. Nikiforov, V.O. Nonlinear servocompensation of unknown external disturbances. Automatica 2001, 37, 1647–1653. [Google Scholar] [CrossRef]
  6. Bodson, M.; Jensen, J.S.; Douglas, S.C. Active noise control for periodic disturbances. IEEE Trans. Control Syst. Technol. 2001, 9, 200–205. [Google Scholar] [CrossRef]
  7. Back, J.; Shim, H. Adding robustness to nominal output-feedback controllers for uncertain nonlinear systems: A nonlinear version of disturbance observer. Automatica 2008, 44, 2528–2537. [Google Scholar] [CrossRef]
  8. Arias, G. Stabilization of a microbeam model with distributed disturbance. Syst. Control Lett. 2023, 173, 105466. [Google Scholar] [CrossRef]
  9. Modares, H. Data-driven Safe Control of Uncertain Linear Systems Under Aleatory Uncertainty. IEEE Trans. Autom. Control 2023, 69, 551–558. [Google Scholar] [CrossRef]
  10. Ahmadi, M.; Rosolia, U.; Ingham, M.D.; Murray, R.M.; Ames, A.D. Risk-Averse Decision Making Under Uncertainty. IEEE Trans. Autom. Control 2023, 69, 55–68. [Google Scholar] [CrossRef]
  11. Ebeigbe, D.; Nguyen, T. On Robust Control with Uncertainties in the Regressor Matrix and Parameter Vector. IEEE Trans. Autom. Control 2023, 69, 309–314. [Google Scholar] [CrossRef]
  12. Kwak, D.; Kim, J.H.; Hagiwara, T. Robust Stability Analysis of Sampled-Data Systems with Uncertainties Characterized by the L-infinity-induced Norm: Gridding Treatment with Convergence Rate Analysis. IEEE Trans. Autom. Control 2023, 68, 8119–8125. [Google Scholar] [CrossRef]
  13. Sibai, H.; Mitra, S. State Estimation of Continuous-time Dynamical Systems with Uncertain Inputs with Bounded Variation: Entropy, Bit Rates, and Relation with Switched Systems. IEEE Trans. Autom. Control 2023, 68, 7041–7056. [Google Scholar] [CrossRef]
  14. Ning, B.; Han, Q.L.; Sanjayan, J.; Shang, W.; Lam, W.Y. Robust trajectory tracking control for cable-driven parallel robots with model uncertainty. Control Eng. Pract. 2023, 140, 105662. [Google Scholar] [CrossRef]
  15. Liu, H.; Li, Y.; Han, Q.L.; Ra, T. Watermark-based Proactive Defense Strategy Design For Cyber-Physical Systems With Unknown-but-bounded Noises. IEEE Trans. Autom. Control 2022, 68, 3300–3315. [Google Scholar] [CrossRef]
  16. Rizvi, S.A.A.; Pertzborn, A.J.; Lin, Z. Reinforcement learning based optimal tracking control under unmeasurable disturbances with application to HVAC systems. IEEE Trans. Neural Netw. Learn. Syst. 2021, 33, 7523–7533. [Google Scholar] [CrossRef] [PubMed]
  17. Meng, T.; Xie, Y.; Lin, Z. Consensus of Linear Multi-Agent Systems in the Presence of Bounded Measurement Noises. In Proceedings of the 2020 39th Chinese Control Conference (CCC), Shenyang, China, 27–29 July 2020; pp. 5128–5133. [Google Scholar]
  18. Rsetam, K.; Cao, Z.; Man, Z. Design of robust terminal sliding mode control for underactuated flexible joint robot. IEEE Trans. Syst. Man Cybern. Syst. 2021, 52, 4272–4285. [Google Scholar] [CrossRef]
  19. Wang, H.; Man, Z.; Kong, H.; Zhao, Y.; Yu, M.; Cao, Z.; Zheng, J.; Do, M.T. Design and implementation of adaptive terminal sliding-mode control on a steer-by-wire equipped road vehicle. IEEE Trans. Ind. Electron. 2016, 63, 5774–5785. [Google Scholar] [CrossRef]
  20. Chen, J.; Qian, D. Three controllers via 2nd-order sliding mode for leader-following formation control of multi-robot systems. Int. J. Adv. Mechatron. Syst. 2021, 9, 85–101. [Google Scholar] [CrossRef]
  21. Guzmán, P.; Prieur, C. Rapid stabilization of a reaction-diffusion equation with distributed disturbance. In Proceedings of the 2020 59th IEEE Conference on Decision and Control (CDC), Jeju, Republic of Korea, 14–18 December 2020; pp. 666–671. [Google Scholar]
  22. Pisano, A.; Orlov, Y. Boundary second-order sliding-mode control of an uncertain heat process with unbounded matched perturbation. Automatica 2012, 48, 1768–1775. [Google Scholar] [CrossRef]
  23. Ferrara, A.; Incremona, G.P.; Vecchio, C. Adaptive Multiple-Surface Sliding Mode Control of Nonholonomic Systems with Matched and Unmatched Uncertainties. IEEE Trans. Autom. Control 2023, 69, 614–621. [Google Scholar] [CrossRef]
  24. Deng, M.; Inoue, A.; Goto, S. Operator based thermal control of an aluminum plate with a Peltier device. Int. J. Innov. Comput. Inf. Control 2008, 4, 3219–3229. [Google Scholar]
  25. Deng, M.; Inoue, A.; Ishikawa, K. Operator-based nonlinear feedback control design using robust right coprime factorization. IEEE Trans. Autom. Control 2006, 51, 645–648. [Google Scholar] [CrossRef]
  26. An, Z.; Bu, N. Modeling for a Bellow-Shaped Soft Actuator Based on Yeoh model and Operator-Based Nonlinear Control Design. In Proceedings of the 2023 International Conference on Advanced Mechatronic Systems (ICAMechS), Melbourne, Australia, 4–7 September 2023; pp. 1–5. [Google Scholar]
  27. Bu, N.; Liu, H.; Li, W. Robust passive tracking control for an uncertain soft actuator using robust right coprime factorization. Int. J. Robust Nonlinear Control 2021, 31, 6810–6825. [Google Scholar] [CrossRef]
  28. Deng, M.; Iwai, Z.; Mizumoto, I. Robust parallel compensator design for output feedback stabilization of plants with structured uncertainty. Syst. Control Lett. 1999, 36, 193–198. [Google Scholar] [CrossRef]
  29. Deng, M.; Inoue, A.; Zhu, Q. An integrated study procedure on real-time estimation of time-varying multi-joint human arm viscoelasticity. Trans. Inst. Meas. Control 2011, 33, 919–941. [Google Scholar] [CrossRef]
  30. Bu, N.; Wang, X. Swing-up design of double inverted pendulum by using passive control method based on operator theory. Int. J. Adv. Mechatron. Syst. 2023, 10, 1–7. [Google Scholar] [CrossRef]
  31. Li, M.; Deng, M. Operator-based external disturbance rejection of perturbed nonlinear systems by using robust right coprime factorization. Trans. Inst. Meas. Control 2018, 40, 3169–3178. [Google Scholar] [CrossRef]
  32. Gao, X.; Yang, Q.; Zhang, J. Multi-objective optimisation for operator-based robust nonlinear control design for wireless power transfer systems. Int. J. Adv. Mechatron. Syst. 2022, 9, 203–210. [Google Scholar] [CrossRef]
  33. Xu, Y.; Deng, M. Particle filter design for robust nonlinear control system of uncertain heat exchange process with sensor noise and communication time delay. Appl. Sci. 2022, 12, 2495. [Google Scholar] [CrossRef]
  34. Kochi, R.; Deng, M. Multivariable Fractional-Order Controller Design of Nonlinear Dual Tank Device. Fractal Fract. 2024, 8, 27. [Google Scholar] [CrossRef]
  35. Arulampalam, M.S.; Maskell, S.; Gordon, N.; Clapp, T. A tutorial on particle filters for online nonlinear/non-Gaussian Bayesian tracking. IEEE Trans. Signal Process. 2002, 50, 174–188. [Google Scholar] [CrossRef]
Figure 1. Right coprime factorization of nominal plant.
Figure 1. Right coprime factorization of nominal plant.
Axioms 13 00116 g001
Figure 2. Equivalent right coprime factorization of nominal plant.
Figure 2. Equivalent right coprime factorization of nominal plant.
Axioms 13 00116 g002
Figure 3. Robust right coprime factorization of the plant with disturbed open loop dynamics that locate in the feed forward path.
Figure 3. Robust right coprime factorization of the plant with disturbed open loop dynamics that locate in the feed forward path.
Axioms 13 00116 g003
Figure 4. Ideal control design scheme for system with sundry disturbed open loop dynamics.
Figure 4. Ideal control design scheme for system with sundry disturbed open loop dynamics.
Axioms 13 00116 g004
Figure 5. Control design scheme for system with sundry disturbed open loop dynamics.
Figure 5. Control design scheme for system with sundry disturbed open loop dynamics.
Axioms 13 00116 g005
Figure 6. Tracking design scheme for system with sundry disturbed open loop dynamics.
Figure 6. Tracking design scheme for system with sundry disturbed open loop dynamics.
Axioms 13 00116 g006
Figure 7. Simulation results of plant with sundry open loop dynamics.
Figure 7. Simulation results of plant with sundry open loop dynamics.
Axioms 13 00116 g007
Figure 8. Robust stability.
Figure 8. Robust stability.
Axioms 13 00116 g008
Figure 9. Simulation results of heat exchange process with sundry disturbed open loop dynamics.
Figure 9. Simulation results of heat exchange process with sundry disturbed open loop dynamics.
Axioms 13 00116 g009
Figure 10. Robust stability of heat exchange process with sundry disturbed open-loop dynamics.
Figure 10. Robust stability of heat exchange process with sundry disturbed open-loop dynamics.
Axioms 13 00116 g010
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

Xu, Y.; Deng, M. Robustness Analysis for Sundry Disturbed Open Loop Dynamics Using Robust Right Coprime Factorization. Axioms 2024, 13, 116. https://doi.org/10.3390/axioms13020116

AMA Style

Xu Y, Deng M. Robustness Analysis for Sundry Disturbed Open Loop Dynamics Using Robust Right Coprime Factorization. Axioms. 2024; 13(2):116. https://doi.org/10.3390/axioms13020116

Chicago/Turabian Style

Xu, Yuanhong, and Mingcong Deng. 2024. "Robustness Analysis for Sundry Disturbed Open Loop Dynamics Using Robust Right Coprime Factorization" Axioms 13, no. 2: 116. https://doi.org/10.3390/axioms13020116

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