HTML conversions sometimes display errors due to content that did not convert correctly from the source. This paper uses the following packages that are not yet supported by the HTML conversion tool. Feedback on these issues are not necessary; they are known and are being worked on.

  • failed: yhmath
  • failed: extarrows
  • failed: kpfonts

Authors: achieve the best HTML results from your LaTeX submissions by following these best practices.

License: CC BY 4.0
arXiv:2403.00970v1 [cs.RO] 01 Mar 2024

Nussbaum Function Based Approach for Tracking Control of Robot Manipulators

Hamed Rahimi Nohooji Interdisciplinary Centre for Security, Reliability
and Trust (SnT), Automation Robotics Research Group
University of Luxembourg
Email: hamed.rahimi@uni.lu
   Holger Voos Faculty of Science, Technology and Medicine (FSTM)
Department of Engineering
University of Luxembourg
Interdisciplinary Centre for Security, Reliability
and Trust (SnT), Automation Robotics Research Group
Email: holger.voos@uni.lu
Abstract

This paper introduces a novel Nussbaum function-based PID control for robotic manipulators. The integration of the Nussbaum function into the PID framework provides a solution with a simple structure that effectively tackles the challenge of unknown control directions. Stability is achieved through a combination of neural network-based estimation and Lyapunov analysis, facilitating automatic gain adjustment without the need for system dynamics. Our approach offers a gain determination with minimum parameter requirements, significantly reducing the complexity and enhancing the efficiency of robotic manipulator control. The paper guarantees that all signals within the closed-loop system remain bounded. Lastly, numerical simulations validate the theoretical framework, confirming the effectiveness of the proposed control strategy in enhancing robotic manipulator control.

Index Terms:
Nussbaum function, Robot Manipulator, PID Control, Adaptive Control, Unknown Control Direction.

I Introduction

The rapid expansion of robotic systems across various industries has driven the development of advanced control mechanisms to enhance their functionality and adaptability. Despite the progress facilitated by rigorous mathematical frameworks, the nonlinearities and uncertainties intrinsic to robotic operations continue to pose significant challenges. This reality highlights the need for advanced control strategies like fuzzy logic [1], Kalman filter [2], iterative learning control [3], and actor–critic learning [4] to effectively counteract these complexities. However, the inherent complexity of these methods often complicates their application in real-world scenarios, underscoring the ongoing research imperative to refine and simplify control solutions for robotic manipulators.

In the field of control for robotic manipulators, PID control is recognized for its intuitive design and simplicity, positioning it as a pillar for both theoretical exploration and practical application across numerous real-world systems [5, 6]. It addresses the widespread issue of complexity in robotic control strategies. However, traditional PID controls face limitations, particularly in weight updating, stability assurance, and the need for extensive parameter tuning in dynamic environments [7]. Attempts to refine PID control, such as employing optimization techniques for gain tuning, aim to enhance its adaptability [8, 9, 10]. However, these enhancements can introduce new complexities, somewhat undermining the original appeal of PID control’s simplicity.

Understanding the direction of control gain is crucial in robotic system control, as incorrect application can destabilize the system instead of guiding it to the desired state. While various methods exist to address the unknown control direction, such as logic-based switching [11], extreme seeking [12], and nonlinear PI control [13], the Nussbaum function approach [14] is the most studied method [15, 16, 17, 18]. Implementing Nussbaum-based strategies in robotic control is effective; however, their integration into the comprehensive control framework can complicate the overall system. This scenario highlights the importance of developing more accessible strategies that utilize the Nussbaum function’s advantages while avoiding excessive complexity in the control framework.

Given the complexities and challenges previously discussed, our research is driven by the need to develop a control strategy that is simple and low in complexity, effectively managing the critical aspect of unknown control gain direction in robotic manipulators. Acknowledging the limitations of traditional PID controls and the complexities of Nussbaum-based methods, we introduce a novel approach that combines the simple structure of PID control with the capability of the Nussbaum function. This method ensures stability and enhances performance, offering a control mechanism that is inexpensive in online computational demands, and effectively bridging the mentioned gap in robotic control strategies.

In this work, we present a control strategy for robotic manipulators, tackling unknown dynamics and control directions through an adaptive Nussbaum-based control. Our approach, rooted in the PID control structure, simplifies yet enhances the control scheme’s effectiveness. Different from conventional PID methods, we ensure the closed-loop system’s stability through direct Lyapunov analysis. Additionally, our strategy features automatic gain adjustment and utilizes linking parameters, significantly reducing the number of tuning requirements, and thereby enhancing the system’s efficiency and response without complicating the control framework. The main contribution can be summarized as follows:

  • We integrate the Nussbaum function into the PID structure for the control of robotic manipulators. The controller is simple, yet it guarantees stability without requiring knowledge of robot dynamics or control direction.

  • By employing linked PID terms and establishing adaptive laws, the controller automates gain determination with minimal parameter requirements, thereby facilitating its application in real-time scenarios.

The rest of the paper is structured as follows: Section II delves into problem formulation and preliminaries, setting the theoretical groundwork. Section III introduces the Nussbaum Function-based control design and its stability analysis. Numerical simulations demonstrating the control strategy’s effectiveness are presented in Section IV. The paper concludes with Section V, summarizing the key findings and implications of this research.

II Problem Formulation And Priliminaries

II-A Problem Formulation

Consider the robotic system described in the joint space q(t)n×1𝑞𝑡superscript𝑛1q(t)\in\mathbb{R}^{n\times 1}italic_q ( italic_t ) ∈ blackboard_R start_POSTSUPERSCRIPT italic_n × 1 end_POSTSUPERSCRIPT as [19, 20],

M(q(t))q¨(t)+C(q(t),q˙(t))q˙(t)+G(t)=τ(t)𝑀𝑞𝑡¨𝑞𝑡𝐶𝑞𝑡˙𝑞𝑡˙𝑞𝑡𝐺𝑡𝜏𝑡M(q(t))\ddot{q}(t)+C(q(t),\dot{q}(t))\dot{q}(t)+G(t)=\tau(t)\quaditalic_M ( italic_q ( italic_t ) ) over¨ start_ARG italic_q end_ARG ( italic_t ) + italic_C ( italic_q ( italic_t ) , over˙ start_ARG italic_q end_ARG ( italic_t ) ) over˙ start_ARG italic_q end_ARG ( italic_t ) + italic_G ( italic_t ) = italic_τ ( italic_t ) (1)

where M(q(t))n×n𝑀𝑞𝑡superscript𝑛𝑛M(q(t))\in\mathbb{R}^{n\times n}italic_M ( italic_q ( italic_t ) ) ∈ blackboard_R start_POSTSUPERSCRIPT italic_n × italic_n end_POSTSUPERSCRIPT denotes a positive definite inertial matrix; C(q(t),q˙(t))n×n𝐶𝑞𝑡˙𝑞𝑡superscript𝑛𝑛C(q(t),\dot{q}(t))\in\mathbb{R}^{n\times n}italic_C ( italic_q ( italic_t ) , over˙ start_ARG italic_q end_ARG ( italic_t ) ) ∈ blackboard_R start_POSTSUPERSCRIPT italic_n × italic_n end_POSTSUPERSCRIPT represents the Coriolis and centrifugal matrix; G(t)n×1𝐺𝑡superscript𝑛1G(t)\in\mathbb{R}^{n\times 1}italic_G ( italic_t ) ∈ blackboard_R start_POSTSUPERSCRIPT italic_n × 1 end_POSTSUPERSCRIPT denotes the gravitational force vector. τ(t)n×1𝜏𝑡superscript𝑛1\tau(t)\in\mathbb{R}^{n\times 1}italic_τ ( italic_t ) ∈ blackboard_R start_POSTSUPERSCRIPT italic_n × 1 end_POSTSUPERSCRIPT represents the actual torque applied to the robotic system. Furthermore, in practical systems, the actual torque is affected by unknown actuator dynamics and can be expressed as [21],

τ(t)=κu(t),𝜏𝑡𝜅𝑢𝑡\tau(t)=\kappa u(t),\quaditalic_τ ( italic_t ) = italic_κ italic_u ( italic_t ) , (2)

where the nonlinear matrix κn×n𝜅superscript𝑛𝑛\kappa\in\mathbb{R}^{n\times n}italic_κ ∈ blackboard_R start_POSTSUPERSCRIPT italic_n × italic_n end_POSTSUPERSCRIPT is an unknown control direction, and u(t)𝑢𝑡u(t)italic_u ( italic_t ) represents the control input.
The following properties of robot manipulators dynamics (1) are required for control analysis [22],

  • P 1: M(q(t))𝑀𝑞𝑡M(q(t))italic_M ( italic_q ( italic_t ) ) is symmetric positive definite.

  • P 2: 12(C(q(t),q˙(t)))M˙(q(t)))\frac{1}{2}(C(q(t),\dot{q}(t)))-\dot{M}(q(t)))divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( italic_C ( italic_q ( italic_t ) , over˙ start_ARG italic_q end_ARG ( italic_t ) ) ) - over˙ start_ARG italic_M end_ARG ( italic_q ( italic_t ) ) ) is skew-symmetric.

  • P 3: There exist unknown positive constants msubscript𝑚m_{-}italic_m start_POSTSUBSCRIPT - end_POSTSUBSCRIPT, m+superscript𝑚m^{+}italic_m start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT, c𝑐citalic_c and g𝑔gitalic_g such that mM(q(t))m+subscript𝑚𝑀𝑞𝑡superscript𝑚m_{-}\leq M(q(t))\leq m^{+}italic_m start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ≤ italic_M ( italic_q ( italic_t ) ) ≤ italic_m start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT, C(q(t),q˙(t))cq˙(t),norm𝐶𝑞𝑡˙𝑞𝑡𝑐norm˙𝑞𝑡\|C(q(t),\dot{q}(t))\|\leq c\|\dot{q}(t)\|,∥ italic_C ( italic_q ( italic_t ) , over˙ start_ARG italic_q end_ARG ( italic_t ) ) ∥ ≤ italic_c ∥ over˙ start_ARG italic_q end_ARG ( italic_t ) ∥ , and G(q(t))g<.norm𝐺𝑞𝑡𝑔\|G(q(t))\|\leq g<\infty.∥ italic_G ( italic_q ( italic_t ) ) ∥ ≤ italic_g < ∞ .

The goal of this paper is to design a control law for a robot dynamics (1) such that

  • G 1: the closed-loop system is stable and all the signals remain uniformly bounded.

  • G 2: the joint position signal q(t)𝑞𝑡q(t)italic_q ( italic_t ) closely tracks a specified desired trajectory qd(t)subscript𝑞𝑑𝑡q_{d}(t)italic_q start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ( italic_t ), so that the limit limt|qi(t)qdi(t)|=ηisubscript𝑡subscript𝑞𝑖𝑡subscript𝑞𝑑𝑖𝑡subscript𝜂𝑖\lim_{t\to\infty}|q_{i}(t)-q_{di}(t)|=\eta_{i}roman_lim start_POSTSUBSCRIPT italic_t → ∞ end_POSTSUBSCRIPT | italic_q start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t ) - italic_q start_POSTSUBSCRIPT italic_d italic_i end_POSTSUBSCRIPT ( italic_t ) | = italic_η start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, for i=1,2,n𝑖12𝑛i=1,2,...nitalic_i = 1 , 2 , … italic_n, and ηisubscript𝜂𝑖\eta_{i}italic_η start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT being a small positive constant.

To this end, the following assumptions are needed.

Assumption 1

We consider each link of the manipulator as a slender rod with uniform mass distribution, ignoring additional components’ mass and inertia.

Assumption 2

The desired trajectory qd(t)subscript𝑞𝑑𝑡q_{d}(t)italic_q start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ( italic_t ), along with its first q˙d(t)subscriptnormal-˙𝑞𝑑𝑡\dot{q}_{d}(t)over˙ start_ARG italic_q end_ARG start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ( italic_t ) and second derivatives q¨d(t)subscriptnormal-¨𝑞𝑑𝑡\ddot{q}_{d}(t)over¨ start_ARG italic_q end_ARG start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ( italic_t ), are assumed to be smooth, known functions of time and are bounded. Additionally, the robot position vector q𝑞qitalic_q is assumed to be accessible for the purposes of control design.

Remark 1

The dynamics of the system, as described by equation (1), are fully unknown, which presents a significant challenge in the control design. This paper addresses the inherent difficulty of unknown control direction by employing a Nussbaum-type function. The Nussbaum approach is particularly adept at handling systems with unknown control coefficients, adapting to the control direction without prior knowledge of the system’s dynamics.

II-B Priliminaries

To approximate the system uncertainties including the manipulator’s unknown dynamics, in its continuous movement, we utilize linear-in-parameter approximators with an a priori-defined basis function vector and a yet-to-be-learned unknown parameter vector [23]. To this purpose, a generic function approximator F(x)𝐹𝑥F(x)italic_F ( italic_x ) is denoted by F(x,ψ)=ψϕ(x),𝐹𝑥𝜓superscript𝜓topitalic-ϕ𝑥F(x,\psi)=\psi^{\top}\phi(x),italic_F ( italic_x , italic_ψ ) = italic_ψ start_POSTSUPERSCRIPT ⊤ end_POSTSUPERSCRIPT italic_ϕ ( italic_x ) , where ψnp𝜓superscriptsubscript𝑛𝑝\psi\in\mathbb{R}^{n_{p}}italic_ψ ∈ blackboard_R start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT end_POSTSUPERSCRIPT is the unknown parameter vector of dimension npsubscript𝑛𝑝n_{p}italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT and ϕ(x)npitalic-ϕ𝑥superscriptsubscript𝑛𝑝\phi(x)\in\mathbb{R}^{n_{p}}italic_ϕ ( italic_x ) ∈ blackboard_R start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT end_POSTSUPERSCRIPT is the user-defined known basis function vector with npsubscript𝑛𝑝{n_{p}}italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT being the NN input dimension, and xm𝑥superscript𝑚x\in\mathbb{R}^{m}italic_x ∈ blackboard_R start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT is the neural network input vector with m𝑚mitalic_m being the neural network input dimension. In this work, we have used the radial basis function (RBF) given by ϕ~(x)=e0.5(xc)B1(xc),~italic-ϕ𝑥superscript𝑒0.5superscript𝑥𝑐topsuperscript𝐵1𝑥𝑐\tilde{\phi}(x)=e^{-0.5(x-c)^{\top}B^{-1}(x-c)},over~ start_ARG italic_ϕ end_ARG ( italic_x ) = italic_e start_POSTSUPERSCRIPT - 0.5 ( italic_x - italic_c ) start_POSTSUPERSCRIPT ⊤ end_POSTSUPERSCRIPT italic_B start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_x - italic_c ) end_POSTSUPERSCRIPT , where cn𝑐superscript𝑛c\in\mathbb{R}^{n}italic_c ∈ blackboard_R start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT is the center and Bn×n𝐵superscript𝑛𝑛B\in\mathbb{R}^{n\times n}italic_B ∈ blackboard_R start_POSTSUPERSCRIPT italic_n × italic_n end_POSTSUPERSCRIPT the covariance matrix of the RBF.

Define the position error, e(t)n𝑒𝑡superscript𝑛e(t)\in\mathbb{R}^{n}italic_e ( italic_t ) ∈ blackboard_R start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT, as e(t)=qd(t)q(t)𝑒𝑡subscript𝑞𝑑𝑡𝑞𝑡e(t)=q_{d}(t)-q(t)italic_e ( italic_t ) = italic_q start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ( italic_t ) - italic_q ( italic_t ) and the velocity error, e˙(t)n˙𝑒𝑡superscript𝑛\dot{e}(t)\in\mathbb{R}^{n}over˙ start_ARG italic_e end_ARG ( italic_t ) ∈ blackboard_R start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT, as e˙(t)=q˙d(t)q˙(t)˙𝑒𝑡subscript˙𝑞𝑑𝑡˙𝑞𝑡\dot{e}(t)=\dot{q}_{d}(t)-\dot{q}(t)over˙ start_ARG italic_e end_ARG ( italic_t ) = over˙ start_ARG italic_q end_ARG start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ( italic_t ) - over˙ start_ARG italic_q end_ARG ( italic_t ). To further our analysis, we define the generalized intermediate variable Ψ(t)Ψ𝑡\Psi(t)roman_Ψ ( italic_t ) as follows:

Ψ(t)=2γe(t)+γ20te(ρ)𝑑ρ+ddte(t),Ψ𝑡2𝛾𝑒𝑡superscript𝛾2superscriptsubscript0𝑡𝑒𝜌differential-d𝜌𝑑𝑑𝑡𝑒𝑡\Psi(t)=2\gamma e(t)+\gamma^{2}\int_{0}^{t}e(\rho)\,d\rho+\frac{d}{dt}e(t),roman_Ψ ( italic_t ) = 2 italic_γ italic_e ( italic_t ) + italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_e ( italic_ρ ) italic_d italic_ρ + divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_e ( italic_t ) , (3)

where γ>0𝛾0\gamma>0italic_γ > 0. This formulation allows us to address the tracking error by stabilizing Ψ(t)Ψ𝑡\Psi(t)roman_Ψ ( italic_t ) using the following lemma.

Lemma 1

[24] Given the intermediate variable Ψ(t)normal-Ψ𝑡\Psi(t)roman_Ψ ( italic_t ) as defined in (3), if Ψ(t)0normal-→normal-Ψ𝑡0\Psi(t)\to 0roman_Ψ ( italic_t ) → 0 as tnormal-→𝑡t\to\inftyitalic_t → ∞, then the tracking errors e(t)𝑒𝑡e(t)italic_e ( italic_t ) and e˙(t)normal-˙𝑒𝑡\dot{e}(t)over˙ start_ARG italic_e end_ARG ( italic_t ), and their integrals are bounded and converge to zero over time.

Definition 1 (Nussbaum Function)

A Nussbaum function N(ζ)𝑁𝜁N(\zeta)italic_N ( italic_ζ ) is characterized by its capability to handle unknown control directions within a control system. For a continuously differentiable function N(ζ):[0,)(,)normal-:𝑁𝜁normal-→0N(\zeta):[0,\infty)\to(-\infty,\infty)italic_N ( italic_ζ ) : [ 0 , ∞ ) → ( - ∞ , ∞ ), it is defined via its positive and negative truncated forms, N+(ζ)=max{0,N(ζ)}superscript𝑁𝜁0𝑁𝜁N^{+}(\zeta)=\max\{0,N(\zeta)\}italic_N start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ( italic_ζ ) = roman_max { 0 , italic_N ( italic_ζ ) } and N(ζ)=max{0,N(ζ)}superscript𝑁𝜁0𝑁𝜁N^{-}(\zeta)=\max\{0,-N(\zeta)\}italic_N start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ( italic_ζ ) = roman_max { 0 , - italic_N ( italic_ζ ) }, respectively. The function satisfies the condition that

N(ζ)=N+(ζ)N(ζ),𝑁𝜁superscript𝑁𝜁superscript𝑁𝜁N(\zeta)=N^{+}(\zeta)-N^{-}(\zeta),italic_N ( italic_ζ ) = italic_N start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ( italic_ζ ) - italic_N start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ( italic_ζ ) , (4)

with the properties that for any ζ𝜁\zetaitalic_ζ,

limvsup1v[0vN+(ζ)𝑑ζ0vN(ζ)𝑑ζ]=,subscript𝑣supremum1𝑣delimited-[]superscriptsubscript0𝑣superscript𝑁𝜁differential-d𝜁superscriptsubscript0𝑣superscript𝑁𝜁differential-d𝜁\lim_{v\to\infty}\sup\frac{1}{v}\left[\int_{0}^{v}N^{+}(\zeta)d\zeta-\int_{0}^% {v}N^{-}(\zeta)d\zeta\right]=\infty,roman_lim start_POSTSUBSCRIPT italic_v → ∞ end_POSTSUBSCRIPT roman_sup divide start_ARG 1 end_ARG start_ARG italic_v end_ARG [ ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_v end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ( italic_ζ ) italic_d italic_ζ - ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_v end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ( italic_ζ ) italic_d italic_ζ ] = ∞ , (5)
limvsup1v[0vN(ζ)𝑑ζ0vN+(ζ)𝑑ζ]=.subscript𝑣supremum1𝑣delimited-[]superscriptsubscript0𝑣superscript𝑁𝜁differential-d𝜁superscriptsubscript0𝑣superscript𝑁𝜁differential-d𝜁\lim_{v\to\infty}\sup\frac{1}{v}\left[\int_{0}^{v}N^{-}(\zeta)d\zeta-\int_{0}^% {v}N^{+}(\zeta)d\zeta\right]=\infty.roman_lim start_POSTSUBSCRIPT italic_v → ∞ end_POSTSUBSCRIPT roman_sup divide start_ARG 1 end_ARG start_ARG italic_v end_ARG [ ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_v end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ( italic_ζ ) italic_d italic_ζ - ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_v end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ( italic_ζ ) italic_d italic_ζ ] = ∞ . (6)

A function that satisfies these conditions is utilized for managing the uncertainty in control direction, offering a robust approach to control system design.

Lemma 2

[16, 17] Let V(t)𝑉𝑡V(t)italic_V ( italic_t ) and ζ(t)𝜁𝑡\zeta(t)italic_ζ ( italic_t ) be smooth functions defined over the interval [0,tf)0subscript𝑡𝑓[0,t_{f})[ 0 , italic_t start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ) with V(t)>0𝑉𝑡0V(t)>0italic_V ( italic_t ) > 0 for all t[0,tf)𝑡0subscript𝑡𝑓t\in[0,t_{f})italic_t ∈ [ 0 , italic_t start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ). Given N(ζ(t))𝑁𝜁𝑡N(\zeta(t))italic_N ( italic_ζ ( italic_t ) ) as a Nussbaum-type function, if for any t[0,tf)𝑡0subscript𝑡𝑓t\in[0,t_{f})italic_t ∈ [ 0 , italic_t start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ), the following condition is met:

V(t)<c0+ec1t0t(gN(ζ(τ))+1)ζ˙(τ)ec1τ𝑑τ,𝑉𝑡subscript𝑐0superscript𝑒subscript𝑐1𝑡superscriptsubscript0𝑡𝑔𝑁𝜁𝜏1˙𝜁𝜏superscript𝑒subscript𝑐1𝜏differential-d𝜏V(t)<c_{0}+e^{-c_{1}t}\int_{0}^{t}\left(gN(\zeta(\tau))+1\right)\dot{\zeta}(% \tau)e^{c_{1}\tau}d\tau,italic_V ( italic_t ) < italic_c start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_e start_POSTSUPERSCRIPT - italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ( italic_g italic_N ( italic_ζ ( italic_τ ) ) + 1 ) over˙ start_ARG italic_ζ end_ARG ( italic_τ ) italic_e start_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_τ end_POSTSUPERSCRIPT italic_d italic_τ , (7)

where c0>0subscript𝑐00c_{0}>0italic_c start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT > 0 and c1>0subscript𝑐10c_{1}>0italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT > 0 are positive constants, and g𝑔gitalic_g is a control parameter within closed intervals L=[l,l+]𝐿subscript𝑙subscript𝑙L=[l_{-},l_{+}]italic_L = [ italic_l start_POSTSUBSCRIPT - end_POSTSUBSCRIPT , italic_l start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ] excluding zero (0L0𝐿0\notin L0 ∉ italic_L), then V(t)𝑉𝑡V(t)italic_V ( italic_t ), ζ(t)𝜁𝑡\zeta(t)italic_ζ ( italic_t ), and the integral 0tgN(ζ(τ))ζ˙(τ)ec1τ𝑑τsuperscriptsubscript0𝑡𝑔𝑁𝜁𝜏normal-˙𝜁𝜏superscript𝑒subscript𝑐1𝜏differential-d𝜏\int_{0}^{t}gN(\zeta(\tau))\dot{\zeta}(\tau)e^{c_{1}\tau}d\tau∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_g italic_N ( italic_ζ ( italic_τ ) ) over˙ start_ARG italic_ζ end_ARG ( italic_τ ) italic_e start_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_τ end_POSTSUPERSCRIPT italic_d italic_τ are guaranteed to be bounded on [0,tf)0subscript𝑡𝑓[0,t_{f})[ 0 , italic_t start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ).

III Nussbaum Function-based Control Design and Stability Analysis

We propose a Nussbaum function based PID-like control input for robot manipulator control, delineated as:

u(t)=𝑢𝑡absent\displaystyle u(t)=italic_u ( italic_t ) = (kπ+κπ(t))KN(ζ)e(t)+(kι+κι(t))KN(ζ)0te(ρ)𝑑ρsubscript𝑘𝜋subscript𝜅𝜋𝑡subscript𝐾𝑁𝜁𝑒𝑡subscript𝑘𝜄subscript𝜅𝜄𝑡subscript𝐾𝑁𝜁superscriptsubscript0𝑡𝑒𝜌differential-d𝜌\displaystyle\left(k_{\pi}+\kappa_{\pi}(t)\right)K_{N}(\zeta)e(t)+\left(k_{% \iota}+\kappa_{\iota}(t)\right)K_{N}(\zeta)\int_{0}^{t}e(\rho)\,d\rho( italic_k start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT + italic_κ start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT ( italic_t ) ) italic_K start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ( italic_ζ ) italic_e ( italic_t ) + ( italic_k start_POSTSUBSCRIPT italic_ι end_POSTSUBSCRIPT + italic_κ start_POSTSUBSCRIPT italic_ι end_POSTSUBSCRIPT ( italic_t ) ) italic_K start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ( italic_ζ ) ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_e ( italic_ρ ) italic_d italic_ρ (8)
+(kΔ+κΔ(t))KN(ζ)ddte(t),subscript𝑘Δsubscript𝜅Δ𝑡subscript𝐾𝑁𝜁𝑑𝑑𝑡𝑒𝑡\displaystyle+\left(k_{\Delta}+\kappa_{\Delta}(t)\right)K_{N}(\zeta)\frac{d}{% dt}e(t),+ ( italic_k start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT + italic_κ start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT ( italic_t ) ) italic_K start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ( italic_ζ ) divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_e ( italic_t ) ,

with KN(ζ)=N(ζ)subscript𝐾𝑁𝜁𝑁𝜁K_{N}(\zeta)=-N(\zeta)italic_K start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ( italic_ζ ) = - italic_N ( italic_ζ ) is the related Nussbaum function gain. In (8) we employed constant gains kπsubscript𝑘𝜋k_{\pi}italic_k start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT, kιsubscript𝑘𝜄k_{\iota}italic_k start_POSTSUBSCRIPT italic_ι end_POSTSUBSCRIPT, and kΔsubscript𝑘Δk_{\Delta}italic_k start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT alongside their time-varying analogs κπ(t)subscript𝜅𝜋𝑡\kappa_{\pi}(t)italic_κ start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT ( italic_t ), κι(t)subscript𝜅𝜄𝑡\kappa_{\iota}(t)italic_κ start_POSTSUBSCRIPT italic_ι end_POSTSUBSCRIPT ( italic_t ), and κΔ(t)subscript𝜅Δ𝑡\kappa_{\Delta}(t)italic_κ start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT ( italic_t ). This strategy enhances traditional PID controls by integrating adaptive gains that adjust in real-time to the system’s state. To further simplify parameter tuning, we establish the relationships kΔ=kπ2γ=kιγ2subscript𝑘Δsubscript𝑘𝜋2𝛾subscript𝑘𝜄superscript𝛾2k_{\Delta}=\frac{k_{\pi}}{2\gamma}=\frac{k_{\iota}}{\gamma^{2}}italic_k start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT = divide start_ARG italic_k start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_γ end_ARG = divide start_ARG italic_k start_POSTSUBSCRIPT italic_ι end_POSTSUBSCRIPT end_ARG start_ARG italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG and κΔ(t)=κπ(t)2γ=κι(t)γ2subscript𝜅Δ𝑡subscript𝜅𝜋𝑡2𝛾subscript𝜅𝜄𝑡superscript𝛾2\kappa_{\Delta}(t)=\frac{\kappa_{\pi}(t)}{2\gamma}=\frac{\kappa_{\iota}(t)}{% \gamma^{2}}italic_κ start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT ( italic_t ) = divide start_ARG italic_κ start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG 2 italic_γ end_ARG = divide start_ARG italic_κ start_POSTSUBSCRIPT italic_ι end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG, ensuring the quadratic expression S2+2γS+γ2superscript𝑆22𝛾𝑆superscript𝛾2S^{2}+2\gamma S+\gamma^{2}italic_S start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 italic_γ italic_S + italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is Hurwitz polynomial, where S𝑆Sitalic_S is the Laplace operator. Thus, the control design primarily depends on selecting kΔsubscript𝑘Δk_{\Delta}italic_k start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT and κΔ(t)subscript𝜅Δ𝑡\kappa_{\Delta}(t)italic_κ start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT ( italic_t ). The PID-like control input is then refined to:

u(t)=𝑢𝑡absent\displaystyle u(t)=italic_u ( italic_t ) = (kΔ+κΔ(t))KN(ζ)(2γe(t)+γ20te(ρ)𝑑ρ+ddte(t))subscript𝑘Δsubscript𝜅Δ𝑡subscript𝐾𝑁𝜁2𝛾𝑒𝑡superscript𝛾2superscriptsubscript0𝑡𝑒𝜌differential-d𝜌𝑑𝑑𝑡𝑒𝑡\displaystyle\left(k_{\Delta}+\kappa_{\Delta}(t)\right)K_{N}(\zeta)\left(2% \gamma e(t)+\gamma^{2}\int_{0}^{t}e(\rho)\,d\rho+\frac{d}{dt}e(t)\right)( italic_k start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT + italic_κ start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT ( italic_t ) ) italic_K start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ( italic_ζ ) ( 2 italic_γ italic_e ( italic_t ) + italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_e ( italic_ρ ) italic_d italic_ρ + divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_e ( italic_t ) ) (9)
=\displaystyle== (kΔ+κΔ(t))N(ζ)Ψ.subscript𝑘Δsubscript𝜅Δ𝑡𝑁𝜁Ψ\displaystyle-\left(k_{\Delta}+\kappa_{\Delta}(t)\right)N(\zeta)\Psi.- ( italic_k start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT + italic_κ start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT ( italic_t ) ) italic_N ( italic_ζ ) roman_Ψ .

This approach significantly reduces the complexity of the gain selection process, focusing on only two key parameters. The time-varying gain κΔ(t)subscript𝜅Δ𝑡\kappa_{\Delta}(t)italic_κ start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT ( italic_t ) is adaptively updated by

κΔ(t)=αψ^(t)Tϕ(x),subscript𝜅Δ𝑡𝛼^𝜓superscript𝑡𝑇italic-ϕ𝑥\kappa_{\Delta}(t)=-\alpha\hat{\psi}(t)^{T}\phi(x),italic_κ start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT ( italic_t ) = - italic_α over^ start_ARG italic_ψ end_ARG ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_ϕ ( italic_x ) , (10)

and the adaptive law for ψ^(t)^𝜓𝑡\hat{\psi}(t)over^ start_ARG italic_ψ end_ARG ( italic_t ) is given by

ψ^˙(t)=Γ(αΨ(t)2ϕ(x)+σψ^(t)).˙^𝜓𝑡Γ𝛼superscriptnormΨ𝑡2italic-ϕ𝑥𝜎^𝜓𝑡\dot{\hat{\psi}}(t)=-\Gamma(\alpha\|\Psi(t)\|^{2}\phi(x)+\sigma\hat{\psi}(t)).over˙ start_ARG over^ start_ARG italic_ψ end_ARG end_ARG ( italic_t ) = - roman_Γ ( italic_α ∥ roman_Ψ ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϕ ( italic_x ) + italic_σ over^ start_ARG italic_ψ end_ARG ( italic_t ) ) . (11)

with α𝛼\alphaitalic_α and ϕitalic-ϕ\phiitalic_ϕ are positive control constants, and Γ=ΓT>0ΓsuperscriptΓ𝑇0\Gamma=\Gamma^{T}>0roman_Γ = roman_Γ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT > 0.

In this work, we choose N(ζ)=ζ2cos(ζ)𝑁𝜁superscript𝜁2𝜁N(\zeta)=\zeta^{2}\cos(\zeta)italic_N ( italic_ζ ) = italic_ζ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos ( italic_ζ ) with the property of N(0)=0𝑁00N(0)=0italic_N ( 0 ) = 0 as our Nussbaum function. The updating law for ζ𝜁\zetaitalic_ζ is given by

ζ˙(t)=Ψ(t)T(kΔ+κΔ(t))Ψ(t).˙𝜁𝑡Ψsuperscript𝑡𝑇subscript𝑘Δsubscript𝜅Δ𝑡Ψ𝑡\dot{\zeta}(t)=\Psi(t)^{T}(k_{\Delta}+\kappa_{\Delta}(t))\Psi(t).over˙ start_ARG italic_ζ end_ARG ( italic_t ) = roman_Ψ ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT + italic_κ start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT ( italic_t ) ) roman_Ψ ( italic_t ) . (12)

The above control framework, enhanced by adaptive laws based on the low complexity Nussbaum function PID control, provides us with an effective approach to robotic manipulator control, as formalized in the forthcoming theorem.

Theorem 1

Consider the robot manipulator system described by (1) with the Properties 1-3, satisfying to Assumptions 1 and 2. If the Nussbaum function-based PID-like control law (9), with the adaptive updating laws (11), and (12), and and Lemmas 1, and 2 is implemented, then, with the design parameters are properly chosen, the closed-loop system remains stable, and all signals within the system are uniformly bounded. Furthermore, the joint position signal q(t)𝑞𝑡q(t)italic_q ( italic_t ) closely tracks the desired trajectory qd(t)subscript𝑞𝑑𝑡q_{d}(t)italic_q start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ( italic_t ), with the tracking error converging to a small neighborhood around zero.

Proof:

Consider the Lyapunov candidate as

V(t)=12Ψ(t)TM(q(t))Ψ(t)+12ψ~(t)TΓ1ψ~(t),𝑉𝑡12Ψsuperscript𝑡𝑇𝑀𝑞𝑡Ψ𝑡12~𝜓superscript𝑡𝑇superscriptΓ1~𝜓𝑡V(t)=\frac{1}{2}\Psi(t)^{T}M(q(t))\Psi(t)+\frac{1}{2}\tilde{\psi}(t)^{T}\Gamma% ^{-1}\tilde{\psi}(t),italic_V ( italic_t ) = divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_Ψ ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_M ( italic_q ( italic_t ) ) roman_Ψ ( italic_t ) + divide start_ARG 1 end_ARG start_ARG 2 end_ARG over~ start_ARG italic_ψ end_ARG ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT roman_Γ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT over~ start_ARG italic_ψ end_ARG ( italic_t ) , (13)

where ψ~(t)=ψ^(t)ψ*~𝜓𝑡^𝜓𝑡superscript𝜓\tilde{\psi}(t)=\hat{\psi}(t)-\psi^{*}over~ start_ARG italic_ψ end_ARG ( italic_t ) = over^ start_ARG italic_ψ end_ARG ( italic_t ) - italic_ψ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT with ψ*(t)superscript𝜓𝑡\psi^{*}(t)italic_ψ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( italic_t ) is the ideal constant weight vector of neural network approximation.

The time derivative of the Lyapunov function V(t)𝑉𝑡V(t)italic_V ( italic_t ) can be bounded as

V˙(t)=Ψ(t)TM(t)Ψ˙(t)+12Ψ(t)TM˙(t)Ψ(t)+ψ~(t)TΓ1ψ^˙(t).˙𝑉𝑡Ψsuperscript𝑡𝑇𝑀𝑡˙Ψ𝑡12Ψsuperscript𝑡𝑇˙𝑀𝑡Ψ𝑡~𝜓superscript𝑡𝑇superscriptΓ1˙^𝜓𝑡{\dot{V}(t)}={\Psi(t)^{T}}M(t)\dot{\Psi}(t)+\frac{1}{2}{\Psi(t)^{T}}\dot{M}(t)% \Psi(t)+\tilde{\psi}(t)^{T}\Gamma^{-1}\dot{\hat{\psi}}(t).over˙ start_ARG italic_V end_ARG ( italic_t ) = roman_Ψ ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_M ( italic_t ) over˙ start_ARG roman_Ψ end_ARG ( italic_t ) + divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_Ψ ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT over˙ start_ARG italic_M end_ARG ( italic_t ) roman_Ψ ( italic_t ) + over~ start_ARG italic_ψ end_ARG ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT roman_Γ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT over˙ start_ARG over^ start_ARG italic_ψ end_ARG end_ARG ( italic_t ) . (14)

Considering dynamics (1) and the definition of the generalized error Ψ(t)Ψ𝑡\Psi(t)roman_Ψ ( italic_t ), one can obtain M(t)Ψ˙(t)=C(t)q˙(t)+G(t)τ(t)+M(t)e¯()𝑀𝑡˙Ψ𝑡𝐶𝑡˙𝑞𝑡𝐺𝑡𝜏𝑡𝑀𝑡¯𝑒M(t)\dot{\Psi}(t)=C(t)\dot{q}(t)+G(t)-\tau(t)+M(t)\bar{e}(\cdot)italic_M ( italic_t ) over˙ start_ARG roman_Ψ end_ARG ( italic_t ) = italic_C ( italic_t ) over˙ start_ARG italic_q end_ARG ( italic_t ) + italic_G ( italic_t ) - italic_τ ( italic_t ) + italic_M ( italic_t ) over¯ start_ARG italic_e end_ARG ( ⋅ ), where e¯()=q¨d(t)+2γe˙(t)+γ2e(t)¯𝑒subscript¨𝑞𝑑𝑡2𝛾˙𝑒𝑡superscript𝛾2𝑒𝑡\bar{e}(\cdot)=\ddot{q}_{d}(t)+2\gamma\dot{e}(t)+\gamma^{2}e(t)over¯ start_ARG italic_e end_ARG ( ⋅ ) = over¨ start_ARG italic_q end_ARG start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ( italic_t ) + 2 italic_γ over˙ start_ARG italic_e end_ARG ( italic_t ) + italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e ( italic_t ). Then, utilizing the application of Young’s inequality, and considering Property 2, we obtain Ψ(t)TC(t)q˙(t)αΨ(t)2c2q˙(t)4+14αΨsuperscript𝑡𝑇𝐶𝑡˙𝑞𝑡𝛼superscriptnormΨ𝑡2superscript𝑐2superscriptnorm˙𝑞𝑡414𝛼\Psi(t)^{T}C(t)\dot{q}(t)\leq\alpha\|\Psi(t)\|^{2}c^{2}\|\dot{q}(t)\|^{4}+% \frac{1}{4\alpha}roman_Ψ ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_C ( italic_t ) over˙ start_ARG italic_q end_ARG ( italic_t ) ≤ italic_α ∥ roman_Ψ ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∥ over˙ start_ARG italic_q end_ARG ( italic_t ) ∥ start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG 4 italic_α end_ARG, Ψ(t)TG(t)αΨ(t)2g2+14αΨsuperscript𝑡𝑇𝐺𝑡𝛼superscriptnormΨ𝑡2superscript𝑔214𝛼\Psi(t)^{T}G(t)\leq\alpha\|\Psi(t)\|^{2}g^{2}+\frac{1}{4\alpha}roman_Ψ ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_G ( italic_t ) ≤ italic_α ∥ roman_Ψ ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG 4 italic_α end_ARG, Ψ(t)TM(t)e¯()αΨ(t)2m+2e¯()2+14αΨsuperscript𝑡𝑇𝑀𝑡¯𝑒𝛼superscriptnormΨ𝑡2superscript𝑚superscript2superscriptnorm¯𝑒214𝛼\Psi(t)^{T}M(t)\bar{e}(\cdot)\leq\alpha\|\Psi(t)\|^{2}m^{+^{2}}\|\bar{e}(\cdot% )\|^{2}+\frac{1}{4\alpha}roman_Ψ ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_M ( italic_t ) over¯ start_ARG italic_e end_ARG ( ⋅ ) ≤ italic_α ∥ roman_Ψ ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUPERSCRIPT + start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ∥ over¯ start_ARG italic_e end_ARG ( ⋅ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG 4 italic_α end_ARG, and 12Ψ(t)TM˙(t)Ψ(t)=Ψ(t)TC(t)Ψ(t)αΨ(t)2c2q˙(t)2Ψ(t)2+14α12Ψsuperscript𝑡𝑇˙𝑀𝑡Ψ𝑡Ψsuperscript𝑡𝑇𝐶𝑡Ψ𝑡𝛼superscriptnormΨ𝑡2superscript𝑐2superscriptnorm˙𝑞𝑡2superscriptnormΨ𝑡214𝛼\frac{1}{2}\Psi(t)^{T}\dot{M}(t)\Psi(t)=\Psi(t)^{T}C(t)\Psi(t)\leq\alpha\|\Psi% (t)\|^{2}c^{2}\|\dot{q}(t)\|^{2}\|\Psi(t)\|^{2}+\frac{1}{4\alpha}divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_Ψ ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT over˙ start_ARG italic_M end_ARG ( italic_t ) roman_Ψ ( italic_t ) = roman_Ψ ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_C ( italic_t ) roman_Ψ ( italic_t ) ≤ italic_α ∥ roman_Ψ ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∥ over˙ start_ARG italic_q end_ARG ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∥ roman_Ψ ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG 4 italic_α end_ARG, where α>0𝛼0\alpha>0italic_α > 0 is a design parameter. Accordingly, taking into account equation (14)italic-(14italic-)\eqref{eq_vd}italic_( italic_) and applying the aforementioned inequalities, one has,

V˙(t)αΨ(t)2Λ(t)Ψ(t)Tκu(t)+1α+Γ1ψ~(t)Tψ^˙(t),˙𝑉𝑡𝛼superscriptnormΨ𝑡2Λ𝑡Ψsuperscript𝑡𝑇𝜅𝑢𝑡1𝛼superscriptΓ1~𝜓superscript𝑡𝑇˙^𝜓𝑡\dot{V}(t)\leq\alpha\|\Psi(t)\|^{2}\Lambda(t)-\Psi(t)^{T}\kappa u(t)+\frac{1}{% \alpha}+\Gamma^{-1}\tilde{\psi}(t)^{T}\dot{\hat{\psi}}(t),over˙ start_ARG italic_V end_ARG ( italic_t ) ≤ italic_α ∥ roman_Ψ ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Λ ( italic_t ) - roman_Ψ ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_κ italic_u ( italic_t ) + divide start_ARG 1 end_ARG start_ARG italic_α end_ARG + roman_Γ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT over~ start_ARG italic_ψ end_ARG ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT over˙ start_ARG over^ start_ARG italic_ψ end_ARG end_ARG ( italic_t ) , (15)

where

Λ(t)=(c2q˙(t)4+g2+m+2e¯(t)2+c2q˙(t)2Ψ(t)2)Λ𝑡superscript𝑐2superscriptnorm˙𝑞𝑡4superscript𝑔2superscript𝑚2superscriptnorm¯𝑒𝑡2superscript𝑐2superscriptnorm˙𝑞𝑡2superscriptnormΨ𝑡2\Lambda(t)=-\left(c^{2}\|\dot{q}(t)\|^{4}+g^{2}+m^{+2}\|\bar{e}(t)\|^{2}+c^{2}% \|\dot{q}(t)\|^{2}\|\Psi(t)\|^{2}\right)roman_Λ ( italic_t ) = - ( italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∥ over˙ start_ARG italic_q end_ARG ( italic_t ) ∥ start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_m start_POSTSUPERSCRIPT + 2 end_POSTSUPERSCRIPT ∥ over¯ start_ARG italic_e end_ARG ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∥ over˙ start_ARG italic_q end_ARG ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∥ roman_Ψ ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ).

Subsequently, considering neural networks approximation Λ(t)=ψ*ϕ(x)+ε(x)Λ𝑡superscript𝜓italic-ϕ𝑥𝜀𝑥\Lambda(t)=\psi^{*}\phi(x)+\varepsilon(x)roman_Λ ( italic_t ) = italic_ψ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT italic_ϕ ( italic_x ) + italic_ε ( italic_x ), with ε(x)𝜀𝑥\varepsilon\left(x\right)italic_ε ( italic_x ) being the unknown approximation error which is upper bounded in the sense that ε(x)εmnorm𝜀𝑥subscript𝜀𝑚\left\|\varepsilon\left(x\right)\right\|\leq\varepsilon_{m}∥ italic_ε ( italic_x ) ∥ ≤ italic_ε start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT, and utilizing (11), (12), and (9) into (15), and considering ψ~(t)Tψ^(t)ψ~(t)Tψ~(t)+|ψ*2~𝜓superscript𝑡𝑇^𝜓𝑡~𝜓superscript𝑡𝑇~𝜓𝑡superscriptdelimited-|‖superscript𝜓2-\tilde{\psi}(t)^{T}{\hat{\psi}}(t)\leq-\tilde{\psi}(t)^{T}\tilde{\psi}(t)+|% \psi^{*}\|^{2}- over~ start_ARG italic_ψ end_ARG ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT over^ start_ARG italic_ψ end_ARG ( italic_t ) ≤ - over~ start_ARG italic_ψ end_ARG ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT over~ start_ARG italic_ψ end_ARG ( italic_t ) + | italic_ψ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [4], yields

V˙(t)˙𝑉𝑡\displaystyle\dot{V}(t)over˙ start_ARG italic_V end_ARG ( italic_t ) ζ˙(t)Ψ(t)2(kΔ+κΔ(t))αΨ(t)2(ψ*ϕ(x)+ε)absent˙���𝑡superscriptnormΨ𝑡2subscript𝑘Δsubscript𝜅Δ𝑡𝛼superscriptnormΨ𝑡2superscript𝜓superscripttopitalic-ϕ𝑥𝜀\displaystyle\leq\dot{\zeta}(t)-\|\Psi(t)\|^{2}(k_{\Delta}+\kappa_{\Delta}(t))% -\alpha\|\Psi(t)\|^{2}(\psi^{*^{\top}}\phi(x)+\varepsilon)≤ over˙ start_ARG italic_ζ end_ARG ( italic_t ) - ∥ roman_Ψ ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT + italic_κ start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT ( italic_t ) ) - italic_α ∥ roman_Ψ ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_ψ start_POSTSUPERSCRIPT * start_POSTSUPERSCRIPT ⊤ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_ϕ ( italic_x ) + italic_ε )
+Ψ(t)TκN(ζ(t))(kΔ+κΔ(t))Ψ(t)+1αΨsuperscript𝑡𝑇𝜅𝑁𝜁𝑡subscript𝑘Δsubscript𝜅Δ𝑡Ψ𝑡1𝛼\displaystyle+\Psi(t)^{T}\kappa N(\zeta(t))(k_{\Delta}+\kappa_{\Delta}(t))\Psi% (t)+\frac{1}{\alpha}+ roman_Ψ ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_κ italic_N ( italic_ζ ( italic_t ) ) ( italic_k start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT + italic_κ start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT ( italic_t ) ) roman_Ψ ( italic_t ) + divide start_ARG 1 end_ARG start_ARG italic_α end_ARG
αΨ(t)2ψ~(t)Tϕ(x)12σψ~(t)Tψ~(t)+12σψ*2.𝛼superscriptnormΨ𝑡2~𝜓superscript𝑡𝑇italic-ϕ𝑥12𝜎~𝜓superscript𝑡𝑇~𝜓𝑡12𝜎superscriptnormsuperscript𝜓2\displaystyle-\alpha\|\Psi(t)\|^{2}\tilde{\psi}(t)^{T}\phi(x)-\frac{1}{2}% \sigma\tilde{\psi}(t)^{T}\tilde{\psi}(t)+\frac{1}{2}\sigma\|\psi^{*}\|^{2}.- italic_α ∥ roman_Ψ ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG italic_ψ end_ARG ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_ϕ ( italic_x ) - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_σ over~ start_ARG italic_ψ end_ARG ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT over~ start_ARG italic_ψ end_ARG ( italic_t ) + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_σ ∥ italic_ψ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT .

Considering Ψ(t)2κΔ(t)=Ψ(t)2αψ^(t)Tϕ(x)superscriptnormΨ𝑡2subscript𝜅Δ𝑡superscriptnormΨ𝑡2𝛼^𝜓superscript𝑡𝑇italic-ϕ𝑥\|\Psi(t)\|^{2}\kappa_{\Delta}(t)=-\|\Psi(t)\|^{2}\alpha\hat{\psi}(t)^{T}\phi(x)∥ roman_Ψ ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_κ start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT ( italic_t ) = - ∥ roman_Ψ ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_α over^ start_ARG italic_ψ end_ARG ( italic_t ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_ϕ ( italic_x ), the above equation can be rewritten as

V˙(t)˙𝑉𝑡\displaystyle\dot{V}(t)over˙ start_ARG italic_V end_ARG ( italic_t ) ζ˙(t)+κN(ζ(t))ζ˙(t)Ψ(t)2(kΔ+αε)absent˙𝜁𝑡𝜅𝑁𝜁𝑡˙𝜁𝑡superscriptnormΨ𝑡2subscript𝑘Δ𝛼𝜀\displaystyle\leq\dot{\zeta}(t)+\kappa N(\zeta(t))\dot{\zeta}(t)-\|\Psi(t)\|^{% 2}(k_{\Delta}+\alpha\varepsilon)≤ over˙ start_ARG italic_ζ end_ARG ( italic_t ) + italic_κ italic_N ( italic_ζ ( italic_t ) ) over˙ start_ARG italic_ζ end_ARG ( italic_t ) - ∥ roman_Ψ ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT + italic_α italic_ε )
12σψ~(t)2+1α+12σψ¯2,12𝜎superscriptnorm~𝜓𝑡21𝛼12𝜎superscript¯𝜓2\displaystyle-\frac{1}{2}\sigma\ \|\tilde{\psi}(t)\|^{2}+\frac{1}{\alpha}+% \frac{1}{2}\sigma\bar{\psi}^{2},- divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_σ ∥ over~ start_ARG italic_ψ end_ARG ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG italic_α end_ARG + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_σ over¯ start_ARG italic_ψ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ,

with ψ¯¯𝜓\bar{\psi}over¯ start_ARG italic_ψ end_ARG being the upper bound of the optimal weight ψ*normsuperscript𝜓\|\psi^{*}\|∥ italic_ψ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ∥.

Finally, the above equation can be formed as

V˙(t)<ζ˙(t)+κN(ζ(t))ζ˙(t)c1V(t)+c2,˙𝑉𝑡˙𝜁𝑡𝜅𝑁𝜁𝑡˙𝜁𝑡subscript𝑐1𝑉𝑡subscript𝑐2\dot{V}(t)<\dot{\zeta}(t)+\kappa N(\zeta(t))\dot{\zeta}(t)-c_{1}V(t)+c_{2},over˙ start_ARG italic_V end_ARG ( italic_t ) < over˙ start_ARG italic_ζ end_ARG ( italic_t ) + italic_κ italic_N ( italic_ζ ( italic_t ) ) over˙ start_ARG italic_ζ end_ARG ( italic_t ) - italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_V ( italic_t ) + italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , (16)

where, c1=min(2(αεm+kΔ)m+,σλmax(Γ1))subscript𝑐12𝛼subscript𝜀𝑚subscript𝑘Δsuperscript𝑚𝜎subscript𝜆superscriptΓ1c_{1}=\min\left(\frac{2(\alpha\varepsilon_{m}+k_{\Delta})}{m^{+}},\frac{\sigma% }{\lambda_{\max}(\Gamma^{-1})}\right)italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = roman_min ( divide start_ARG 2 ( italic_α italic_ε start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + italic_k start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT ) end_ARG start_ARG italic_m start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT end_ARG , divide start_ARG italic_σ end_ARG start_ARG italic_λ start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT ( roman_Γ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ) end_ARG ) and c2=1α+12σψ¯2subscript𝑐21𝛼12𝜎superscript¯𝜓2c_{2}=\frac{1}{\alpha}+\frac{1}{2}\sigma\bar{\psi}^{2}italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_α end_ARG + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_σ over¯ start_ARG italic_ψ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and both are positive. Multiplying (16) by ec1t>0superscript𝑒subscript𝑐1𝑡0e^{c_{1}t}>0italic_e start_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT > 0, yields

ddt(V(t)ec1t)ζ˙(t)ec1t+κN(ζ(t))ζ˙(t)ec1t+c2ec1t,𝑑𝑑𝑡𝑉𝑡superscript𝑒subscript𝑐1𝑡˙𝜁𝑡superscript𝑒subscript𝑐1𝑡𝜅𝑁𝜁𝑡˙𝜁𝑡superscript𝑒subscript𝑐1𝑡subscript𝑐2superscript𝑒subscript𝑐1𝑡\frac{d}{dt}\left(V(t)e^{c_{1}t}\right)\leq\dot{\zeta}(t)e^{c_{1}t}+\kappa N(% \zeta(t))\dot{\zeta}(t)e^{c_{1}t}+c_{2}e^{c_{1}t},divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG ( italic_V ( italic_t ) italic_e start_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT ) ≤ over˙ start_ARG italic_ζ end_ARG ( italic_t ) italic_e start_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT + italic_κ italic_N ( italic_ζ ( italic_t ) ) over˙ start_ARG italic_ζ end_ARG ( italic_t ) italic_e start_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT + italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT , (17)

and integrating both sides of (17) over [0,t]0𝑡[0,t][ 0 , italic_t ], leads to

V(t)𝑉𝑡absent\displaystyle V(t)\leqitalic_V ( italic_t ) ≤ ec1t0t(κN(ζ(t))+1)ζ˙(t)ec1τ𝑑τsuperscript𝑒subscript𝑐1𝑡superscriptsubscript0𝑡𝜅𝑁𝜁𝑡1˙𝜁𝑡superscript𝑒subscript𝑐1𝜏differential-d𝜏\displaystyle e^{-c_{1}t}\int_{0}^{t}(\kappa N(\zeta(t))+1)\dot{\zeta}(t)e^{c_% {1}\tau}d\tauitalic_e start_POSTSUPERSCRIPT - italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ( italic_κ italic_N ( italic_ζ ( italic_t ) ) + 1 ) over˙ start_ARG italic_ζ end_ARG ( italic_t ) italic_e start_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_τ end_POSTSUPERSCRIPT italic_d italic_τ (18)
+(V(0)c2c1)ec1t+c2c1.𝑉0subscript𝑐2subscript𝑐1superscript𝑒subscript𝑐1𝑡subscript𝑐2subscript𝑐1\displaystyle+\left(V(0)-\frac{c_{2}}{c_{1}}\right)e^{-c_{1}t}+\frac{c_{2}}{c_% {1}}.+ ( italic_V ( 0 ) - divide start_ARG italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ) italic_e start_POSTSUPERSCRIPT - italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT + divide start_ARG italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG .

Since 0<ec1t10superscript𝑒subscript𝑐1𝑡10<e^{-c_{1}t}\leq 10 < italic_e start_POSTSUPERSCRIPT - italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT ≤ 1, the inequality (18) can be rewritten as,

V(t)ec1t0t(κN(ζ(t))+1)ζ˙(t)ec1τ𝑑τ+c0,𝑉𝑡superscript𝑒subscript𝑐1𝑡superscriptsubscript0𝑡𝜅𝑁𝜁𝑡1˙𝜁𝑡superscript𝑒subscript𝑐1𝜏differential-d𝜏subscript𝑐0V(t)\leq e^{-c_{1}t}\int_{0}^{t}(\kappa N(\zeta(t))+1)\dot{\zeta}(t)e^{c_{1}% \tau}d\tau+c_{0},italic_V ( italic_t ) ≤ italic_e start_POSTSUPERSCRIPT - italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ( italic_κ italic_N ( italic_ζ ( italic_t ) ) + 1 ) over˙ start_ARG italic_ζ end_ARG ( italic_t ) italic_e start_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_τ end_POSTSUPERSCRIPT italic_d italic_τ + italic_c start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , (19)

where, c0=c2c1+V(0)subscript𝑐0subscript𝑐2subscript𝑐1𝑉0c_{0}=\frac{c_{2}}{c_{1}}+V(0)italic_c start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = divide start_ARG italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG + italic_V ( 0 ) is a positive constant. Utilizing Lemma 2 we can conclude from (19) that V(t)𝑉𝑡V(t)italic_V ( italic_t ), ζ(t)𝜁𝑡\zeta(t)italic_ζ ( italic_t ), and 0t(κN(ζ(t))+1)ζ˙(t)τ𝑑τsuperscriptsubscript0𝑡𝜅𝑁𝜁𝑡1˙𝜁𝑡𝜏differential-d𝜏\int_{0}^{t}\left(\kappa N(\zeta(t))+1\right)\dot{\zeta}(t)\tau d\tau∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ( italic_κ italic_N ( italic_ζ ( italic_t ) ) + 1 ) over˙ start_ARG italic_ζ end_ARG ( italic_t ) italic_τ italic_d italic_τ are bounded on [0,tf)0subscript𝑡𝑓[0,t_{f})[ 0 , italic_t start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ). Considering the Lyapunov function (13), it holds that Ψ(t)Ψ𝑡\Psi(t)roman_Ψ ( italic_t ) and ψ~(t)~𝜓𝑡\tilde{\psi}(t)over~ start_ARG italic_ψ end_ARG ( italic_t ) are bounded. Thus, since ψ*(t)superscript𝜓𝑡{\psi}^{*}(t)italic_ψ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( italic_t ) is bounded, then, ψ^(t)^𝜓𝑡\hat{\psi}(t)over^ start_ARG italic_ψ end_ARG ( italic_t ) is bounded. In addition, using Lemma 1, the boundedness of Ψ(t)Ψ𝑡\Psi(t)roman_Ψ ( italic_t ) ensures that e(t)𝑒𝑡e(t)italic_e ( italic_t ), e˙(t)˙𝑒𝑡\dot{e}(t)over˙ start_ARG italic_e end_ARG ( italic_t ), and 0te()𝑑τsuperscriptsubscript0𝑡𝑒differential-d𝜏\int_{0}^{t}e(\cdot)d\tau∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_e ( ⋅ ) italic_d italic_τ are bounded. Then, considering Assumption 2, the boundedness of e(t)𝑒𝑡e(t)italic_e ( italic_t ), and e˙(t)˙𝑒𝑡\dot{e}(t)over˙ start_ARG italic_e end_ARG ( italic_t ), ensures q(t)𝑞𝑡q(t)italic_q ( italic_t ), and q˙(t)˙𝑞𝑡\dot{q}(t)over˙ start_ARG italic_q end_ARG ( italic_t ) are bounded. Furthermore, considering (10), (11), (12), and (9), and considering the boundedness of the basis function vector ϕ(x)italic-ϕ𝑥\phi(x)italic_ϕ ( italic_x ) (see [4] for the reference), and the boundedness of Ψ(t)Ψ𝑡\Psi(t)roman_Ψ ( italic_t ), ψ^(t)^𝜓𝑡\hat{\psi}(t)over^ start_ARG italic_ψ end_ARG ( italic_t ), then κΔ(t)subscript𝜅Δ𝑡\kappa_{\Delta}(t)italic_κ start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT ( italic_t ), ψ(t)𝜓𝑡{\psi}(t)italic_ψ ( italic_t ), ζ(t)𝜁𝑡\zeta(t)italic_ζ ( italic_t ), and control u(t)𝑢𝑡u(t)italic_u ( italic_t ) are bounded. Finally, as u(t)𝑢𝑡u(t)italic_u ( italic_t ) is bounded, the boundedness of τ(t)𝜏𝑡\tau(t)italic_τ ( italic_t ) is ensured, and accordingly, all closed-loop signals are bounded.

To prove that the error e(t)𝑒𝑡e(t)italic_e ( italic_t ) converges to a small neighborhood of zero, considering the boundedness of V(0)𝑉0V(0)italic_V ( 0 ) and 0t(κN(ζ(t))+1)ζ˙(t)τ𝑑τsuperscriptsubscript0𝑡𝜅𝑁𝜁𝑡1˙𝜁𝑡𝜏differential-d𝜏\int_{0}^{t}\left(\kappa N(\zeta(t))+1\right)\dot{\zeta}(t)\tau d\tau∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ( italic_κ italic_N ( italic_ζ ( italic_t ) ) + 1 ) over˙ start_ARG italic_ζ end_ARG ( italic_t ) italic_τ italic_d italic_τ, along with Properties 1 and 3, it is concluded from (13) and (19) that

limt12Ψ(t)2c2c1,subscript𝑡12superscriptnormΨ𝑡2subscript𝑐2subscript𝑐1\lim_{t\to\infty}\frac{1}{2}\|\Psi(t)\|^{2}\leq\frac{c_{2}}{c_{1}},roman_lim start_POSTSUBSCRIPT italic_t → ∞ end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∥ roman_Ψ ( italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ divide start_ARG italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ,

follows by Ψ(t)2c2c1:=ΨmnormΨ𝑡2subscript𝑐2subscript𝑐1assignsubscriptΨ𝑚\|\Psi(t)\|\leq\sqrt{\frac{2c_{2}}{c_{1}}}:=\Psi_{m}∥ roman_Ψ ( italic_t ) ∥ ≤ square-root start_ARG divide start_ARG 2 italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG end_ARG := roman_Ψ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT. Then, considering (3), as detailed in [25], it is concluded that the error e(t)𝑒𝑡e(t)italic_e ( italic_t ) converges to close to zero. ∎

IV Numerical Simulation

In this section, numerical simulations are performed to verify the effectiveness of the proposed Nussbaum-based PID control, as established in Theorem 1. We use a two-link robot manipulator situated in the vertical plane for our simulation study. Physical parameters of the robot were selected as follows: the masses of the links m1=5kg,m2=2kgformulae-sequencesubscript𝑚15kgsubscript𝑚22kgm_{1}=5\ \text{kg},\ m_{2}=2\ \text{kg}italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 5 kg , italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 2 kg, the lengths of the links l1=1m,l2=0.75mformulae-sequencesubscript𝑙11msubscript𝑙20.75ml_{1}=1\ \text{m},\ l_{2}=0.75\ \text{m}italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 1 m , italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.75 m, and the inertias of the links I1=1.66m2,I2=0.37m2formulae-sequencesubscript𝐼11.66superscriptm2subscript𝐼20.37superscriptm2I_{1}=1.66\ \text{m}^{2},\ I_{2}=0.37\ \text{m}^{2}italic_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 1.66 m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.37 m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. The reference trajectories are chosen as qd=[cos(t);cos(t)]subscript𝑞����𝑡𝑡q_{d}=[\cos(t);\ -\cos(t)]italic_q start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT = [ roman_cos ( italic_t ) ; - roman_cos ( italic_t ) ], with the initial conditions for each joint given by q(0)=[π/2;π/2]𝑞0𝜋2𝜋2q(0)=[\pi/2;-\pi/2]italic_q ( 0 ) = [ italic_π / 2 ; - italic_π / 2 ],  and q˙(0)=[0;0]˙𝑞000\dot{q}(0)=[0;0]over˙ start_ARG italic_q end_ARG ( 0 ) = [ 0 ; 0 ]. Control parameters are chosen to be α=100𝛼100\alpha=100italic_α = 100, Γ=100Γ100\Gamma=100roman_Γ = 100, kΔ=0.1subscript𝑘Δ0.1k_{\Delta}=0.1italic_k start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT = 0.1, γ=0.5𝛾0.5\gamma=0.5italic_γ = 0.5, and σ=0.1𝜎0.1\sigma=0.1italic_σ = 0.1. Also, a radial basis function neural network with twenty nodes in each hidden layer is selected so that centers are evenly distributed in the span of the input space [12.5,12.5]12.512.5[-12.5,12.5][ - 12.5 , 12.5 ], and widths 1. The input vector of the neural network is chosen as x=[eT,e˙T,qT,ΨT]𝑥superscript𝑒𝑇superscript˙𝑒𝑇superscript𝑞𝑇superscriptΨ𝑇x=\left[e^{T},\dot{e}^{T},q^{T},\Psi^{T}\right]italic_x = [ italic_e start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , over˙ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_q start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , roman_Ψ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ]. The initial points of neural network weights were chosen as ψ^(0)=0^𝜓00\hat{\psi}\left(0\right)=0over^ start_ARG italic_ψ end_ARG ( 0 ) = 0. Simulation results are shown in Figures 1-5. In these figures, indices 1 and 2 denote the first and second links of the robot manipulator, respectively.

The tracking performances of the links are depicted in Figures 1- 3. Figures 1, and 2 illustrate that the actual position and velocity signals closely follow their desired trajectories. Figure 3 illustrates the boundedness of the PID generalized error. Figure 4 shows the boundedness of neural network weights. Finally, the input control is depicted in Figure 5. The above figures show the tracking performance using our developed control. It also shows that the input control vectors are bounded, demonstrating the proposed method’s capability to accomplish the control tasks effectively.

Refer to caption

Figure 1: Desired and actual trajectories of joint positions

Refer to caption

Figure 2: Desired and actual trajectories of joint velocities

Refer to caption

Figure 3: Trajectories of the filtered error Ψ(t)Ψ𝑡\Psi(t)roman_Ψ ( italic_t )

Refer to caption

Figure 4: Norms of neural networks weignts

Refer to caption

Figure 5: Trajectories of control input

V Conclusion

We presented a novel control strategy for robotic manipulators, leveraging a Nussbaum function-based PID approach to address unknown control directions and dynamics. This strategy simplifies the control design by minimizing the number of tuning parameters and utilizing direct Lyapunov analysis for stability assurance. Our contributions include a simple yet effective PID control framework, automatic gain adjustment through neural network-based estimation, and a reduction in parameter tuning complexity, enhancing adaptability and robustness in uncertain environments. The analytical and numerical validations highlight the effectiveness of our approach in enhancing robotic manipulator control. These findings lay a robust groundwork for future investigations in this field, setting the stage for experimental verification and the exploration of further control innovations.

Acknowledgment

The authors would like to acknowledge the support from the Luxembourg National Research Fund (FNR) under the project IC22/IS/17432865/COSAMOS.

References

  • [1] B. M. Yilmaz, E. Tatlicioglu, A. Savran, and M. Alci, “Self-adjusting fuzzy logic based control of robot manipulators in task space,” IEEE Transactions on Industrial Electronics, vol. 69, no. 2, pp. 1620–1629, 2021.
  • [2] C. A. Lightcap and S. A. Banks, “An extended kalman filter for real-time estimation and control of a rigid-link flexible-joint manipulator,” IEEE Transactions on Control Systems Technology, vol. 18, no. 1, pp. 91–103, 2009.
  • [3] M. Zhu, L. Ye, and X. Ma, “Estimation-based quadratic iterative learning control for trajectory tracking of robotic manipulator with uncertain parameters,” IEEE Access, vol. 8, pp. 43 122–43 133, 2020.
  • [4] H. Rahimi Nohooji, A. Zaraki, and H. Voos, “Actor–critic learning based pid control for robotic manipulators,” Applied Soft Computing, vol. 151, p. 111153, 2024.
  • [5] I. Cervantes and J. Alvarez-Ramirez, “On the pid tracking control of robot manipulators,” Systems & control letters, vol. 42, no. 1, pp. 37–46, 2001.
  • [6] R. P. Borase, D. Maghade, S. Sondkar, and S. Pawar, “A review of pid control, tuning methods and applications,” International Journal of Dynamics and Control, vol. 9, pp. 818–827, 2021.
  • [7] S. A. Ajwad, J. Iqbal, M. I. Ullah, and A. Mehmood, “A systematic review of current and emergent manipulator control approaches,” Frontiers of mechanical engineering, vol. 10, pp. 198–210, 2015.
  • [8] J. Armendariz, V. Parra-Vega, R. García-Rodríguez, and S. Rosales, “Neuro-fuzzy self-tuning of pid control for semiglobal exponential tracking of robot arms,” Applied Soft Computing, vol. 25, pp. 139–148, 2014.
  • [9] A. Belkadi, H. Oulhadj, Y. Touati, S. A. Khan, and B. Daachi, “On the robust pid adaptive controller for exoskeletons: A particle swarm optimization based approach,” Applied Soft Computing, vol. 60, pp. 87–100, 2017.
  • [10] M. I. Azeez, A. Abdelhaleem, S. Elnaggar, K. A. Moustafa, and K. R. Atia, “Optimization of pid trajectory tracking controller for a 3-dof robotic manipulator using enhanced artificial bee colony algorithm,” Scientific reports, vol. 13, no. 1, p. 11164, 2023.
  • [11] C. Huang and C. B. Yu, “Tuning function design for nonlinear adaptive control systems with multiple unknown control directions,” Automatica, vol. 89, pp. 259–265, 2018.
  • [12] A. Scheinker and M. Krstić, “Minimum-seeking for clfs: Universal semiglobally stabilizing feedback under unknown control directions,” IEEE Transactions on Automatic Control, vol. 58, no. 5, pp. 1107–1122, 2012.
  • [13] H. E. Psillakis, “Consensus in networks of agents with unknown high-frequency gain signs and switching topology,” IEEE Transactions on Automatic Control, vol. 62, no. 8, pp. 3993��3998, 2016.
  • [14] R. D. Nussbaum, “Some remarks on a conjecture in parameter adaptive control,” Systems & control letters, vol. 3, no. 5, pp. 243–246, 1983.
  • [15] K. Zhao, C. Wen, Y. Song, and F. L. Lewis, “Adaptive uniform performance control of strict-feedback nonlinear systems with time-varying control gain,” IEEE/CAA Journal of Automatica Sinica, vol. 10, no. 2, pp. 451–461, 2022.
  • [16] Y. Song, X. Huang, and C. Wen, “Robust adaptive fault-tolerant pid control of mimo nonlinear systems with unknown control direction,” IEEE Transactions on Industrial Electronics, vol. 64, no. 6, pp. 4876–4884, 2017.
  • [17] H. Habibi, H. Rahimi Nohooji, and I. Howard, “Adaptive pid control of wind turbines for power regulation with unknown control direction and actuator faults,” IEEE Access, vol. 6, pp. 37 464–37 479, 2018.
  • [18] Habibi, Hamed and Rahimi Nohooji, Hamed and Howard, Ian, “Backstepping nussbaum gain dynamic surface control for a class of input and state constrained systems with actuator faults,” Information Sciences, vol. 482, pp. 27–46, 2019.
  • [19] H. Rahimi Nohooji, I. Howard, and L. Cui, “Neural network adaptive control design for robot manipulators under velocity constraints,” Journal of the Franklin Institute, vol. 355, no. 2, pp. 693–713, 2018.
  • [20] C. Chen, Z. Liu, Y. Zhang, C. P. Chen, and S. Xie, “Adaptive control of mimo mechanical systems with unknown actuator nonlinearities based on the nussbaum gain approach,” IEEE/CAA Journal of Automatica Sinica, vol. 3, no. 1, pp. 26–34, 2016.
  • [21] Chen, Ci, Liu, Zhi, Zhang, Yun, Chen, CL Philip, and Xie, Shengli, “Saturated nussbaum function based approach for robotic systems with unknown actuator dynamics,” IEEE transactions on cybernetics, vol. 46, no. 10, pp. 2311–2322, 2015.
  • [22] F. L. Lewis, D. M. Dawson, and C. T. Abdallah, Robot manipulator control: theory and practice.   CRC Press, 2003.
  • [23] Y. P. Pane, S. P. Nageshrao, J. Kober, and R. Babuška, “Reinforcement learning based compensation methods for robot manipulators,” Engineering Applications of Artificial Intelligence, vol. 78, pp. 236–247, 2019.
  • [24] Q. Chen, Y. Wang, and Y. Song, “Tracking control of self-restructuring systems: a low-complexity neuroadaptive pid approach with guaranteed performance,” IEEE Transactions on Cybernetics, 2021.
  • [25] H. Rahimi Nohooji, “Constrained neural adaptive pid control for robot manipulators,” Journal of the Franklin Institute, vol. 357, no. 7, pp. 3907–3923, 2020.