alphaFeedback

WorksMathematics

Graph-Convolutional Reinforcement Learning for Finite-Time Stabilization of a Chaotic Chua Circuit via Unified Flexible Terminal Sliding-Mode Control

AI contributions
Not recorded for this paper
View details

Abstract

This paper introduces a graph convolutional reinforcement learning framework for the finite-time stabilization of chaotic dynamics in a physical Chua circuit. The circuit is modeled directly in terms of capacitor voltages, inductor current, and physical component parameters. This preserves the connection between the mathematical model and the underlying electrical system. A unified, flexible terminal sliding-mode controller is developed to achieve stabilization within a finite time in the presence of uncertainties in the lumped model, external disturbances, and bounded control inputs. The controller incorporates state-dependent nonlinear exponents to provide flexible convergence characteristics while avoiding singular terms near equilibrium. To minimize dependence on manual controller tuning, the admissible controller parameters are optimized using an actor-critic reinforcement learning scheme with a graph convolutional network that leverages the circuit dynamics' coupling structure. The learned parameters are constrained to the ranges required by the theoretical stability conditions. Numerical experiments demonstrate the rapid suppression of chaotic oscillations and the finite-time convergence of the state and sliding variables while respecting the prescribed input-saturation limits. Compared to a reference control method, the proposed approach reduces the IAE, ISE, ITAE, and ITSE by 56.27,%, 56.40,%, 61.69,%, and 64.70,%, respectively. These results suggest that graph-based reinforcement learning can effectively tune parameters while retaining the robustness and analytical structure of the underlying sliding-mode controller.

Introduction

Chaos is a distinctive phenomenon in nonlinear dynamical systems, characterized by deterministic yet highly irregular behavior and strong sensitivity to initial conditions. Since the pioneering observations of Lorenz, chaotic dynamics have attracted considerable attention across mathematics, physics, and engineering. Their complex evolution and limited long-term predictability have made the analysis and characterization of chaotic systems an important area of nonlinear dynamics [1]. The distinctive properties of chaotic dynamics have also been exploited in a wide range of practical applications, including secure communication and encryption, signal processing, electronic circuits, robotics, power systems, and chemical processes. While chaotic behavior can be deliberately exploited in applications such as information security and signal generation, it may also lead to undesirable oscillations and degraded performance in engineering systems. This dual role has motivated extensive research on both the utilization and effective control of chaotic dynamics [2]. Chua’s circuit remains one of the most extensively studied physical realizations of chaos, particularly because of its simple electronic structure and rich nonlinear behavior, including the well-known double-scroll attractor [3, 4]. Its dynamics are commonly represented through normalized state-space equations, which provide a compact mathematical description and facilitate nonlinear analysis. However, normalization partly removes the direct correspondence between the model variables and the electrical quantities of the original circuit, making the influence of individual circuit components less transparent.

A circuit-level representation offers a different perspective by preserving the actual electrical states and component parameters. In this formulation, the capacitor voltages VC1V_{C_1} and VC2V_{C_2} and the inductor current iLi_L remain the system states, while C1C_1, C2C_2, LL, and RPR_P explicitly appear in the governing equations. The nonlinear resistor is also described through its physical slopes and breakpoint voltage. This representation therefore maintains a direct link between the observed chaotic dynamics and the underlying circuit configuration, allowing the influence of component values and parameter variations on the system behavior to be examined more explicitly. Stabilizing chaotic dynamics is a challenging control problem because strong nonlinearities and sensitivity to perturbations can significantly affect both transient and steady-state behavior. Various strategies, including Ott-Grebogi-Yorke (OGY) control, active control, adaptive and backstepping schemes, model predictive control, intelligent control methods, and sliding mode control, have been developed to regulate chaotic systems toward prescribed equilibria or trajectories [5, 6, 7, 8]. Their practical effectiveness, however, remains closely tied to robustness against uncertain dynamics and disturbances, convergence characteristics, model dependence, and constraints imposed on the control input.

Sliding mode control (SMC) provides a robust framework for regulating nonlinear and chaotic dynamics through the construction of an invariant sliding manifold. Its low sensitivity to matched uncertainties and disturbances has supported its extensive use in chaos stabilization and synchronization [9]. In recent years, SMC has received increasing attention, with various control schemes developed to address different nonlinear systems and engineering applications. For example, in [10], an adaptive SMC reaching law was developed for PMSM speed regulation, with the main focus on reaching speed and chattering reduction. Gedefaw, Abdissa, and Lemma [11] developed a super-twisting SMC with a fuzzy PID surface for quadrotor trajectory tracking, where fuzzy logic was employed for online tuning of the controller gains. In [12], a high-order SMC tuned by reinforcement learning was designed for a three-level NPC inverter, enabling real-time gain adjustment under varying grid conditions and LVRT operation. An adaptive SMC combined with radial basis function (RBF) neural networks was designed in [13] for robotic excavators, using the neural network to estimate and compensate for unknown system dynamics. For mobile manipulator systems, Ref. [14] proposed a backstepping fuzzy SMC whose control parameters were optimized using PSO for simultaneous end-effector and platform motion tracking. Ref. [15] investigated two SMC schemes for the chaotic Belousov–Zhabotinsky (BZ) reaction, employing smoothed and adaptive fuzzy structures to address tracking performance and chattering. In [16], a data-driven SMC framework was developed for MIMO nonlinear systems with partially unknown dynamics, combining a robust reaching controller with an SDP-based nominal controller.

Despite these developments, some limitations remain in the existing SMC literature: (1) the performance of several SMC schemes is highly dependent on controller parameter selection, which may require considerable tuning effort; (2) actuator saturation is not explicitly incorporated into the design of some existing controllers, despite its practical importance in physical systems; (3) certain SMC approaches still rely on sufficiently accurate knowledge of the system dynamics, which may restrict their applicability when model information is incomplete; and (4) although intelligent optimization techniques have increasingly been combined with SMC, the use of deep and graph-based learning for controller parameter optimization remains relatively limited.

To address these issues, this study develops a graph-learning-based unified flexible terminal sliding mode control (UFT-SMC) framework for the finite-time stabilization of chaotic dynamics. Unlike the commonly adopted normalized Chua models, the controller is implemented on a circuit-level representation in which the capacitor voltages, inductor current, and physical circuit parameters are retained explicitly. The control formulation accounts for lumped uncertainties, bounded disturbances, and input saturation, while a GCN-based learning scheme is employed to optimize the controller parameters based on their interdependencies and closed-loop performance.

Accordingly, the main contributions are summarized as follows: (1) a physical Chua circuit model is considered to preserve the direct connection between chaotic dynamics and actual electrical quantities; (2) a UFT-SMC scheme is developed for finite-time stabilization under uncertain dynamics and constrained control inputs; (3) a GCN-based framework is introduced for systematic optimization of the controller parameters; and (4) the proposed approach is assessed through convergence, control effort, integral performance indices, and comparative control studies.

The remainder of this paper is organized as follows. Section 2 presents the physical Chua circuit model and its dynamical characteristics. Section 3 develops the proposed UFT-SMC and establishes the corresponding stability and finite-time convergence results. Section 4 presents the stochastic robustness analysis of the proposed control method. Section 5 introduces the graph-learning-based parameter optimization framework. Section 6 presents the numerical results and comparative evaluations. Finally, Section 7 concludes the paper.

The Chua circuit

This section presents the Chua circuit model and its physical parameters, followed by an analysis of its dynamical behavior and Lyapunov exponents.

Circuit Description and Mathematical Model

Consider the physical Chua circuit with capacitor voltages VC1V_{C_1} and VC2V_{C_2} and inductor current iLi_L as its state variables. The corresponding circuit-level dynamics are expressed as [4]

C1V˙C1=1RP(VC2−VC1)−f(VC1),C2V˙C2=1RP(VC1−VC2)+iL,Li˙L=−VC2.(1)\begin{aligned} C_1\dot{V}_{C_1} &= \frac{1}{R_P}(V_{C_2}-V_{C_1})-f(V_{C_1}),\\ C_2\dot{V}_{C_2} &= \frac{1}{R_P}(V_{C_1}-V_{C_2})+i_L,\\ L\dot{i}_L &= -V_{C_2}. \tag*{(1)} \end{aligned}

Here, C1C_1 and C2C_2 denote the capacitances, LL is the inductance, and RPR_P is the variable resistance. The nonlinear current-voltage characteristic is described by

f(VC1)=m0VC1+12(m1−m0)(∣VC1+BP∣−∣VC1−BP∣),f(V_{C_1})=m_0V_{C_1}+\frac{1}{2}(m_1-m_0)(\lvert V_{C_1}+B_P\rvert-\lvert V_{C_1}-B_P\rvert),

where m0m_0 and m1m_1 are the slopes of the linear regions and BPB_P denotes the breakpoint voltage.

The physical realization of the circuit is shown in Figure 1. The nonlinear resistor NRN_R, corresponding to Chua’s diode, is implemented using two operational amplifiers.

Image not extracted

Figure 1. Electrical schematic of the physical Chua circuit.

Depending on the resistor configuration, NRN_R can exhibit three or five linear regions within the voltage range defined by the operational-amplifier saturation level EsatE_{\mathrm{sat}}. For R1=R2R_1=R_2, R4=R5R_4=R_5, and sufficiently large operational-amplifier gain, the breakpoint voltages are given by

±BP+=R3R2+R3Esat,±BP−=R6R5+R6Esat.\pm B_P^+=\frac{R_3}{R_2+R_3}E_{\mathrm{sat}},\qquad\pm B_P^-=\frac{R_6}{R_5+R_6}E_{\mathrm{sat}}.

When R2=R5R_2=R_5 and R3=R6R_3=R_6, the breakpoint levels coincide, resulting in a three-region piecewise-linear characteristic. The nominal component values of the circuit are listed in Table 1.

ComponentDescriptionValueTolerance
POTPOTPotentiometer2.5 kΩ2.5\ \mathrm{k}\Omega±5%\pm5\%
C1C_1Capacitor10 nF10\ \mathrm{nF}±5%\pm5\%
C2C_2Capacitor100 nF100\ \mathrm{nF}±5%\pm5\%
LLInductor20 mH20\ \mathrm{mH}±5%\pm5\%
OA1OA_1Operational amplifier–±5%\pm5\%
R1R_1Resistor220 Ω220\ \Omega±5%\pm5\%
R2R_2Resistor220 Ω220\ \Omega±5%\pm5\%
R3R_3Resistor2.2 kΩ2.2\ \mathrm{k}\Omega±5%\pm5\%
OA2OA_2Operational amplifier–±5%\pm5\%
R4R_4Resistor22 kΩ22\ \mathrm{k}\Omega±5%\pm5\%
R5R_5Resistor22 kΩ22\ \mathrm{k}\Omega±5%\pm5\%
R6R_6Resistor3.3 kΩ3.3\ \mathrm{k}\Omega±5%\pm5\%

Table 1. Nominal component values of the Chua circuit.

Chaotic Dynamics and Lyapunov Analysis

The dynamical behavior of the Chua circuit is strongly influenced by the variable resistance RPR_P. For the component values listed in Table 1, the circuit exhibits irregular oscillatory behavior at RP=1800 ΩR_P=1800\,\Omega. The corresponding state responses and phase-space trajectory are shown in Figure 2. Figure 2(a)–(Figure 2c) present the time responses of VC1V_{C_1}, VC2V_{C_2}, and iLi_L, respectively, while Figure 2(d) shows the resulting three-dimensional attractor. The double-scroll structure observed experimentally using an oscilloscope is shown in Figure 2(e). The experimentally observed attractor is used here to validate the chaotic operating regime of the physical circuit. The subsequent closed-loop control results are obtained numerically; experimental closed-loop validation is beyond the scope of the present study.

Image not extracted

Figure 2. Dynamical behavior of the Chua circuit at RP=1800 ΩR_P = 1800\,\Omega: (a)–(c) time responses of VC1V_{C_1}, VC2V_{C_2}, and iLi_L, respectively; (d) three-dimensional phase-space trajectory; and (e) experimentally observed double-scroll attractor.

To quantitatively characterize the observed chaotic behavior, the Lyapunov exponents are evaluated from the evolution of infinitesimal perturbations along the system trajectory. For a nonlinear system x˙=F(x)\dot{x}=F(x), the perturbation dynamics are governed by

δx˙=J(x) δx,J(x)=∂F∂x,(2)\delta\dot{x}=J(x)\,\delta x,\qquad J(x)=\frac{\partial F}{\partial x}, \tag*{(2)}

where J(x)J(\mathbf{x}) denotes the Jacobian matrix. The Lyapunov exponents are defined as

λi=lim⁡t→∞1tln⁡(∥δxi(t)∥∥δxi(0)∥),i=1,2,3.(3)\lambda_i = \lim_{t \to\infty} \frac{1}{t} \ln\left(\frac{\lVert\delta\mathbf{x}_i(t) \rVert}{\lVert\delta\mathbf{x}_i(0) \rVert}\right), \qquad i = 1, 2, 3. \tag*{(3)}

Because the circuit is formulated in physical units, the Lyapunov exponents are reported on the dimensionless time scale adopted in the numerical analysis. Let τ=t/T0\tau= t/T_0 denote the dimensionless time associated with the numerical characterization, where T0T_0 is the chosen reference time scale. If λi\lambda_i are the Lyapunov exponents with respect to physical time tt, then the corresponding exponents with respect to τ\tau are Λi=T0λi\Lambda_i = T_0\lambda_i, i=1,2,3i = 1, 2, 3, i.e. only the Lyapunov analysis uses the normalized time coordinate, while the control model remains in physical variables.

At RP=1800 ΩR_P = 1800\ \Omega, the resulting dimensionless Lyapunov spectrum is

Λ1=0.43651023,Λ2=0.00017188,Λ3=−3.35794381.(4)\Lambda_1 = 0.43651023,\qquad\Lambda_2 = 0.00017188,\qquad\Lambda_3 = -3.35794381. \tag*{(4)}

The presence of one positive exponent, together with an exponent close to zero and a negative exponent, is consistent with the chaotic behavior observed in the phase-space trajectories.

The evolution of the dimensionless Lyapunov spectrum and the bifurcation behavior are shown in Figure 3. As seen in Figure 3(a), the three exponents settle after the initial transient, with Λ1\Lambda_1 remaining positive. Figure 3(b) shows the local maxima of VC1V_{C_1} as RPR_P is varied, revealing changes in the long-term dynamics of the circuit. The dashed line marks RP=1800 ΩR_P = 1800\,\Omega, which is used as the operating point in the subsequent control study.

Image not extracted

Figure 3. Dynamical characterization of the Chua circuit: (a) evolution of the dimensionless Lyapunov exponents at RP=1800 ΩR_P = 1800\ \Omega; (b) bifurcation diagram based on the local maxima of VC1V_{C_1} with respect to RPR_P. The dashed line in (b) marks the operating point RP=1800 ΩR_P = 1800\ \Omega.

Design of the control method

Here, the Chua circuit is first reformulated into a control-orientated state-space representation accounting for practical system effects. The proposed unified flexible terminal sliding mode control (UFT-SMC) is then developed for this formulation.

The control system

To facilitate the controller design, the Chua chaotic circuit is reformulated into a state-space representation by defining

x1=VC1,x2=VC2,x3=iL,x_1 = V_{C_1}, \qquad x_2 = V_{C_2}, \qquad x_3 = i_L,

where x1x_1 and x2x_2 denote the voltages across capacitors C1C_1 and C2C_2, respectively, and x3x_3 represents the inductor current. Accordingly, the circuit equations can be rewritten as

x˙1=a(x2−x1)−1C1f(x1),x˙2=b(x1−x2)+cx3,x˙3=−dx2.(5)\begin{aligned} \dot{x}_1 &= a(x_2-x_1)-\frac{1}{C_1}f(x_1),\\ \dot{x}_2 &= b(x_1-x_2)+cx_3,\\ \dot{x}_3 &= -dx_2. \tag*{(5)} \end{aligned}

where

a=1RPC1,b=1RPC2,c=1C2,d=1L,a=\frac{1}{R_PC_1}, \qquad b=\frac{1}{R_PC_2}, \qquad c=\frac{1}{C_2}, \qquad d=\frac{1}{L},

and

f(x1)=m0x1+12(m1−m0)(∣x1+BP∣−∣x1−BP∣).f(x_1)=m_0x_1+\frac{1}{2}(m_1-m_0)\left(\lvert x_1+B_P\rvert-\lvert x_1-B_P\rvert\right).

The controlled Chua system (5), accounting for input saturation and lumped uncertainties, is written as

x˙i=gi(x)+ηi(x,t)+ϕ(ui),i=1,2,3,(6)\dot{x}_i=g_i(x)+\eta_i(x,t)+\phi(u_i), \qquad i=1,2,3, \tag*{(6)}

where

g1(x)=a(x2−x1)−1C1f(x1),g2(x)=b(x1−x2)+cx3,g3(x)=−dx2.g_1(x)=a(x_2-x_1)-\frac{1}{C_1}f(x_1), \qquad g_2(x)=b(x_1-x_2)+cx_3, \qquad g_3(x)=-dx_2.

Here, ηi(x,t)=Δgi(x,t)+di(t)\eta_i(x,t)=\Delta g_i(x,t)+d_i(t) denotes the lumped uncertainty, incorporating model uncertainties and external disturbances. Furthermore, uiu_i denotes the control input, while the saturated control signal is defined as

ϕ(ui)=sat⁡(ui),(7)\phi(u_i)=\operatorname{sat}(u_i), \tag*{(7)}

where

sat⁡(ui(t))={uil,ui(t)≤uil,ui(t),uil<ui(t)<uir,uir,ui(t)≥uir,i=1,2,3.\operatorname{sat}(u_i(t)) = \begin{cases} u_i^l, & u_i(t) \le u_i^l,\\ u_i(t), & u_i^l < u_i(t) < u_i^r,\\ u_i^r, & u_i(t) \ge u_i^r, \end{cases} \qquad i = 1,2,3.

Here, uir∈R+u_i^r \in\mathbb{R}^{+} and uil∈R−u_i^l \in\mathbb{R}^{-} denote the upper and lower saturation limits, respectively. The saturation-induced input mismatch is defined as

Δui(t)=sat⁡(ui(t))−ui(t),(8)\Delta u_i(t) = \operatorname{sat}(u_i(t)) - u_i(t), \tag*{(8)}

and hence

ϕ(ui)=ui+Δui.(9)\phi(u_i) = u_i + \Delta u_i. \tag*{(9)}

Assumption 1. The states of the Chua chaotic system evolve within a bounded attractor in the phase space, as commonly observed in chaotic dynamics [17, 18]. Therefore, the nonlinear functions gi(x)g_i(\mathbf{x}) are assumed to be bounded, i.e., there exist positive constants ξi\xi_i such that

∣gi(x)∣≤ξi,i=1,2,3.|g_i(\mathbf{x})| \le\xi_i, \qquad i = 1,2,3.

Moreover, the lumped uncertainty term ηi(x,t)\eta_i(\mathbf{x},t), which includes both model uncertainties and external disturbances, is assumed to be bounded. Hence, there exist positive constants kik_i such that

∣ηi(x,t)∣≤ki,i=1,2,3.(10)|\eta_i(\mathbf{x},t)| \le k_i, \qquad i = 1,2,3. \tag*{(10)}

Therefore,

∣gi(x)∣+∣ηi(x,t)∣≤σi,i=1,2,3.(11)|g_i(\mathbf{x})| + |\eta_i(\mathbf{x},t)| \le\sigma_i, \qquad i = 1,2,3. \tag*{(11)}

In addition, to ensure practical implementability of the controller, the saturation nonlinearity and its associated mismatch term are also assumed to be bounded. That is, there exist positive constants ξi\xi_i such that

∣Δui(t)∣≤λi,i=1,2,3.(12)|\Delta u_i(t)| \le\lambda_i, \qquad i = 1,2,3. \tag*{(12)}

The following finite-time stability result will be used in the subsequent convergence analysis.

Lemma 1. Let V(t)V(t) be a continuous positive-definite function satisfying

V˙(t)≤−qVρ(t),q>0,0<ρ<1.\dot{V}(t) \le-qV^{\rho}(t), \qquad q > 0,\qquad0 < \rho< 1.

Then, V(t)V(t) reaches zero in finite time, with the settling time bounded by

Ts≤t0+V1−ρ(t0)q(1−ρ).T_s \le t_0 + \frac{V^{1-\rho}(t_0)}{q(1-\rho)}.

The UFT-SMC control method

As a first step toward stabilizing the chaotic Chua system, a flexible SMC strategy is adopted, and the following sliding surface is designed. The sliding surface is defined as

si(t)=∣xi(t)∣+μixi(t)+∫0t(γ1∣xi(τ)∣ω+γ2∣xi(τ)∣p+sign⁡(xi(τ))+γ3)sign⁡(xi(τ)) dτ,(13)s_i(t) = |x_i(t)| + \mu_i x_i(t) + \int_0^t \left(\gamma_1|x_i(\tau)|^{\omega} + \gamma_2|x_i(\tau)|^{p+\operatorname{sign}(x_i(\tau))} + \gamma_3\right)\operatorname{sign}(x_i(\tau))\,\mathrm{d}\tau, \tag*{(13)}

where 0<ω<10 < \omega< 1, 1<p<21 < p < 2, γ1\gamma_1, γ2\gamma_2, and γ3\gamma_3 are positive constants and μi>1\mu_i > 1. On the sliding manifold si(t)=0s_i(t) = 0, we have s˙i(t)=0\dot{s}_i(t) = 0, which gives

s˙i(t)=ddt∣xi(t)∣+μix˙i(t)+(γ1∣xi(t)∣ω+γ2∣xi(t)∣p+sign⁡(xi(t))+γ3)sign⁡(xi(t))=0.\dot{s}_i(t) = \frac{\mathrm{d}}{\mathrm{d}t}|x_i(t)| + \mu_i\dot{x}_i(t) + \left(\gamma_1|x_i(t)|^{\omega} + \gamma_2|x_i(t)|^{p+\operatorname{sign}(x_i(t))} + \gamma_3\right)\operatorname{sign}(x_i(t)) = 0.

Since ddt∣xi(t)∣=sign⁡(xi(t))x˙i(t)\frac{\mathrm{d}}{\mathrm{d}t}|x_i(t)| = \operatorname{sign}(x_i(t))\dot{x}_i(t), the above equation becomes

s˙i(t)=sign⁡(xi(t))x˙i(t)+μix˙i(t)+(γ1∣xi(t)∣ω+γ2∣xi(t)∣p+sign⁡(xi(t))+γ3)sign⁡(xi(t))=0.(14)\dot{s}_i(t) = \operatorname{sign}(x_i(t))\dot{x}_i(t) + \mu_i\dot{x}_i(t) + \left(\gamma_1|x_i(t)|^{\omega} + \gamma_2|x_i(t)|^{p+\operatorname{sign}(x_i(t))} + \gamma_3\right)\operatorname{sign}(x_i(t)) = 0. \tag*{(14)}

Thus, the equivalent dynamics on the sliding surface is obtained as

x˙i(t)=−(γ1∣xi(t)∣ω+γ2∣xi(t)∣p+sign⁡(xi(t))+γ3)sign⁡(xi(t))sign⁡(xi(t))+μi.(15)\dot{x}_i(t) = -\frac{\left(\gamma_1|x_i(t)|^{\omega} + \gamma_2|x_i(t)|^{p+\operatorname{sign}(x_i(t))} + \gamma_3\right)\operatorname{sign}(x_i(t))}{\operatorname{sign}(x_i(t))+\mu_i}. \tag*{(15)}

Theorem 1. Consider the equivalent sliding dynamics in (15). Under the proposed sliding surface (13), the system states xi(t)x_i(t) converge to the origin in finite time once the sliding manifold is reached.

Proof. Consider the Lyapunov candidate function

V1(t)=∥X∥1=∑i=13∣xi(t)∣.(16)V_1(t)=\lVert X\rVert_1=\sum_{i=1}^{3}|x_i(t)|. \tag*{(16)}

Taking the time derivative, we get

V˙1(t)=∑i=13ddt∣xi(t)∣=∑i=13sign⁡(xi(t))x˙i(t).\dot{V}_1(t)=\sum_{i=1}^{3}\frac{d}{dt}|x_i(t)|=\sum_{i=1}^{3}\operatorname{sign}(x_i(t))\dot{x}_i(t).

Substituting the sliding dynamics (15), we have

V˙1(t)=−∑i=13γ1∣xi(t)∣ω+γ2∣xi(t)∣p+sign⁡(xi(t))+γ3sign⁡(xi(t))+μi.\dot{V}_1(t)=-\sum_{i=1}^{3}\frac{\gamma_1|x_i(t)|^\omega+\gamma_2|x_i(t)|^{p+\operatorname{sign}(x_i(t))}+\gamma_3}{\operatorname{sign}(x_i(t))+\mu_i}.

Since μi>1\mu_i>1, we define μˉ=max⁡i=1,2,3{μi+1}\bar{\mu}=\max_{i=1,2,3}\{\mu_i+1\}. Next, since sign⁡(xi(t))+μi≤μi+1≤μˉ\operatorname{sign}(x_i(t))+\mu_i\leq\mu_i+1\leq\bar{\mu}, we obtain

V˙1(t)≤−1μˉ∑i=13(γ1∣xi(t)∣ω+γ2∣xi(t)∣p+sign⁡(xi(t))+γ3)<0.(17)\dot{V}_1(t)\leq-\frac{1}{\bar{\mu}}\sum_{i=1}^{3}\left(\gamma_1|x_i(t)|^\omega+\gamma_2|x_i(t)|^{p+\operatorname{sign}(x_i(t))}+\gamma_3\right)<0. \tag*{(17)}

Therefore, the sliding dynamics (15) are stable.

According to (16) and (17), we have

V˙1(t)≤−γ1μˉ∑i=13∣xi(t)∣ω≤−γ1μˉ(∑i=13∣xi(t)∣)ω=−γ1μˉV1ω(t).\dot{V}_1(t)\leq-\frac{\gamma_1}{\bar{\mu}}\sum_{i=1}^{3}|x_i(t)|^\omega\leq-\frac{\gamma_1}{\bar{\mu}}\left(\sum_{i=1}^{3}|x_i(t)|\right)^\omega=-\frac{\gamma_1}{\bar{\mu}}V_1^\omega(t).

Hence, according to Lemma 1, the states xi(t)x_i(t) converge to zero in finite time, with

T1≤μˉV11−ω(0)γ1(1−ω).T_1\leq\frac{\bar{\mu}V_1^{1-\omega}(0)}{\gamma_1(1-\omega)}.

This completes the proof.

The control law is now developed to guarantee the convergence of the system trajectories to the sliding surface while ensuring robustness against system uncertainties and external disturbances. The overall structure of the proposed control scheme is illustrated in Figure 4.

Image not extracted

Figure 4. Schematic of the proposed UFT-SMC framework for the Chua system with input saturation and lumped uncertainties.

For the controller design, the following control law is proposed

ui(t)=−[(σi+λi)sign⁡(si(t))+1sign⁡(xi(t))+μi((γ1∣xi(t)∣ω+γ2∣xi(t)∣p+sign⁡(xi(t))+γ3)sign⁡(xi(t))+(γ4∣si(t)∣β+γ5∣si(t)∣q+sign⁡(si(t))+γ6)sign⁡(si(t)))].(18)u_i(t)=-\left[(\sigma_i+\lambda_i)\operatorname{sign}(s_i(t))+\frac{1}{\operatorname{sign}(x_i(t))+\mu_i}\left((\gamma_1|x_i(t)|^\omega+\gamma_2|x_i(t)|^{p+\operatorname{sign}(x_i(t))}+\gamma_3)\operatorname{sign}(x_i(t)) +(\gamma_4|s_i(t)|^\beta+\gamma_5|s_i(t)|^{q+\operatorname{sign}(s_i(t))}+\gamma_6)\operatorname{sign}(s_i(t))\right)\right]. \tag*{(18)}

where, 0<β<10<\beta<1, 1<q<21<q<2, γ4\gamma_4, γ5\gamma_5, and γ6\gamma_6 are positive constants.

Theorem 2. Under the proposed control law (18), the trajectories of the Chua system (6) converge to the origin in finite time.

Proof. Consider the Lyapunov candidate function

V2(t)=∥S∥1=∑i=13∣si(t)∣.(19)V_2(t)=\lVert S\rVert_1=\sum_{i=1}^{3}|s_i(t)|. \tag*{(19)}

Taking the time derivative yields

V˙2(t)=∑i=13ddt∣si(t)∣=∑i=13sign⁡(si(t))s˙i(t).(20)\dot{V}_2(t)=\sum_{i=1}^{3}\frac{d}{dt}|s_i(t)|=\sum_{i=1}^{3}\operatorname{sign}(s_i(t))\dot{s}_i(t). \tag*{(20)}

By substituting the sliding dynamics (14) into (20), we obtain

V˙2(t)=∑i=13sign⁡(si(t))[(sign⁡(xi(t))+μi)x˙i(t)+(γ1∣xi(t)∣ω+γ2∣xi(t)∣p+sign⁡(xi(t))+γ3)sign⁡(xi(t))].\dot{V}_2(t)=\sum_{i=1}^{3}\operatorname{sign}(s_i(t))\left[(\operatorname{sign}(x_i(t))+\mu_i)\dot{x}_i(t)+(\gamma_1|x_i(t)|^\omega+\gamma_2|x_i(t)|^{p+\operatorname{sign}(x_i(t))}+\gamma_3)\operatorname{sign}(x_i(t))\right].

Substituting the system dynamics (6) and the control law (18) into the above expression gives

V˙2(t)≤∑i=13(sign⁡(xi(t))+μi)[sign⁡(si(t))(gi(x)+ηi(x,t)+Δui(t))−(σi+λi)]−∑i=13(γ4∣si(t)∣β+γ5∣si(t)∣q+sign⁡(si(t))+γ6).\dot{V}_2(t)\leq\sum_{i=1}^{3}(\operatorname{sign}(x_i(t))+\mu_i)\left[\operatorname{sign}(s_i(t))(g_i(x)+\eta_i(x,t)+\Delta u_i(t))-(\sigma_i+\lambda_i)\right]-\sum_{i=1}^{3}(\gamma_4|s_i(t)|^\beta+\gamma_5|s_i(t)|^{q+\operatorname{sign}(s_i(t))}+\gamma_6).

Since sign⁡(xi(t))+μi>0\operatorname{sign}(x_i(t))+\mu_i>0, applying the bounds (11) and (12) yields

V˙2(t)≤−∑i=13(γ4∣si(t)∣β+γ5∣si(t)∣q+sign⁡(si(t))+γ6)<0.(21)\dot{V}_2(t)\leq-\sum_{i=1}^{3}(\gamma_4|s_i(t)|^\beta+\gamma_5|s_i(t)|^{q+\operatorname{sign}(s_i(t))}+\gamma_6)<0. \tag*{(21)}

Therefore, the sliding manifold is asymptotically stable. Moreover, from (19) and (21), it follows that

V˙2(t)≤−γ4∑i=13∣si(t)∣β≤−γ4(∑i=13∣si(t)∣)β=−γ4V2β(t)<0.(22)\dot{V}_2(t)\leq-\gamma_4\sum_{i=1}^{3}|s_i(t)|^\beta\leq-\gamma_4\left(\sum_{i=1}^{3}|s_i(t)|\right)^\beta=-\gamma_4V_2^\beta(t)<0. \tag*{(22)}

According to Lemma 1, the sliding variables reach the sliding manifold in finite time, with the reaching time satisfying

Ts≤V21−β(0)γ4(1−β).(23)T_s\leq\frac{V_2^{1-\beta}(0)}{\gamma_4(1-\beta)}. \tag*{(23)}

Once the sliding manifold is reached, the system evolves according to the equivalent sliding dynamics (15). Therefore, by Theorem 1, the states xi(t)x_i(t) converge to the origin in finite time. Hence, the closed-loop Chua system is finite-time stable, which completes the proof.

Remark 1. Following the above stability analysis, the flexibility of the proposed UFT-SMC can be further interpreted through the state-dependent exponents p+sign⁡(xi)p+\operatorname{sign}(x_i) and q+sign⁡(si)q+\operatorname{sign}(s_i) in the sliding surface and control law, respectively. By choosing 0<ω<10<\omega<1, 1<p<21<p<2, 0<β<10<\beta<1, and 1<q<21<q<2, the exponents switch between p+1>2p+1>2 and p−1∈(0,1)p-1\in(0,1) for the state dynamics, and between q+1>2q+1>2 and q−1∈(0,1)q-1\in(0,1) for the sliding dynamics. This structure provides flexible shaping of the nonlinear convergence behavior without requiring an explicit piecewise formulation. The outer sign functions preserve the restoring direction toward the equilibrium and the sliding manifold, while the conditions 1<p<21<p<2 and 1<q<21<q<2 avoid negative-power singularities near the origin. Employing the same exponent-shaping mechanism in both the state and sliding dynamics further yields a unified and structurally symmetric control design.

Stochastic Robustness Analysis

In practical implementations, model uncertainties, external perturbations, measurement errors, and actuator imperfections may vary randomly in time. In this section, these effects are represented by a stochastic perturbation acting on the closed-loop sliding dynamics. Rather than imposing moment conditions such as zero mean or bounded variance, we employ an almost-sure boundedness assumption. This is particularly natural for sliding-mode control, since its robustness properties are based on bounds on the magnitude of matched perturbations.

Let (Ω,F,P)(\Omega,\mathcal{F},\mathbb{P}) be a probability space. For each i=1,2,3i=1,2,3, let ζi:[0,∞)×Ω→R\zeta_i:[0,\infty)\times\Omega\to\mathbb{R} denote the residual stochastic perturbation in the iith sliding dynamics. We assume that its sample paths are measurable and locally integrable. For convenience, define the set-valued sign function

Sgn⁡(s)={{1},s>0,[−1,1],s=0,{−1},s<0.(24)\operatorname{Sgn}(s)= \begin{cases} \{1\}, & s>0,\\ [-1,1], & s=0,\\ \{-1\}, & s<0. \end{cases} \tag*{(24)}

This definition (24) allows the discontinuous sliding-mode dynamics to be interpreted in the standard Filippov sense. Furthermore, we define

Ψq(s)={∣s∣q+1,s>0,0,s=0,∣s∣q−1,s<0,1<q<2.(25)\Psi_q(s)= \begin{cases} |s|^{q+1}, & s>0,\\ 0, & s=0,\\ |s|^{q-1}, & s<0, \end{cases} \qquad1<q<2. \tag*{(25)}

Hence, for s≠0s\ne0, Ψq(s)=∣s∣q+sign⁡(s)\Psi_q(s)=|s|^{q+\operatorname{sign}(s)}. The explicit definition in (25) avoids the ambiguity of the state-dependent exponent at s=0s=0.

After substituting the proposed controller (18) into the sliding-surface dynamics and using the decomposition (9), define the residual term

ri(t)=(sign⁡(xi(t))+μi)[gi(x)+ηi(x,t)+Δui(t)].(26)r_i(t)=\left(\operatorname{sign}(x_i(t))+\mu_i\right)\left[g_i(x)+\eta_i(x,t)+\Delta u_i(t)\right]. \tag*{(26)}

The stochastic perturbation ζi(t)\zeta_i(t) is introduced as an additional residual perturbation acting on the closed-loop sliding dynamics. Accordingly, the perturbed reaching dynamics are represented by

s˙i(t)∈ri(t)−(sign⁡(xi(t))+μi)(σi+λi)Sgn⁡(si(t))−(γ4∣si(t)∣β+γ5Ψq(si(t))+γ6)Sgn⁡(si(t))+ζi(t).(27)\dot{s}_i(t)\in r_i(t)-\left(\operatorname{sign}(x_i(t))+\mu_i\right)(\sigma_i+\lambda_i)\operatorname{Sgn}(s_i(t)) -\left(\gamma_4|s_i(t)|^\beta+\gamma_5\Psi_q(s_i(t))+\gamma_6\right)\operatorname{Sgn}(s_i(t))+\zeta_i(t). \tag*{(27)}

Almost-Sure Bounded Disturbances

The following assumption specifies the stochastic disturbance class considered in the analysis.

Assumption 2 (disturbance bound). For each i=1,2,3i=1,2,3, there exists a deterministic constant ζˉi≥0\bar{\zeta}_i\ge0 such that

P(∣ζi(t,ω)∣≤ζˉi for almost every t≥0)=1.(28)\mathbb{P}\left(|\zeta_i(t,\omega)|\le\bar{\zeta}_i\ \text{for almost every }t\ge0\right)=1. \tag*{(28)}

Moreover, the robust reaching gain satisfies γ6>ζˉi\gamma_6>\bar{\zeta}_i, i=1,2,3i=1,2,3.

For later use, define the positive robustness margin δi:=γ6−ζˉi>0\delta_i := \gamma_6 - \bar{\zeta}_i > 0.

Assumption 2 does not require the stochastic perturbation to have zero mean, finite variance, or any particular probability distribution. The disturbance may therefore be biased, non-Gaussian, correlated in time, or generated by uncertain physical parameters, provided that its sample paths satisfy the bound (28) almost surely.

Almost-Sure Finite-Time Reaching

We now show that the finite-time reaching property is preserved under the stochastic perturbations described above.

Theorem 3 (Almost-sure finite-time reaching). Consider the perturbed sliding dynamics (27) and suppose that Assumption 2 holds. Then, for every initial condition si(t0)∈Rs_i(t_0) \in\mathbb{R}, the sliding variable si(t)s_i(t) reaches the manifold Si={si=0}S_i = \{s_i = 0\} in finite time almost surely. More precisely, the hitting time

Ts,i:=inf⁡{t≥t0:si(t)=0}(29)T_{s,i} := \inf\{t \ge t_0 : s_i(t) = 0\} \tag*{(29)}

satisfies

Ts,i−t0≤∣si(t0)∣1−βγ4(1−β)almost surely.(30)T_{s,i} - t_0 \le\frac{|s_i(t_0)|^{1-\beta}}{\gamma_4(1-\beta)} \quad\text{almost surely.} \tag*{(30)}

Moreover, after reaching, the sliding condition can be maintained in the Filippov sense under the disturbance bound (28).

Proof. Consider the Lyapunov function Vi(t)=∣si(t)∣V_i(t) = |s_i(t)|. For si(t)≠0s_i(t) \ne0, the function ViV_i is differentiable almost everywhere and V˙i(t)=sign⁡(si(t))s˙i(t)\dot{V}_i(t) = \operatorname{sign}(s_i(t))\dot{s}_i(t). Using (27), for si(t)≠0s_i(t) \ne0 we obtain

V˙i(t)≤sign⁡(si(t))ri(t)−(sign⁡(xi(t))+μi)(σi+λi)−γ4∣si(t)∣β−γ5Ψq(si(t))−γ6+sign⁡(si(t))ζi(t).\dot{V}_i(t) \le\operatorname{sign}(s_i(t))r_i(t) - \bigl(\operatorname{sign}(x_i(t)) + \mu_i\bigr)(\sigma_i + \lambda_i) - \gamma_4|s_i(t)|^\beta- \gamma_5\Psi_q(s_i(t)) - \gamma_6 + \operatorname{sign}(s_i(t))\zeta_i(t).

From the definition of ri(t)r_i(t) and the bounds (11) and (12), we have

sign⁡(si(t))ri(t)≤∣ri(t)∣≤(sign⁡(xi(t))+μi)(σi+λi).\operatorname{sign}(s_i(t))r_i(t) \le|r_i(t)| \le\bigl(\operatorname{sign}(x_i(t)) + \mu_i\bigr)(\sigma_i + \lambda_i).

Therefore,

V˙i(t)≤−γ4∣si(t)∣β−γ5Ψq(si(t))−γ6+∣ζi(t)∣.\dot{V}_i(t) \le-\gamma_4|s_i(t)|^\beta- \gamma_5\Psi_q(s_i(t)) - \gamma_6 + |\zeta_i(t)|.

By Assumption 2, ∣ζi(t)∣≤ζˉi|\zeta_i(t)| \le\bar{\zeta}_i almost surely. Therefore,

V˙i(t)≤−γ4Vi(t)β−γ5Ψq(si(t))−(γ6−ζˉi)=−γ4Vi(t)β−γ5Ψq(si(t))−δi≤−γ4Vi(t)β(31)\begin{aligned} \dot{V}_i(t) &\le-\gamma_4V_i(t)^\beta- \gamma_5\Psi_q(s_i(t)) - (\gamma_6 - \bar{\zeta}_i) \\ &= -\gamma_4V_i(t)^\beta- \gamma_5\Psi_q(s_i(t)) - \delta_i \\ &\le-\gamma_4V_i(t)^\beta \tag*{(31)} \end{aligned}

for almost every t<Ts,it < T_{s,i} and almost every ω∈Ω\omega\in\Omega. Since 0<β<10 < \beta< 1, inequality (31) can be integrated pathwise. For Vi(t)>0V_i(t) > 0,

ddtVi(t)1−β=(1−β)Vi(t)−βV˙i(t)≤−γ4(1−β).\frac{d}{dt}V_i(t)^{1-\beta} = (1-\beta)V_i(t)^{-\beta}\dot{V}_i(t) \le-\gamma_4(1-\beta).

Now, integration from t0t_0 to t<Ts,it < T_{s,i} yields

Vi(t)1−β≤Vi(t0)1−β−γ4(1−β)(t−t0).V_i(t)^{1-\beta} \le V_i(t_0)^{1-\beta} - \gamma_4(1-\beta)(t-t_0).

Therefore, the right-hand side becomes zero no later than

t=t0+Vi(t0)1−βγ4(1−β),t = t_0 + \frac{V_i(t_0)^{1-\beta}}{\gamma_4(1-\beta)},

which proves (30).

It remains to consider the behavior on the manifold si=0s_i = 0. At si=0s_i = 0, we have Ψq(0)=0\Psi_q(0) = 0 and Sgn⁡(0)=[−1,1]\operatorname{Sgn}(0) = [-1,1]. Therefore, (27) becomes

s˙i∈ri(t)−[(sign⁡(xi(t))+μi)(σi+λi)+γ6][−1,1]+ζi(t).(32)\dot{s}_i \in r_i(t) - \left[\left(\operatorname{sign}(x_i(t))+\mu_i\right)(\sigma_i+\lambda_i)+\gamma_6\right][-1,1]+\zeta_i(t). \tag*{(32)}

From (26), (11), and (12), we have

∣ri(t)∣≤(sign⁡(xi(t))+μi)(σi+λi).\lvert r_i(t)\rvert\le\left(\operatorname{sign}(x_i(t))+\mu_i\right)(\sigma_i+\lambda_i).

Hence, by Assumption 2,

∣ri(t)+ζi(t)∣≤∣ri(t)∣+∣ζi(t)∣≤(sign⁡(xi(t))+μi)(σi+λi)+ζˉi<(sign⁡(xi(t))+μi)(σi+λi)+γ6\begin{aligned} \lvert r_i(t)+\zeta_i(t)\rvert&\le\lvert r_i(t)\rvert+\lvert\zeta_i(t)\rvert\\ &\le\left(\operatorname{sign}(x_i(t))+\mu_i\right)(\sigma_i+\lambda_i)+\bar{\zeta}_i \\ &< \left(\operatorname{sign}(x_i(t))+\mu_i\right)(\sigma_i+\lambda_i)+\gamma_6 \end{aligned}

almost surely.

Therefore, zero belongs to the right-hand side of (32). Hence, an admissible Filippov selection can satisfy s˙i=0\dot{s}_i = 0 on the manifold, so the sliding condition can be maintained after reaching. Therefore, si=0s_i = 0 is invariant in the Filippov sense.

The argument holds for every disturbance realization belonging to the probability-one event defined by (28). Hence the finite-time reaching result holds almost surely.

Finite-Time Stabilization of the State Variables

Theorem 3 establishes finite-time reaching of the sliding manifold under bounded stochastic perturbations. Once si=0s_i = 0 has been reached, the state dynamics are governed by the equivalent sliding dynamics derived in § 3. Under the conditions of Theorem 1, these dynamics drive the states to the desired equilibrium in finite time.

Let Ts,iT_{s,i} denote the reaching time from Theorem 3 and let Tx,iT_{x,i} denote the additional finite time required for the corresponding state xix_i to reach zero along the sliding manifold. Then, the total convergence time satisfies Ti≤Ts,i+Tx,iT_i \le T_{s,i}+T_{x,i} almost surely.

In particular, applying the finite-time argument to each component of the sliding dynamics (15) yields

Tx,i≤(μi+1)∣xi(Ts,i)∣1−ωγ1(1−ω).T_{x,i} \le\frac{(\mu_i+1)\lvert x_i(T_{s,i})\rvert^{1-\omega}}{\gamma_1(1-\omega)}.

Consequently,

Ti≤t0+∣si(t0)∣1−βγ4(1−β)+(μi+1)∣xi(Ts,i)∣1−ωγ1(1−ω)T_i \le t_0+\frac{\lvert s_i(t_0)\rvert^{1-\beta}}{\gamma_4(1-\beta)}+\frac{(\mu_i+1)\lvert x_i(T_{s,i})\rvert^{1-\omega}}{\gamma_1(1-\omega)}

almost surely.

Thus, bounded stochastic perturbations do not destroy the finite-time stabilization property, provided that the robust control margin γ6−ζˉi\gamma_6-\bar{\zeta}_i remains strictly positive.

High-Probability Disturbance Bounds

Assumption 2 provides an almost-sure disturbance bound. In some applications, however, only a high-probability bound may be available. The pathwise argument above can then be used conditionally on the corresponding high-probability event.

Suppose that, for a prescribed time horizon T>t0T > t_0, there exist ζˉi>0\bar{\zeta}_i > 0 and ϵi∈(0,1)\epsilon_i \in(0,1) such that

P(sup⁡t0≤t≤T∣ζi(t)∣≤ζˉi)≥1−ϵi.(33)\mathbb{P}\left(\sup_{t_0\le t\le T}\lvert\zeta_i(t)\rvert\le\bar{\zeta}_i\right)\ge1-\epsilon_i. \tag*{(33)}

and assume again that γ6>ζˉi\gamma_6 > \bar{\zeta}_i. Define the deterministic upper bound

T^s,i=t0+∣si(t0)∣1−βγ4(1−β).(34)\widehat{T}_{s,i}=t_0+\frac{\lvert s_i(t_0)\rvert^{1-\beta}}{\gamma_4(1-\beta)}. \tag*{(34)}

If T^s,i≤T\widehat{T}_{s,i}\le T, then the pathwise proof of Theorem 3 applies on the event appearing in (33). Consequently, we have the following corollary.

Corollary 1 (Finite-time reaching with prescribed probability). If the disturbance satisfies (33), γ6>ζˉi\gamma_{6} > \bar{\zeta}_{i}, and T^s,i≤T\hat{T}_{s,i} \le T, then

P(Ts,i≤T^s,i)≥1−ϵi.\mathbb{P}\left(T_{s,i} \le\hat{T}_{s,i}\right) \ge1-\epsilon_{i}.

Thus, any available high-probability bound for the stochastic disturbance directly yields a corresponding probabilistic guarantee for finite-time reaching.

Graph-Learning-Based Controller Parameter Optimization

This section presents the graph-learning framework developed to optimize the controller parameters. The system information is first organized through graph representation and feature extraction, followed by the formulation of the learning objective and a GCN-based actor-critic scheme for parameter optimization.

Learning-Based Parameter-Tuning Framework

The design parameters of the proposed sliding-mode controller directly influence the transient response, reaching behavior, and control effort of the closed-loop system. To avoid extensive trial-and-error tuning, their selection is formulated as a constrained sequential decision problem and addressed through a deep reinforcement learning (DRL) framework [19].

At each learning step kk, the agent receives a descriptor ξk\boldsymbol{\xi}_{k} of the closed-loop behavior and generates a parameter-selection action νk\boldsymbol{\nu}_{k}. The selected parameters are applied to the proposed controller, and the resulting system response provides the subsequent descriptor ξk+1\boldsymbol{\xi}_{k+1} together with a scalar reward Rk\mathcal{R}_{k}. The parameter-selection policy is denoted by ΠϑA\boldsymbol{\Pi}_{\vartheta_{A}}, where ϑA\vartheta_{A} represents the trainable actor parameters.

The quality of a state-action pair under policy Π\Pi is characterized through the discounted return

CΠ(ξk,νk)=EΠ[∑m=0TLλdmRk+m],(35)\mathcal{C}^{\Pi}(\boldsymbol{\xi}_{k},\boldsymbol{\nu}_{k}) = \mathbb{E}_{\Pi}\left[\sum_{m=0}^{T_{L}}\lambda_{d}^{m}\mathcal{R}_{k+m}\right], \tag*{(35)}

where λd∈[0,1)\lambda_{d} \in[0,1) is the discount factor and TLT_{L} denotes the learning horizon. The objective is to learn a policy that improves the expected return while restricting the generated controller parameters to their theoretically admissible ranges. Therefore, the DRL mechanism is employed for parameter optimization rather than direct generation of the control input. The overall workflow of the proposed graph-learning-based parameter optimization is illustrated in Figure 5, showing the interaction between the learning process and the UFT-SMC.

Image not extracted

Figure 5. Overall structure of the proposed graph-learning-based parameter optimization framework for the UFT-SMC.

Graph Representation and Feature Extraction

A graph convolutional network (GCN) is employed to exploit the coupling structure of the Chua dynamics. The closed-loop system is represented by Gc=(Vc,Ec)\mathcal{G}_{c}=(\mathcal{V}_{c},\mathcal{E}_{c}), where the three state channels constitute the graph nodes, Vc={v1,v2,v3}\mathcal{V}_{c}=\{v_{1},v_{2},v_{3}\}, vi↔xiv_{i}\leftrightarrow x_{i}. According to the dynamical interconnections, x1x_{1} is coupled with x2x_{2}, x2x_{2} interacts with both x1x_{1} and x3x_{3}, and x3x_{3} is coupled with x2x_{2}. The corresponding adjacency matrix reads

Ac=[110111011].(36)\mathbf{A}_{c}=\begin{bmatrix}1 & 1 & 0\\1 & 1 & 1\\0 & 1 & 1\end{bmatrix}. \tag*{(36)}

The diagonal entries account for the self-connections of the graph nodes. Hence, the graph topology is directly obtained from the coupling structure of the plant dynamics.

To provide the learning network with both system and control information, the node-feature matrix is

XG(k)=[x1(k)s1(k)u1(k)x2(k)s2(k)u2(k)x3(k)s3(k)u3(k)],(37)\mathbf{X}_{\mathrm{G}}(k)=\begin{bmatrix}x_{1}(k) & s_{1}(k) & u_{1}(k)\\x_{2}(k) & s_{2}(k) & u_{2}(k)\\x_{3}(k) & s_{3}(k) & u_{3}(k)\end{bmatrix}, \tag*{(37)}

where xix_{i}, sis_{i}, and uiu_{i} denote the state, sliding variable, and control input of the iith channel, respectively.

Let HG(0)=XG\mathbf{H}_{\mathrm{G}}^{(0)}=\mathbf{X}_{\mathrm{G}}. The graph-convolution operation combines the node features according to the connectivity encoded by Ac\mathbf{A}_{c}. The ℓ\ellth graph layer is expressed as

HG(ℓ+1)=σg(Dc−1/2AcDc−1/2HG(ℓ)WG(ℓ)+bG(ℓ)),(38)\mathbf{H}_{\mathrm{G}}^{(\ell+1)}=\sigma_{g}\left(\mathbf{D}_{c}^{-1/2}\mathbf{A}_{c}\mathbf{D}_{c}^{-1/2}\mathbf{H}_{\mathrm{G}}^{(\ell)}\mathbf{W}_{\mathrm{G}}^{(\ell)}+\mathbf{b}_{\mathrm{G}}^{(\ell)}\right), \tag*{(38)}

where Dc\mathbf{D}_{c} is the degree matrix associated with Ac\mathbf{A}_{c}, WG(ℓ)\mathbf{W}_{\mathrm{G}}^{(\ell)} and bG(ℓ)\mathbf{b}_{\mathrm{G}}^{(\ell)} are trainable parameters, and σg(⋅)\sigma_{g}(\cdot) denotes the activation function. The output of the final graph layer is aggregated into a latent representation zk\mathbf{z}_{k}, which is subsequently supplied to the actor-critic architecture.

Controller Parameterization and Learning Objective

The action generated by the learning framework determines the adjustable parameters of the proposed controller. The optimization vector is defined as

Θc=[γ1γ2γ3γ4γ5γ6μ1μ2μ3]T.(39)\boldsymbol{\Theta}_{c}=\left[\gamma_{1}\quad\gamma_{2}\quad\gamma_{3}\quad\gamma_{4}\quad\gamma_{5}\quad\gamma_{6}\quad\mu_{1}\quad\mu_{2}\quad\mu_{3}\right]^{\mathsf{T}}. \tag*{(39)}

Here, γ1\gamma_{1}, γ2\gamma_{2}, γ3\gamma_{3} and μi\mu_{i} are associated with the sliding-surface design, whereas γ4\gamma_{4}, γ5\gamma_{5}, γ6\gamma_{6} determine the reaching dynamics of the controller. The exponent parameters ω\omega, pp, β\beta, and qq are kept fixed within their theoretically admissible ranges to reduce the search dimension and preserve the conditions employed in the convergence analysis.

Each optimized parameter is restricted to a prescribed interval, θj−≤θj≤θj+\theta_{j}^{-}\leq\theta_{j}\leq\theta_{j}^{+}, θj∈Θc\theta_{j}\in\boldsymbol{\Theta}_{c}, while the controller-design requirements impose γj>0\gamma_{j}>0, j=1,…,6j=1,\ldots,6, μi>1\mu_{i}>1, i=1,2,3i=1,2,3. Thus, the learning process explores only parameter combinations consistent with the theoretical controller design. The learning reward accounts for state stabilization, convergence toward the sliding manifold, and control effort:

Rk=−[cx∥x(k)∥22+cs∥s(k)∥22+cu∥u(k)∥22],(40)R_{k}=-\left[c_{x}\lVert\mathbf{x}(k)\rVert_{2}^{2}+c_{s}\lVert\mathbf{s}(k)\rVert_{2}^{2}+c_{u}\lVert\mathbf{u}(k)\rVert_{2}^{2}\right], \tag*{(40)}

where cxc_{x}, csc_{s}, cu>0c_{u}>0 are weighting coefficients. This reward (40) is used during training, while the conventional integral performance indices are reserved for the quantitative evaluation of the final closed-loop responses.

GCN-Based Actor-Critic Parameter Optimization

The latent graph representation zk\mathbf{z}_{k} is provided to the actor, which generates a candidate controller-parameter vector. To guarantee feasible parameter values, the actor output is passed through a bound-preserving mapping MΘ(⋅)\mathcal{M}_{\Theta}(\cdot):

Θc,k=MΘ[A(zk;ϑA)],(41)\boldsymbol{\Theta}_{c,k}=\mathcal{M}_{\Theta}\left[\mathcal{A}(\mathbf{z}_{k};\vartheta_{A})\right], \tag*{(41)}

where A(⋅)\mathcal{A}(\cdot) denotes the actor and ϑA\vartheta_{A} represents its trainable parameters. The resulting Θc,k\boldsymbol{\Theta}_{c,k} is employed in the proposed sliding surface and control law, and the corresponding closed-loop response is used to evaluate the selected parameters.

The critic C(zk,Θc,k;ϑC)C(z_k,\boldsymbol{\Theta}_{c,k};\vartheta_C) estimates the long-term quality of the actor decision, where ϑC\vartheta_C denotes the critic parameters. Target actor and critic networks, denoted by A−A^{-} and C−C^{-}, are employed to improve learning stability. For the jjth sample extracted from the replay memory, the target value is calculated as

Yj=Rj+λdC−(zj+1,MΘ[A−(zj+1)]).(42)Y_j = R_j + \lambda_d C^{-}\left(z_{j+1},\mathcal{M}_{\Theta}\left[A^{-}(z_{j+1})\right]\right). \tag*{(42)}

The critic parameters are updated by minimizing the temporal-difference loss

JC=1NB∑j=1NB[Yj−C(zj,Θc,j;ϑC)]2,(43)J_C = \frac{1}{N_B}\sum_{j=1}^{N_B}\left[Y_j-C\left(z_j,\boldsymbol{\Theta}_{c,j};\vartheta_C\right)\right]^2, \tag*{(43)}

where NBN_B denotes the mini-batch size. The actor parameters are updated using the deterministic policy gradient

∇ϑAJA≈1NB∑j=1NB∇ΘcC(zj,Θc;ϑC)∣Θc=MΘ[A(zj;ϑA)]×∇ϑAMΘ[A(zj;ϑA)].(44)\nabla_{\vartheta_A}J_A \approx\frac{1}{N_B}\sum_{j=1}^{N_B}\left.\nabla_{\boldsymbol{\Theta}_c}C\left(z_j,\boldsymbol{\Theta}_c;\vartheta_C\right)\right|_{\boldsymbol{\Theta}_c=\mathcal{M}_{\Theta}[A(z_j;\vartheta_A)]}\times\nabla_{\vartheta_A}\mathcal{M}_{\Theta}\left[A(z_j;\vartheta_A)\right]. \tag*{(44)}

The target-network parameters are softly updated according to

ϑA,C−←(1−ϵt)ϑA,C−+ϵtϑA,C,0<ϵt≪1.(45)\vartheta^{-}_{A,C}\leftarrow(1-\epsilon_t)\vartheta^{-}_{A,C}+\epsilon_t\vartheta_{A,C},\qquad0<\epsilon_t\ll1. \tag*{(45)}

During training, exploratory perturbations are introduced to examine different regions of the admissible parameter space, and the resulting transitions are stored in replay memory for network updates. After convergence, the best admissible parameter vector Θ∗\boldsymbol{\Theta}^{*} is retained and employed in the proposed sliding-mode controller for the final closed-loop implementation.

Numerical Simulations

The effectiveness of the proposed approach is examined under the considered simulation setup, with further comparisons providing a quantitative assessment of its control performance.

Simulation Setup

Numerical simulations are carried out in MATLAB to evaluate the finite-time stabilization performance of the proposed UFT-SMC method (18) for the uncertain Chua chaotic system (6). The initial conditions are selected as x1(0)=0.1x_1(0)=0.1, x2(0)=0.05x_2(0)=0.05, and x3(0)=0x_3(0)=0. The controller is activated at t=0.1 st=0.1\,\mathrm{s}, while the control inputs and sliding variables are set to zero prior to this instant. The controller parameters are determined using the GCN-based actor-critic optimization framework as σ1=4.2\sigma_1=4.2, σ2=1.3\sigma_2=1.3, σ3=0.001\sigma_3=0.001, λ1=λ2=λ3=0.2\lambda_1=\lambda_2=\lambda_3=0.2, γ1=2.43\gamma_1=2.43, γ2=1.9\gamma_2=1.9, γ3=2.46\gamma_3=2.46, γ4=1.72\gamma_4=1.72, γ5=3.11\gamma_5=3.11, γ6=2.77\gamma_6=2.77, μ1=μ2=μ2=1.4\mu_1=\mu_2=\mu_2=1.4, p=1.65p=1.65, q=1.87q=1.87, and ω=β=0.8\omega=\beta=0.8.

Figure 6 (a-Figure 6c) presents the closed-loop state responses of the stabilized Chua chaotic system (6). Before the controller is activated, the trajectories retain the oscillatory behavior of the uncontrolled chaotic system. Once the control action is applied at t=0.1 st=0.1\,\mathrm{s}, x1(t)x_1(t), x2(t)x_2(t), and x3(t)x_3(t) are rapidly driven toward the origin and reach a small neighborhood of the equilibrium within a finite time. The subsequent responses remain close to zero, demonstrating successful suppression of the chaotic dynamics and the finite-time stabilization capability of the proposed controller.

Image not extracted

Figure 6. Closed-loop evolution of the uncertain Chua system under the proposed finite-time control scheme: (a) x1(t)x_1(t); (b) x2(t)x_2(t); and (c) x3(t)x_3(t).

Moreover, the reaching behaviour of the sliding variables is illustrated in Figure 7 (a-Figure 7c). Following controller activation, s1(t)s_1(t), s2(t)s_2(t), and s3(t)s_3(t) rapidly decay toward zero and reach the sliding manifold within a short finite-time interval. Their Euclidean norm, ∥s(t)∥2=s12(t)+s22(t)+s32(t)\lVert s(t)\rVert_2 = \sqrt{s_1^2(t) + s_2^2(t) + s_3^2(t)}, provides a compact representation of this behavior. As observed in Figure 7 (d), the norm rapidly approaches zero and remains close to the origin thereafter. These responses are consistent with the finite-time reaching property established in the theoretical analysis.

Image not extracted

Figure 7. Finite-time reaching characteristics of the proposed sliding-mode scheme: (a) s1(t)s_1(t); (b) s2(t)s_2(t); (c) s3(t)s_3(t); and (d) ∥s(t)∥2\lVert s(t)\rVert_2.

Furthermore, Figure 8 (a-Figure 8c) depicts the control signals during the stabilization process. Immediately after activation, the proposed controller provides the control action required to suppress the chaotic motion while respecting the prescribed saturation limits. The control signals remain bounded by these limits during the transient response and decrease rapidly as the states approach the equilibrium. Their Euclidean norm, ∥u(t)∥2=u12(t)+u22(t)+u32(t)\lVert u(t)\rVert_2 = \sqrt{u_1^2(t) + u_2^2(t) + u_3^2(t)}, further shows the reduction in the required control effort after stabilization. As seen in Figure 8(d), only a small control action is required once the finite-time transient has elapsed. Hence, the saturation mechanism effectively constrains the control amplitudes without preventing the rapid stabilization of the chaotic system.

Image not extracted

Figure 8. Control activity during the finite-time stabilization process: (a) u1(t)u_1(t); (b) u2(t)u_2(t); (c) u3(t)u_3(t); and (d) ∥u(t)∥2\lVert\mathbf{u}(t) \rVert_2.

Taken together, the state, sliding-variable, and control responses confirm that the proposed UFT-SMC (18) scheme suppresses the chaotic dynamics within a finite time, rapidly establishes the sliding motion, and maintains the required control action within the prescribed saturation limits.

Comparative and Performance Evaluation

The control performance of the proposed UFT-SMC is compared with the method reported in [20], with the corresponding state responses shown in Figure 9. Both controllers suppress the chaotic oscillations after activation at t=0.1t = 0.1 s. The UFT-SMC, however, regulates the states more rapidly, particularly during the transient period following control activation. The enlarged regions also reveal a clear difference near the equilibrium point, where the proposed controller maintains the states closer to zero with smaller residual errors than the existing method.

Figure 9. Comparison of the state responses obtained using the proposed UFT-SMC and the existing method in [20].

The comparison is further quantified using four performance indices: the integral absolute error (IAE), integral squared error (ISE), integral time-weighted absolute error (ITAE), and integral time-weighted squared error (ITSE), defined as

IAE⁡=∫0T∑i=13∣xi(t)∣ dt,ISE⁡=∫0T∑i=13xi2(t) dt,(46)\operatorname{IAE} = \int_{0}^{T} \sum_{i=1}^{3} |x_i(t)|\,\mathrm{d}t,\qquad\operatorname{ISE} = \int_{0}^{T} \sum_{i=1}^{3} x_i^2(t)\,\mathrm{d}t, \tag*{(46)}
ITAE⁡=∫0Tt∑i=13∣xi(t)∣ dt,ITSE⁡=∫0Tt∑i=13xi2(t) dt.\operatorname{ITAE} = \int_{0}^{T} t \sum_{i=1}^{3} |x_i(t)|\,\mathrm{d}t,\qquad\operatorname{ITSE} = \int_{0}^{T} t \sum_{i=1}^{3} x_i^2(t)\,\mathrm{d}t.

Figure 10(a)–(Figure 10b) compares the four performance indices obtained with the UFT-SMC and the controller in [20]. The proposed controller achieves lower values in every case, with IAE and ISE decreasing from 0.2786 to 0.1968 and from 0.1920 to 0.1308, respectively. These reductions indicate that the UFT-SMC limits both the accumulated absolute state deviations and their squared magnitudes more effectively over the evaluation interval.

Image not extracted

Figure 10. Performance comparison of the proposed UFNTSMC, and the existing method in [20]: (a) IAE and ISE, (b) ITAE and ITSE, and (c) percentage improvement relative to the existing method in [20].

The relative improvement is quantified as

Improvement⁡(%)=JRef.[20]−JUFT−SMCJRef.[20]×100,\operatorname{Improvement}(\%) = \frac{J_{\mathrm{Ref.}[20]} - J_{\mathrm{UFT-SMC}}}{J_{\mathrm{Ref.}[20]}} \times100,

where JJ denotes the corresponding performance index. As summarized in Figure 10(c), the reductions in IAE, ISE, ITAE, and ITSE are 29.36 %, 31.88 %, 44.56 %, and 40.38 %, respectively. The larger relative gains in ITAE and ITSE are particularly relevant because these indices assign greater weight to deviations occurring at later times. Taken together, the results support the superior regulation performance of the UFT-SMC in this comparison, with smaller accumulated state deviations and more effective suppression of errors persisting at later times.

Conclusion

The Chua circuit remains a representative nonlinear system for studying chaotic dynamics and assessing control strategies under physically meaningful operating conditions. In this work, a graph-learning-assisted UFT-SMC was developed for its finite-time stabilization in the presence of input saturation, uncertainties, and external disturbances. The controller suppresses the chaotic oscillations and drives the circuit states to the desired equilibrium within a short transient period, while the sliding variables converge to zero and the control inputs remain within their prescribed bounds. The graph-learning scheme was used to tune the controller parameters according to their influence on the closed-loop response, reducing the need for manual parameter adjustment. The resulting design showed faster regulation, smaller residual errors, and better integral performance indices than the existing method considered for comparison. These results show that graph-based learning can be effectively incorporated into nonlinear control design as a practical parameter-tuning tool without altering the underlying control structure. Future work will consider experimental validation of the proposed approach and its application to other nonlinear and fractional-order dynamical systems.

Declaration of Interests

The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.

Declaration on the Use of Artificial Intelligence

The authors used ChatGPT (OpenAI) for language editing and improving the clarity of the manuscript. The authors are fully responsible for the scientific content.

References

  1. [1]S.N. Rasband. Chaotic Dynamics of Nonlinear Systems. Dover Books on Physics. Dover Publications, 2015. ISBN: 9780486805771.
  2. [2]Akshay Kumar Jaiswal and Bharat Bhushan Sharma. “Cluster synchronization of networks of chaotic systems: A comprehensive review of theory and applications”. In: IETE Technical Review 41.5 (2024), pp. 537–556. DOI: 10.1080/02564602.2024.2341076.DOI
  3. [3]Leon O. Chua. “Chua’s circuit 10 years later”. In: International Journal of Circuit Theory and Applications 22.4 (1994), pp. 279–305. DOI: 10.1002/cta.4490220404.DOI
  4. [4]M. P. Kennedy. “Robust OP Amp Realization of Chua’s Circuit”. In: Frequenz 46.3-4 (1992), pp. 66–80. ISSN: 21916349, 00161136. DOI: 10.1515/FREQ.1992.46.3-4.66.DOI
  5. [5]Hoai Vu Anh Truong, Seokho Nam, Sejin Kim, Youngwan Kim, and Wan Kyun Chung. “Backstepping-Sliding-Mode-Based Neural Network Control for Electro-Hydraulic Actuator Subject to Completely Unknown System Dynamics”. In: IEEE Transactions on Automation Science and Engineering 21.4 (2024), pp. 6202–6216. DOI: 10.1109/TASE.2023.3323148.DOI
  6. [6]Mohammad Pourmahmoood Aghababa. “Sliding-Mode Control Composite With Disturbance Observer for Tracking Control of Mismatched Uncertain nDoF Nonlinear Systems”. In: IEEE/ASME Transactions on Mechatronics 23.1 (2018), pp. 482–490. DOI: 10.1109/TMECH.2017.2781624.DOI
  7. [7]Mohammad Pourmahmood Aghababa, Ahmad Reza Haghighi, and Majid Roohi. “Stabilisation of unknown fractional-order chaotic systems: an adaptive switching control strategy with application to power systems”. In: IET generation, transmission & distribution 9.14 (2015), pp. 1883–1893.DOI
  8. [8]Mourad Azioune, Mohammed Salah Abdelouahab, and René Lozi. “Bifurcation Analysis of a Cournot Triopoly Game with Bounded Rationality and Chaos Control Via the OGY Method”. In: International Journal of Bifurcation and Chaos 35.08 (2025), p. 2530019. DOI: 10.1142/S0218127425300198.DOI
  9. [9]Yves Ulrich, Christopher Edwards, Leonid Fridman, Arie Levant, et al. Sliding mode control and observation. Vol. 10. Springer, 2014.
  10. [10]Zhang Zhang, Xiaodong Yang, Weiyu Wang, Kaiwen Chen, Norbert Chow Cheung, and Jianfei Pan. “Enhanced Sliding Mode Control for PMSM Speed Drive Systems Using a Novel Adaptive Sliding Mode Reaching Law Based on Exponential Function”. In: IEEE Transactions on Industrial Electronics 71.10 (2024), pp. 11978–11988. DOI: 10.1109/TIE.2023.3347845.DOI
  11. [11]Elisabeth Andarge Gedefaw, Chala Merga Abdissa, and Lebsework Negash Lemma. “An improved trajectory tracking control of quadcopter using a novel sliding mode control with fuzzy PID surface”. In: PloS one 19.11 (2024), e0308997. DOI: 10.1371/journal.pone.0308997.DOI
  12. [12]Tamil Selvi Sakthivel, Prakash Ragupathy, and Nagarajan Chinnadurai. “Adaptive sliding mode control of multilevel grid-connected inverters using reinforcement learning for enhanced LVRT performance”. In: Electric Power Systems Research 253 (2026), p. 114128. ISSN: 0378-7796. DOI: 10.1016/j.epsr.2025.112428.
  13. [13]Hao Feng, Qianyu Song, Shoulei Ma, Wei Ma, Chenbo Yin, Donghui Cao, and Hongfu Yu. “A new adaptive sliding mode controller based on the RBF neural network for an electro-hydraulic servo system”. In: ISA Transactions 129 (2022), pp. 472–484. ISSN: 0019-0578. DOI: 10.1016/j.isatra.2021.12.044.DOI
  14. [14]Geta Menyechel Eneyew, Wubshet Ayalew Asfaw, and Chala Merga Abdissa. “Optimized backstepping fuzzy sliding mode controller for trajectory tracking of mobile manipulator”. In: Engineering Reports 7.7 (2025), e70269.
  15. [15]Negin Ramezani Pargami, Sohrab Ali Ghorbanian, and Hooman Fatoorehchi. “Fuzzy logic-enhanced sliding mode control of Belousov–Zhabotinsky reaction dynamics”. In: The Canadian Journal of Chemical Engineering 104.2 (2026), pp. 781–795.
  16. [16]Jianglin Lan, Xianxian Zhao, and Congcong Sun. “Data-Driven Sliding Mode Control for Partially Unknown Nonlinear Systems”. In: International Journal of Robust and Nonlinear Control 36.2 (2026), pp. 629–638.arxiv.org/abs/2403.16136
  17. [17]PF Curran and LO Chua. “Absolute stability theory and the synchronization problem”. In: International Journal of Bifurcation and Chaos 7.06 (1997), pp. 1375–1382.DOI
  18. [18]Alexander L Fradkov and Robin J Evans. “Control of chaos: Methods and applications in engineering”. In: Annual Reviews in Control 29.1 (2005), pp. 33–56.DOI
  19. [19]Pegah Rokhforoz, Mina Montazeri, and Olga Fink. “Multi-agent reinforcement learning with graph convolutional neural networks for optimal bidding strategies of generation units in electricity markets”. In: Expert Systems with Applications 225 (2023), p. 120010. ISSN: 0957-4174. DOI: 10.1016/j.eswa.2023.120010.DOI
  20. [20]Zhonghua Wu, Shuaipeng Zheng, Yunji Zhao, Bojun Liu, and Junkang Ni. “Fixed-time composite neural learning control of state-constrained nonlinear uncertain systems”. In: Journal of the Franklin Institute 358.16 (2021), pp. 8138–8168. ISSN: 0016-0032. DOI: 10.1016/j.jfranklin.2021.08.013.DOI

Paper details

vlnc:W_k66bqjmt
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY 4.0

Original source

  • Mathematics

Not recorded for this paper · View statement →

Looking for related papers…
Contents