Adaptive Artificial Time-Delay Control with Barrier Lyapunov Constraints for Euler–Lagrange Robots

Saksham Gupta\(^{1}\), Rishabh Dev Yadav\(^{2}\), Sarthak Mishra\(^{1}\), Amitabh Sharma\(^{1}\), Sourish Ganguly\(^{1}\),
Wei Pan\(^{3}\), Spandan Roy\(^{1}\) and Simone Baldi\(^{4}\)
1 2 3 4 5


Abstract

This paper addresses the challenge of simultaneously compensating for state-dependent uncertainties and enforcing time-varying state constraints in Euler–Lagrange systems—a common requirement in robotics yet underserved by existing control designs. A novel adaptive control framework is developed that combines an artificial time delay based uncertainty estimation (aka time delay estimation, TDE) strategy with a barrier Lyapunov function to enforce constraint-aware control design. Specifically, a state-dependent upper bound on the TDE approximation error is analytically formulated, and an adaptive law is constructed to estimate its parameters online, enabling real-time state-dependent uncertainty compensation without relying on prior model knowledge. To ensure constraint compliance, the barrier Lyapunov function-based controller enforces time-varying bounds on both position and velocity. The resulting architecture is provably stable via Lyapunov analysis. Experimental results on a five degrees-of-freedom robotic manipulator validate the framework’s capability over the state-of-the-art in maintaining strict adherence to safety-critical constraints under dynamic uncertainties.

1 Introduction↩︎

Robotic systems are increasingly deployed in dynamic and uncertain environments, where safety, stability, and high performance are essential. Achieving reliable operation in such settings is particularly challenging due to the nonlinear Euler–Lagrange (EL) dynamics of the robots, and due to the effects of uncertain parameters and unmodeled terms. In these contexts, control strategies must operate reliably despite incomplete system knowledge, while enforcing state constraints to ensure task feasibility and safety. The simultaneous need for uncertainty compensation and real-time constraint satisfaction defines a central challenge in robotics.

1.1 Related Works and Motivation↩︎

Artificial time delay control (also known as time-delay estimation or TDE-based control) was introduced to reduce reliance on system models by approximating unknown dynamics using delayed state/input measurements [1], [2]. Its simplicity and low computational cost have led to widespread adoption in robotics [3][10]. However, most TDE-based methods [3][10] assume an a priori known bound on the approximation error—an assumption that limits robustness to fast-varying or state-dependent uncertainties. To overcome this limitation, adaptive TDE control frameworks have been proposed by [11][13], wherein a structured state-dependent upper bound on the TDE error is analytically formulated and its parameters are updated online via adaptive laws. However, these methods do not incorporate mechanisms for enforcing state constraints, making them unsuitable for safety-critical applications where real-time enforcement of position and velocity limits is essential.

In many practical applications, ensuring that system states remain within prescribed bounds is as critical as achieving tracking accuracy. Robotic arms operating near humans, aerial vehicles navigating constrained spaces, or manipulators handling delicate payloads, all demand strict enforcement of position and velocity limits for safety and reliability. While Model Predictive Control (MPC) can tackle such constraints, it requires accurate model and imposes high computational overhead — making it unsuitable for many embedded robotic systems [14][17]. Barrier Lyapunov Functions (BLFs), by contrast, encode constraints directly into the control design, enabling real-time enforcement without online optimization [18][22].

Although early BLF-based control strategies required precise knowledge of system dynamics, more recent designs have relaxed this dependency by incorporating robust [23][25] or adaptive [26][31] mechanisms. However, the majority of these methods enforce position-only (i.e., partial state) constraints, which significantly reduce flexibility (cf. [18], [19], [24], [25], [27]). To address this, time-varying BLF formulations have been developed ([21], [32][35]), offering improved constraint scheduling. Nevertheless, many of these approaches still rely on accurate model information (cf. [21], [32], [33]) or assume a priori bounded uncertainty (cf. [34], [35]). This is a critical limitation for EL systems, where uncertainty is inherently state-dependent and cannot be bounded in advance. As shown in [36], relying on a priori bounded uncertainty in adaptive control design can even compromise stability.

1.2 Contribution↩︎

These limitations motivate the development of an adaptive-robust control framework that explicitly addresses both constraint enforcement and uncertainty adaptation in a unified manner. This framework simultaneously addresses state-dependent uncertainty and time-varying position and velocity constraints—two critical but often separately treated challenges in nonlinear control. The key contributions are:

  • State-dependent uncertainty adaptation: A novel TDE formulation is derived with an explicit, structured upper bound on the approximation error. The bound’s parameters are adapted online, enabling compensation of unknown, state-dependent terms.

  • Time-varying constraint enforcement: A BLF-based control strategy is developed to rigorously enforce time-varying position and velocity constraints, accommodating initial errors and transients.

  • Cohesive design: The controller tightly couples adaptive uncertainty estimation and constraint satisfaction in a provably stable architecture. Stability and constraint compliance are formally established through Lyapunov analysis.

To the best of our knowledge, this is the first framework to couple Adaptive TDE with BLF-based constraint enforcement for nonlinear EL-based robotic systems. The approach is validated on a 5-degrees-of-freedom (DoF) robotic manipulator, outperforming the state of the art.

The rest of the paper is organised as follows: Section II describes the EL robotics dynamics and the control problem; Section III details the proposed control framework, while corresponding stability analysis is provided in Section IV; comparative experimental results are in Section V, while Section VI provides concluding remarks.

The following notations are used in the paper: \((\bullet)_{L}\) denotes that \((\bullet)(t)\) is delayed by \(L\), i.e., \((\bullet)(t-L)\); \(\lambda _{\min}(\bullet)\), \(\lambda _{\max}(\bullet)\), \(|| \bullet ||\), \(| \bullet |\) denote minimum and maximum eigenvalue, 2-norm and absolute value of \(\bullet\) respectively; \({I}_n \in\mathbb{R}^{n\times n}\) denotes Identity matrix; \(\mathop{\mathrm{diag}}\lbrace \cdot, \cdots, \cdot \rbrace\) denotes a diagonal matrix with diagonal elements \(\lbrace \cdot, \cdots, \cdot \rbrace\); \(\exp\) denotes exponential function; the saturation function \(\mathop{\mathrm{sat}}({s,\varpi})=(s/||s||)\) if \(||s||\geq \varpi\) and \(\mathop{\mathrm{sat}}({s,\varpi})=(s/\varpi)\) if \(||s|| < \varpi\) with \(\varpi\in \mathbb{R}^{+}\).

2 System Dynamics and Problem Formulation↩︎

Let us consider the following class of robots modeled via Euler-Lagrange (EL) dynamics [3][10]: \[\begin{align} M( q(t))\ddot{ q}(t) &+ H( q(t),\dot{ q}(t), t)= \tau(t), \label{eq:TDdynamics} \end{align}\tag{1}\] where \({q}, \dot{ q}\in\mathbb{R}^{n}\) are the system states (position and velocity), \(\tau\in\mathbb{R}^{n}\) is the generalized control input, \({M}\in\mathbb{R}^{n\times n}\) is the mass/inertia matrix and \(H \in\mathbb{R}^{n}\) represents the combined effects of dynamic forces (e.g., Coriolis, dissipative, restoring, external disturbances etc.).

The following system property holds from standard EL mechanics [37]:

Property 1: The matrix \({M}( q)\) is uniformly positive definite for all \(q\), i.e., \(\exists \psi_1, \psi_2 \in \mathbb{R}^{+}\) such that \[\psi_1 {I} \leq {M}( q) \leq \psi_2 {I} \Rightarrow (1/\psi_2) {I} \leq {M}^{-1}( q) \leq (1/\psi_1) {I}.\label{prop1}\tag{2}\]

Let us introduce the amount of uncertainty in system as follows:

Remark 1 (Uncertainty). The precise knowledge of \(M\) is not available, only its upper bound (\(\psi_2\)) is known. Whereas, \(H\) is unknown for control design.

Introducing a constant diagonal matrix \({\bar { M}}\), the dynamics (1 ) can be compactly written as \[\begin{align} &{\bar{ M}\ddot { q}} + { {N}}({ {q}},{{\dot{ q}},\ddot{ q}}) = { \tau },\tag{3}\\ \text{with}~~~~&{ {N}}({ {q}},{{\dot{ q}},\ddot{ q}}) = [{ {M}}({ {q}}) - {\bar { M}}]{\ddot { q}} + H( q,\dot{ q})\tag{4} \end{align}\] and the selection of \({\bar { M}}\) is discussed later (cf. Remark 3). The desired trajectories \({q}^d(t)\) and their time-derivatives \(\dot{ q}^d(t), \ddot{ q}^d(t)\) are designed to be smooth and bounded. The signals \(({ {q}}(t),{{\dot{ q}}(t),\ddot{ q}}(t))\) are available for control design. Control Objective: Let the position and velocity tracking errors \(( {e}, \dot{ {e}})\) be defined as \[\label{error} \begin{align} {e} = {q} - {q}^d ; ~~~\dot{ {e} } = \dot{ {q}} - \dot{ {q}}^d. \end{align}\tag{5}\] Let us decompose \(e=[e_1~ \;e_2 \ldots e_n]^T\), \(\dot{e}=[\dot{e}_1~ \dot{e}_2 \ldots \dot{e}_n]^T\), where \(e_i\) and \(\dot{e}_i\) the tracking errors for the \(i^{th}\) degree-of-freedom, \(i=1,2, \cdots, n,\). Since we are interested in tracking control, the problem of imposing constraints on states \({q}, \dot{ q}\) can be equivalently considered to be the problem of imposing constraints on tracking errors \({e}, \dot{ e}\) around desired trajectories (cf. (5 )). Accordingly, we define constraint functions \[\label{eq:bounds95p} \begin{align} k_{pi}(t) &= (k_{0pi} - k_{sspi}) \exp^{-\alpha_{p} t} + k_{sspi}, k_{0pi} > {e}_i (0) \\ k_{vi}(t) &= (k_{0vi} - k_{ssvi}) \exp^{-\alpha_{v} t} + k_{ssvi}, k_{0vi}> \dot{e}_i (0) \end{align}\tag{6}\] where \(\alpha_{p}, ~\alpha_{v} \in \mathbb{R}^{+}\) are scalars; \((k_{0pi}, k_{0vi})\) and \((k_{sspi}, k_{ssvi} )\) are the initial and steady-state values of the respective constraints. Our control objective is to keep the tracking errors within the constraints as \(|e_{i}(t)|< k_{pi}(t) , ~| \dot{e}_{i}(t)|< k_{vi}(t)\) for all time \(t \geq 0\). In the following, we discuss the design of the constraint functions (6 ).

Remark 2 (Design of constraint function). To have a well-posed initial setting, initial tracking errors should satisfy \(|e_i(0)| < k_{pi}(0), |\dot{e}_i(0)| < k_{vi}(0)\), as standard in the literature [18][21], [23][35]. This can be used to define \((k_{0pi}, k_{0vi})\); whereas, \((k_{sspi}, k_{ssvi})\) can be selected based on user-defined steady-state bounds. Further, the parameters \((\alpha_{pi}, \alpha_{vi})\) determine the convergence rate, which can be as per application requirements.

3 Proposed Adaptive Control Solution↩︎

Variable dependency will be removed subsequently for brevity whenever it is obvious. The control input \(\tau\) is designed as \[\begin{align} \tau &={\bar{ M} u + \hat{ N}}({ {q}},{{\dot{ q}},\ddot{ q}}), \tag{7}\\ \text{with} ~~ {u} &= {u}_0- \Delta u, \tag{8} \\ \hat{ N}( q,\dot{ q} , \ddot{ q}) & \cong N( q_L,\dot{ q}_L,\ddot{ q}_L)= \tau_L-\bar{ M}\ddot{ q}_L, \tag{9}\\ u_0 & = {\ddot { q}^d} - D_{D}\dot{ e}- D_{P} e, \tag{10}\\ {D}_{P}& = \mathop{\mathrm{diag}}{\bigg\{\frac{1}{k_{p1}^{2}- e^{2}_1}, \cdot \cdot \cdot, \frac{1}{k_{pn}^{2}- e^{2}_n}\bigg\}} , \tag{11} \\ {D}_{D}&=\mathop{\mathrm{diag}}{\bigg\{\frac{1}{k_{v1}^{2}- \dot{e}^{2}_1}, \cdot \cdot \cdot, \frac{1}{k_{vn}^{2}- \dot{e}^{2}_n}\bigg\}}, \tag{12} \end{align}\] and \(\Delta u\) is the adaptive control term to be designed later; \(\hat{ N}\) is the estimate of the uncertainty function \(N\) derived from the past state/input data; \(L>0\) is a small time delay introduced to collect the past data and its choice is discussed later (cf. Remark 4). This estimation process via artificial/intentional injection of delay is conventionally called time-delay estimation (TDE).

Substituting (7 ), (8 ) and (10 ) into (3 ) gives the following error dynamics: \[\begin{align} \ddot{ e}& =- D_{D}\dot{ e}- D_{P} e + \sigma- \Delta u, \label{eq:errdynamics951} \end{align}\tag{13}\] where \(\sigma={\bar{ M}}^{-1}({ N}-{\hat{ N}})\) is the estimation error stemming from TDE process (9 ) and it is termed as the TDE error. The adaptive control term \(\Delta u\) is designed based on the structure of the upper bound of TDE error \(|| \sigma||\) derived subsequently.

3.1 Upper bound structure of \(|| \sigma||\)↩︎

From (1 ) and (13 ), the following relations can be achieved: \[\begin{align} \hat{ N}&= {N}_L=[{ {M}}({ {q}_L}) - {\bar { M}}]{\ddot { q}_L} + H_L ,\tag{14} \\ \sigma&=\ddot{ q}- u. \tag{15} \end{align}\] Using (14 ), the control input \(\tau\) in (7 ) can be rewritten as \[\begin{align} \tau &= \bar{ M} u+[{ {M}}({ {q}_L}) - {\bar { M}}]{\ddot { q}_L} + H_L. \label{tau32new} \end{align}\tag{16}\] Multiplying both sides of (15 ) with \(M\) and using (1 ) and (16 ) \[\begin{align} {M} \sigma &= \tau - H- {M} {u}, \nonumber \\ & = \bar{ M} u+[{ {M}}({ {q}_L}) - {\bar { M}}]{\ddot { q}_L} + H_L - H - {M} {u}. \label{sig323} \end{align}\tag{17}\] Defining \({D} \triangleq [ {D}_P ~ {D}_D]\), \(\xi \triangleq \begin{bmatrix} { e}^T& \dot{ e}^T \end{bmatrix}^T\) and using (13 ) we have \[\begin{align} \ddot{ {q}}_L& = \ddot{ {q}}^d_L - D \xi_L + \sigma_L - \Delta u_L.\label{sig324} \end{align}\tag{18}\] Substituting (18 ) into (17 ), and after re-arrangement yields \[\begin{align} \sigma &= \underbrace{ {M}^{-1}\bar{ {M}}( \Delta u_L - \Delta u}_{ \chi_1}) + \underbrace{ {M}^{-1}( {M} \Delta u - {M}_L \Delta u_L)}_{ \chi_2} \nonumber\\ &+\underbrace{ {M}^{-1}\lbrace (\bar{ {M}} - {M} )\ddot{ {q}}^d + ( {M}_L - \bar{ {M}})\ddot{ {q}}^d_L+ H_L - H \rbrace }_{ \chi_3} \nonumber\\ &+ \underbrace{( I - {M}^{-1}\bar{ {M}}) {D} \xi}_{ \chi_4} + \underbrace{ {M}^{-1}(\bar{ {M}} - {M}_L) {D} \xi_L}_{ \chi_5} \nonumber\\ &+ \underbrace{ {M}^{-1}( {M}_L-\bar{ {M}}) \sigma_L}_{ \chi_6}. \label{sig325} \end{align}\tag{19}\]

Both \({M}\) and \({M}^{-1}\) are bounded from system property (2 ). Using the relation \((\cdot)_L= (\cdot)(t)-\int_{-L}^0 {\frac{\mathrm{d}}{\mathrm{d}\theta}(\cdot)}(t+\theta)\mathrm{d}\theta\) and the fact that integration of any continuous function over a finite interval (here \(-L\) to \(0\)) is always finite [38], the following conditions hold for unknown constants \(\delta_i\), \(i=1, \cdots,6\): \[\begin{align} &|| { \chi_1} ||=|| -{M}^{-1}\bar{ {M}} \int_{-L}^{0} \frac{\mathrm{d}}{\mathrm{d}\theta} \Delta { u}(t+\theta) \mathrm{d}\theta || \leq \delta_1 \tag{20}\\ &|| { \chi_2} ||=|| {M}^{-1} \int_{-L}^{0} \frac{\mathrm{d}}{\mathrm{d}\theta} {M}(t+\theta) \Delta { u}(t+\theta) \mathrm{d}\theta || \leq \delta_2 \tag{21}\\ &|| { \chi_3} ||=|| {M}^{-1}\lbrace (\bar{ {M}} - {M} )\ddot{ {q}}^d + ( {M}_L - \bar{ {M}})\ddot{ {q}}^d_L \nonumber\\ &\qquad \qquad \qquad -\int_{-L}^{0} \frac{\mathrm{d}}{\mathrm{d}\theta}{ H}(t+\theta)\mathrm{d}\theta \rbrace ||\leq \delta_3 \tag{22}\\ &|| { \chi_4} ||= || ( I - {M}^{-1}\bar{ {M}}) {D} \xi || \leq || {E} {D}|| || \xi|| \tag{23}\\ &|| { \chi_5} ||=|| {M}^{-1} \int_{-L}^{0} \frac{\mathrm{d}}{\mathrm{d}\theta}( \bar{ {M}} - {M}(t+\theta)) {D} \xi(t+\theta) \mathrm{d}\theta \\ & \qquad \qquad +( I - {M}^{-1}\bar{ {M}} ) {D} \xi ||\leq || E D || || \xi || + \delta_5 \tag{24}\\ &|| {\chi_6} || = || E \sigma + {M}^{-1}\int_{-L}^{0}\frac{\mathrm{d}}{\mathrm{d}\theta}\lbrace( {M}(t+\theta)-\bar{ {M}}) \sigma (t+\theta) \rbrace \mathrm{d}\theta || \nonumber \\ & \qquad \leq ||{ E}|| || \sigma || + \delta_6 . \tag{25} \end{align}\] Here \({M}\) and \(H\) are explicitly represented in time for ease of notation. The upper bound of \(|| \sigma ||\) is formulated using (20 )-(25 ) from (19 ) as \[\begin{align} \lVert \sigma \rVert &\leq \beta_{0}^{*} + \beta_{1}^{*} || {D} || \lVert \xi \rVert, \label{eq:upbound} \\ \text{where}~ & \beta_{0}^{*} =\frac{\sum_{i=1}^{6}\delta_i}{1-\lVert E \rVert}, ~ \beta_{1}^{*} = \frac{2 \lVert E \rVert }{1-\lVert E\rVert} \nonumber \end{align}\tag{26}\] under the following condition \[\begin{align} || E ||= || {I} - {M}^{-1}\bar{ M} || <1. \label{condition} \end{align}\tag{27}\]

Remark 3 (Choice of \(\bar{ M}\) and upper bound of \(||\sigma||\)). The condition (27 ) is standard in the TDE literature [7][10] and hence, the proposed formulation does not introduce any additional design condition. Further, from the upper bound on \(M\) (cf. Remark 1), one can always design \(\bar{ M}\) to satisfy (27 ). It is noteworthy that the upper bound structure of \(||\sigma||\), involving both states and their constraints, is unique compared to the existing literature ([1][13]), and thus requires a new adaptive control framework as derived subsequently.

3.2 Adaptive law design↩︎

The error dynamics (13 ) can be re-written in form of \[\begin{align} \dot{ \xi}& = ( A_0 + {\bar{A}}) \xi+ {B} ( \sigma- \Delta u), \label{eq:errdynamics952} \end{align}\tag{28}\] where \({B}=\begin{bmatrix} {0}\\ {I}_{n} \end{bmatrix}\), \(A_0 = \begin{bmatrix} - \lambda_P & 0 \\ 0 & - \lambda_D \end{bmatrix}\), \({\bar{A}} = \begin{bmatrix} \lambda_P & {I}_n \\ - {D}_P & - {D}_{D}+ \lambda_D \end{bmatrix}\) and \(\lambda_P= \mathop{\mathrm{diag}}\lbrace \lambda_{p1}, \cdots, \lambda_{pn} \rbrace, \lambda_D = \mathop{\mathrm{diag}}\lbrace \lambda_{d1}, \cdots, \lambda_{dn} \rbrace\) are user-defined positive definite diagonal matrices with \(\lambda_{pi}, \lambda_{di} \in \mathbb{R}^{+}\) for each \(i=1,2, \cdots,n\).

The term \(\Delta u\) is designed as \[\begin{align} \label{eq:auxinput952} \Delta { {u}}(t) &= \rho \frac{ s}{|| s||} , \end{align}\tag{29}\] where \({s=B}^T {D_\xi} \xi\) and \(D_{\xi =}\) diag\(\{ {D}_{P}, {D}_{D} \}\). The adaptive gain \(\rho\) in (29 ) is formulated based on the upper bound structure of \(|| \sigma ||\) from (26 ) as \[\begin{align} \rho=\hat{\beta}_0+\hat{\beta}_1 || {D}|| || \xi || + \zeta, \label{sw32gain} \end{align}\tag{30}\] where \(\hat{\beta}_0, \hat{\beta}_1\) are the estimates of \(\beta_0, \beta_1 \in \mathbb{R}^{+}\), respectively and adapted via the following laws: \[\tag{31} \begin{align} &\dot{\hat{\beta}}_{0} = || s || - \nu_0\hat{\beta}_{0},~\hat{\beta}_{0} (0) > 0, \tag{32} \\ &\dot{\hat{\beta}}_{1} = || s || || D|| || \xi|| - \nu_1 \hat{\beta}_{1},~\hat{\beta}_{1} (0) > 0, \tag{33} \\ &\dot{\zeta} = -\left( 1 + || D_{\xi}||||\bar{ A}|||| \xi||^2 \right. \tag{34} \\ &\left. \quad - \sum_{i=1}^{n} \frac{\dot{k}_{pi}}{k_{pi}} \left[ \frac{e_{i}^{2}}{k_{pi}^{2}-e_{i}^{2}} \right] - \sum_{i=1}^{n} \frac{\dot{k}_{vi}}{k_{vi}} \left[ \frac{\dot{e}_{i}^{2}}{k_{vi}^{2}- \dot{e}_{i}^{2}} \right] \right) \zeta + \epsilon, \nonumber \end{align}\] where \(\nu_i, \epsilon \in\mathbb{R}^{+}\) are user-defined scalars. Finally, combining (7 ) and (29 ) becomes \[\label{theproposedcontrollaw} \begin{align} { {\tau }} &= \underbrace {{{ {\tau }}_L} - {\bar{ M}}{{{\ddot { q}}}_L}}_{{\text{TDE~part}}}+\underbrace {{\bar{ M}}({{{\ddot { q}}}^d} + {{ {D}}_D}{\dot{ e}} + {{ {D}}_P}{ {e}})}_{{\text{Desired~error~constraint~part}}} +\underbrace { \rho { s}/{|| s||} }_{{\text{Adaptive~part}}}. \end{align}\tag{35}\]

Remark 4 (Choice of \(L\)). The upper bounds in (20 )-(25 ) reveal that high value of time delay \(L\) will lead to high values of \(\delta_i\), i.e., larger TDE error. Therefore, \(L\) is to be selected as the smallest possible sampling time of the low level micro-controller, which is consistent with traditional TDE-based literature [9], [10].

Remark 5. It may appear from (10 ) that the gains \({D}_{P}\) and \({D}_{D}\) will become infeasible if the error variables touch the constraints. However, the subsequent closed-loop stability analysis will show that the tracking errors never violate the constraints with the proposed control design.

4 Closed-Loop System Stability↩︎

Theorem 1. Under Property 1 and using the proposed control laws (35 ), along with the adaptive law (31 ) and the design condition (27 ), the tracking error trajectories \({e}\) and \(\dot{ e}\) remain within the bounds defined in 6 for all \(t \geq 0\).

Proof. Modeling the adaptive laws (32 ) as linear time-varying systems, and using their analytical solutions from positive initial conditions, it can be verified that \(\hat{\beta}_{0}, \hat{\beta}_{1}\geq 0\) and from (34 ), it can be verified that \(\exists ~\bar{\zeta}, \underline{\zeta} \in \mathbb{R}^{+}\) such that \[\begin{align} \label{bound} 0 < \underline{\zeta} \leq \zeta (t) \leq \bar{\zeta}, ~~ \forall t > 0. \end{align}\tag{36}\]

Stability is analyzed using the following Lyapunov function: \[\begin{align} \label{lyap} V &= \frac{1}{2}\sum_{i=1}^{n}\log{\left(\frac{k_{pi}^2}{k_{pi}^{2}-e^{2}_i }\right)} + \frac{1}{2}\sum_{i=1}^{n}\log{\left(\frac{k_{vi}^2}{k_{vi}^{2}-\dot{e}^{2}_i }\right)} \nonumber \\ &+ \sum_{j=0}^{1}\frac{(\hat{\beta}_{j} -\beta_{j}^{*})^2}{2} + \frac{\zeta}{\underline{\zeta}}, \end{align}\tag{37}\]

Taking the time derivative of (37 ) \[\begin{align} \label{step1} \dot{V} &= \sum_{i=1}^{n} \left( \frac{e_{i}\dot{e}_{i}}{k_{pi}^{2}-e_{i}^{2}} + \frac{\dot{k}_{pi}}{k_{pi}} - \frac{k_{pi} \dot{k}_{pi}}{ k_{pi}^{2}-e_{i}^{2}} \right) + \sum_{j=0}^{1}(\hat{\beta}_{j} - \beta_{j}^{*}) \dot{\hat{\beta}}_{j} \nonumber \\ &+ \sum_{i=1}^{n} \left( \frac{\dot{e}_{i}\ddot{e}_{i}}{k_{vi}^{2}- \dot{e}_{i}^{2}} + \frac{\dot{k}_{vi}}{k_{vi}} - \frac{k_{vi} \dot{k}_{vi}}{ k_{vi}^{2}- \dot{e}_{i}^{2}} \right) + \frac{\dot{\zeta}}{\underline{\zeta}} \nonumber \\ &=e^T D_P \dot{e} + \dot{e}^T D_D \ddot{e} + \sum_{j=0}^{1}(\hat{\beta}_{j} - \beta_{j}^{*}) \dot{\hat{\beta}}_{j} + \frac{\dot{\zeta}}{\underline{\zeta}} \nonumber \\ &+\sum_{i=1}^{n} \left( \frac{\dot{k}_{vi}}{k_{vi}} - \frac{k_{vi} \dot{k}_{vi}}{ k_{vi}^{2}- \dot{e}_{i}^{2}} + \frac{\dot{k}_{pi}}{k_{pi}} - \frac{k_{pi} \dot{k}_{pi}}{ k_{pi}^{2}-e_{i}^{2}} \right) \nonumber \\ &= \xi^T D_{\xi} \dot{\xi} + \sum_{j=0}^{1}(\hat{\beta}_{j} - \beta_{j}^{*}) \dot{\hat{\beta}}_{j} + \frac{\dot{\zeta}}{\underline{\zeta}}\nonumber \\ &+ \sum_{i=1}^{n} \left( \frac{\dot{k}_{vi}}{k_{vi}} - \frac{k_{vi} \dot{k}_{vi}}{ k_{vi}^{2}- \dot{e}_{i}^{2}} + \frac{\dot{k}_{pi}}{k_{pi}} - \frac{k_{pi} \dot{k}_{pi}}{ k_{pi}^{2}-e_{i}^{2}} \right). \end{align}\tag{38}\]

Using (28 ) one can get \[\begin{align} \label{step2} \dot{V} &= {\xi}^T {D}_{\xi} A_0 \xi + {\xi}^T {D}_{\xi} {\bar{A}} \xi + {\xi}^T {D}_{\xi} {B} ( \sigma- \Delta u) + \frac{\dot{\zeta}}{\underline{\zeta}} \nonumber \\ & + \sum_{i=1}^{n}\left(\frac{\dot{k}_{vi}}{k_{vi}} - \frac{k_{vi} \dot{k}_{vi}}{ k_{vi}^{2}- \dot{e}_{i}^{2}}+ \frac{\dot{k}_{pi}}{k_{pi}} - \frac{k_{pi} \dot{k}_{pi}}{ k_{pi}^{2}-e_{i}^{2}}\right)+\sum_{j=0}^{1}(\hat{\beta}_{j} - \beta_{j}^{*}) \dot{\hat{\beta}}_{j} \nonumber \\ &\leq {\xi}^T {D}_{\xi} A_0 \xi + || D_{\xi}||||\bar{ A}|||| \xi||^2 + ||s|||| \sigma|| - \rho||s|| + \frac{\dot{\zeta}}{\underline{\zeta}} \nonumber \\ & + \sum_{i=1}^{n}\left( \frac{\dot{k}_{vi}}{k_{vi}} -\frac{k_{vi} \dot{k}_{vi}}{ k_{vi}^{2}- \dot{e}_{i}^{2}}+\frac{\dot{k}_{pi}}{k_{pi}} - \frac{k_{pi} \dot{k}_{pi}}{ k_{pi}^{2}-e_{i}^{2}}\right) + \sum_{j=0}^{1} (\hat{\beta}_{j} - \beta_{j}^{*}) \dot{\hat{\beta}}_{j} \nonumber \\ &\leq {\xi}^T {D}_{\xi} A_0 \xi + || D_{\xi}||||\bar{ A}|||| \xi||^2 - (\hat{\beta}_{0} - \beta_{0}^{*}) ||s|| \nonumber \\ &- (\hat{\beta}_{1} - \beta_{1}^{*}) (|| s|| || \xi|||| D||) + \sum_{j=0}^{1}(\hat{\beta}_{j} - \beta_{j}^{*}) \dot{\hat{\beta}}_{j} + \frac{\dot{\zeta}}{\underline{\zeta}} \nonumber \\ &+ \sum_{i=1}^{n} \left( \frac{\dot{k}_{vi}}{k_{vi}} - \frac{k_{vi} \dot{k}_{vi}}{ k_{vi}^{2}- \dot{e}_{i}^{2}} + \frac{\dot{k}_{pi}}{k_{pi}} - \frac{k_{pi} \dot{k}_{pi}}{ k_{pi}^{2}-e_{i}^{2}} \right). \end{align}\tag{39}\] Also, from (32 ) we have \[\begin{align} \label{step3} &\sum_{j=0}^{1}(\hat{\beta}_{j} - \beta_{j}^{*}) \dot{\hat{\beta}}_{j} = (\hat{\beta}_{0} - \beta_{0}^{*}) (||s|| || - \nu_0 \hat{\beta}_{0}) \nonumber \\ & +(\hat{\beta}_{1} - \beta_{1}^{*}) (||s|| ||\xi|| ||D|| - \nu_1 \hat{\beta}_{1}) \nonumber \\ &= (\hat{\beta}_{0} - \beta_{0}^{*}) ||s|| +(\hat{\beta}_{1} - \beta_{1}^{*}) (|| s|| || \xi|||| D||) \nonumber \\ & + \sum_{j=0}^{1}( \nu_j \hat{\beta}_{j} \beta_{j}^{*} - \nu_j \hat{\beta}_{j}^2). \end{align}\tag{40}\] One can verify that \[\label{step4} ( \nu_j \hat{\beta}_{j} \beta_{j}^{*} - \nu_i \hat{\beta}_{j}^2) = - \frac{ \nu_i}{2} \left((\hat{\beta}_{j} - \beta_{j}^*)^2 - {\beta_{j}^*}^2\right).\tag{41}\] For \(l= p,v\) and \(\mu = e, \dot{e}\), we can simplify \[\begin{align} \label{step5} &\sum_{i=1}^{n} \frac{\dot{k}_{li}}{k_{li}} - \frac{k_{li} \dot{k}_{li}}{ k_{li}^{2}-\mu_{i}^{2}} = -\sum_{i=1}^{n} \frac{\dot{k}_{li}}{k_{li}} \left[ \frac{\mu_{i}^{2}}{k_{li}^{2}-\mu_{i}^{2}} \right] \end{align}\tag{42}\] The adaptive law (34 ) and relation (36 ) lead to \[\begin{align} \label{step6} \frac{\dot{\zeta}}{\underline{\zeta}} & \leq -|| D_{\xi}||||\bar{ A}|||| \xi||^2 +\sum_{i=1}^{n} \frac{\dot{k}_{pi}}{k_{pi}} \left[ \frac{e_{i}^{2}}{k_{pi}^{2}-e_{i}^{2}} \right] \nonumber \\ &+\sum_{i=1}^{n} \frac{\dot{k}_{vi}}{k_{vi}} \left[ \frac{\dot{e}_{i}^{2}}{k_{vi}^{2}- \dot{e}_{i}^{2}} \right] + \frac{{{\epsilon}}}{\underline{\zeta}}. \end{align}\tag{43}\] Using results from 40 ,41 ,42 ,43 into 39 , give \[\begin{align} \label{step7} \dot{V} &= {\xi}^T {D}_{\xi} A_0 \xi -\sum_{j=0}^{1}\frac{ \nu_i}{2} \left((\hat{\beta}_{j} - \beta_{j}^*)^2 - {\beta_{j}^*}^2\right) + \frac{{{\epsilon}}}{\underline{\zeta}} \nonumber \\ &= - \begin{bmatrix} { e}^T& \dot{ e}^T \end{bmatrix} \begin{bmatrix} D_p \lambda_p & 0 \\ 0 & D_d \lambda_d \end{bmatrix} \begin{bmatrix} { e} \nonumber \\ \dot{ e} \end{bmatrix} \nonumber \\ &-\sum_{j=0}^{1}\frac{ \nu_i}{2} \left((\hat{\beta}_{j} - \beta_{j}^*)^2 - {\beta_{j}^*}^2\right) + \frac{{{\epsilon}}}{\underline{\zeta}} \nonumber \\ &= -\sum_{i=1}^{n} \lambda_{pi} {\left(\frac{e_{i}^2}{k_{pi}^{2}-e^{2}_i }\right)} -\sum_{i=1}^{n} \lambda_{di} {\left(\frac{\dot{e}_{i}^2}{k_{vi}^{2}-\dot{e}^{2}_i }\right)} \nonumber \\ &-\sum_{j=0}^{1}\frac{ \nu_j}{2} \left((\hat{\beta}_{j} - \beta_{j}^*)^2 - {\beta_{j}^*}^2\right) + \frac{{{\epsilon}}}{\underline{\zeta}}. \end{align}\tag{44}\] From the fact that \(\log\left( \frac{k_x^2}{k_x^2 - x^2} \right) < \frac{x^2}{k_x^2 - x^2}, \quad \text{for } |x| < k_x\), which holds within any compact set \(\Omega : |x| < k_x\), and for any \(k_x \in \mathbb{R}_+\), we can write \[\begin{align} \label{step8} \dot{V} \leq &-\sum_{i=1}^{n} \lambda_{pi} \log{\left(\frac{k_{pi}^2}{k_{pi}^{2}-e^{2}_i }\right)} -\sum_{i=1}^{n} \lambda_{di} \log{\left(\frac{k_{v`i}^2}{k_{vi}^{2}-\dot{e}^{2}_i }\right)} \nonumber \\ &-\sum_{j=0}^{1}\frac{ \nu_j}{2} \left((\hat{\beta}_{j} - \beta_{j}^*)^2 - {\beta_{j}^*}^2\right) + \frac{{{\epsilon}}}{\underline{\zeta}}. \end{align}\tag{45}\] The definition of \(V\) as in (37 ) yields \[\begin{align} \label{step9} V &= \frac{1}{2}\sum_{i=1}^{n}\log{\left(\frac{k_{pi}^2}{k_{pi}^{2}-e^{2}_i }\right)} + \frac{1}{2}\sum_{i=1}^{n}\log{\left(\frac{k_{vi}^2}{k_{vi}^{2}-\dot{e}^{2}_i }\right)} \nonumber \\ &+ \sum_{j=0}^{1}\frac{(\hat{\beta}_{j} -\beta_{j}^{*})^2}{2} + \frac{\bar{\zeta}}{\underline{\zeta}}. \end{align}\tag{46}\] Combining \(\dot{V}\) and \(V\) from 45 and 46 \[\begin{align} \label{subs9510} \dot{V} \leq -\varrho V + \varrho \frac{\bar{\zeta}}{\underline{\zeta}} + \frac{{{\epsilon}}}{\underline{\zeta}} + \frac{1}{2}\sum \limits_{i=0}^{1} \nu_i {\beta^*_{i}}^2 \end{align}\tag{47}\] where \(\varrho \triangleq \min \lbrace \min\lbrace \lambda_{pi} \rbrace, \min\lbrace \lambda_{di} \rbrace, {\nu_{pi}/2} \rbrace\) . ◻

Remark 6 (Continuity in control law). To make the control laws continuous for practical implementation, the terms \({(s/||s||)}\) are usually replaced by continuous saturation functions \(\mathop{\mathrm{sat}}( {s}, \varpi)\) for \(\varpi \in \mathbb{R}^{+}\) (cf. the notation definition in Sect. I): this still keeps the closed-loop system bounded with minor modification in stability analysis (cf. [39]), and hence repetition is avoided.

Figure 1: Design steps of the proposed controller

5 Experimental Validation and Results↩︎

The experimental platform consisted of UFactory 5-DoF xArm-5 robotic manipulator (cf. Fig. 2), with an NVIDIA Jetson AGX Xavier serving as the compute unit. A custom-designed end-effector was attached, incorporating a Dynamixel XM430-W210-T servo motor to enable rapid switching between two tools: a marker and an eraser. This configuration allows for seamless tool transitions during task execution. Real-time joint state data were acquired via the manipulator’s internal feedback interface, supporting synchronized, high-frequency closed-loop control.

5.1 Experimental Scenario↩︎

The robot was commanded to perform a constrained drawing and erasing task on a surface: drawing of \(3\) layers of concentric semicircles and then erase the middle semicircle without erasing/ disturbing the inner and outer semicircles. Involving physical contact and tight position and velocity limits in the task was designed to evaluate tracking performance and constraint handling under state-dependent and external disturbances arising from unknown surface contact forces and frictional variations at the end-effector. The specific sequences of the task are as follows:

  • Starting from the initial position, draw an innermost semicircle with a radius of \(20\) cm; lift the pen and come back to the initial position.

  • Draw an outermost semicircle with a radius of \(24\) cm; lift the pen and come back to the initial position.

  • Draw a middle semicircle with a radius of \(22\) cm; lift the pen and come back to the initial position.

  • Rotate the tool (from drawing to erasing) and erase the middle (\(22\) cm) semicircle using the eraser starting from the initial position.

Both the drawing and erasing of the middle semicircle occur in a confined region between the inner and outer paths, thereby emphasizing the critical role of real-time constraint enforcement to ensure safe and feasible motion. The desired trajectory \(({ q}^d, \dot{ q}^d)\) for the manipulator is pre-computed using the open-source package named ruckig [40]. The \(4\) cm radial distance between the inner and outer semicircles was selected to accommodate the \(2\) cm wide eraser. It is important to note that the initial condition of the robot is always set at zero (as provided by the manufacturer). Therefore, the initial error always starts from zero (cf. the experimental error plots later).

To evaluate the significance of the proposed control strategy, its performance was compared against two representative baselines: (i) an adaptive BLF-based controller [32] (referred as ABLF) and (ii) an adaptive TDE-based controller [11] (referred ATDC). The parameters used in the experiments for the proposed controller are listed in Table 1 along with parameters to design the constraints. For both baselines, the controller gains were carefully tuned according to the respective design guidance to achieve their best possible performance under identical task conditions.

Figure 2: Experimental setup of 5-DoF xArm and custom end-effector.
Table 1: Design Parameters for the Proposed Controller
\({\bar{ M}} = I\); \(\lambda_D = \text{diag}\{3, 3, 3, 3, 3\}\) ; \(\lambda_P = \text{diag}\{5, 5, 5, 5,5\}\)
\(L = 0.01\)
\(\hat{\beta}_0(0) = \hat{\beta}_1(0) = 0.01\); \(\nu_{0} = \nu_{1} = 10.0\)
\(\zeta(0) = 0.1\) ; \({\epsilon} = 0.0001\)
\(k_{0p1}=k_{0p2}=k_{0p3}=k_{0p4}=k_{0p5}= 10.0\)
\(k_{0v1}=k_{0v2}=k_{0v3}=k_{0v4}=k_{0v5}=20.0\)
\(k_{ssp1}=k_{ssp2}=k_{ssp3}=k_{ssp4}=k_{ssp5}= 5.0\)
\(k_{ssv1}=k_{ssv2}=k_{ssv3}=k_{ssv4}=k_{ssv5}= 10.0\)
\(\alpha_{p} = \alpha_{v} = 0.075\)

5.2 Results and Analysis↩︎

The performance of the controllers is illustrated in Figs. 35. Figure 3 clearly illustrates that the semicircles drawn by the proposed controller closely match the intended trajectories, while those produced by the baseline controllers exhibit noticeable distortions. The results clearly demonstrate that the proposed controller outperforms the baselines in both tracking accuracy and constraint satisfaction. As shown in the tracking error plots 45, it consistently keeps the tracking errors within the prescribed position and velocity bounds—a direct result of its integrated adaptive time-delay estimation and BLF-based constraint handling. These qualitative trends are further substantiated by the quantitative results in Table 2, where the proposed controller achieves the lowest Root Mean Square (RMS) errors across all joints. ABLF, equipped with constraint handling capability, could honor the constraints; however, it cannot negotiate state-dependent and unmodelled uncertainties, leading to distorted drawings. Although ATDC can tackle state-dependent uncertainty, it lacks the ability to handle constraint; consequently, ATDC partially erases the inner and outer semicircles, which is unintended. These observations highlight that the capability to handle either the state-dependent uncertainty or the state constraints alone is not sufficient; a control framework, like the proposed one, must combine both these features to achieve the desired result.

Figure 3: Controller comparison during the constrained drawing–erasing task. Columns: Proposed, ABLF, and ATDC. Rows: drawing inner semicircle, drawing outer semicircle, drawing middle semicircle, and erasing the middle semicircle.
Figure 4: Joint angle tracking error performance comparison.
Figure 5: Joint velocity tracking errors performance comparison.
Table 2: Performance Comparison in RMS Error
\(\theta_1\) \(\theta_2\) \(\theta_3\) \(\theta_4\) \(\theta_5\)
Position error (deg) Proposed 0.64 1.06 0.82 0.98 0.63
ABLF 1.06 1.75 1.41 1.63 1.04
ATDC 2.31 4.04 3.63 3.91 2.30
Velocity error (deg/s) Proposed 2.40 2.19 3.10 2.24 1.79
ABLF 3.88 4.26 3.82 4.12 3.87
ATDC 4.06 6.72 6.31 7.32 4.01

6 Conclusions↩︎

This paper presented a unified adaptive-robust control framework that integrates time-delay estimation with BLF-based constraint enforcement for Euler–Lagrange robotic systems under state-dependent uncertainties. The proposed approach achieves real-time tracking while rigorously satisfying time-varying position and velocity constraints—without requiring prior model knowledge. Experimental validation on a 5-DoF robotic manipulator demonstrated the superior performance of the proposed controller over the state-of-the-art in contact-rich tasks, achieving lower tracking errors and strict constraint compliance. A future work would be to extend the proposed framework for underactuated robotic systems.

References↩︎

[1]
T. C. S. Hsia, T. A. Lasky, and Z. Guo, “Robust independent joint controller design for industrial robot manipulators,” IEEE Trans. Ind. Electron., vol. 38, no. 1, pp. 21–25, 1991, doi: 10.1109/41.103479.
[2]
K. Youcef-Toumi and O. Ito, “A time delay controller for systems with unknown dynamics,” in 1988 american control conference, 1988, pp. 904–913, doi: 10.23919/ACC.1988.4789852.
[3]
J. Kim, H. Joe, S. Yu, J. S. Lee, and M. Kim, “Time-delay controller design for position control of autonomous underwater vehicle under disturbances,” IEEE Trans. Ind. Electron., vol. 63, no. 2, pp. 1052–1061, 2016, doi: 10.1109/TIE.2015.2477270.
[4]
M. Jin, J. Lee, and N. G. Tsagarakis, “Model-free robust adaptive control of humanoid robots with flexible joints,” IEEE Trans. Ind. Electron., vol. 64, no. 2, pp. 1706–1715, 2017, doi: 10.1109/TIE.2016.2588461.
[5]
M. Jin, J. Lee, P. H. Chang, and C. Choi, “Practical nonsingular terminal sliding-mode control of robot manipulators for high-accuracy tracking control,” IEEE Trans. Ind. Electron., vol. 56, no. 9, pp. 3593–3601, 2009, doi: 10.1109/TIE.2009.2024097.
[6]
M. Jin, S. H. Kang, and P. H. Chang, “Robust compliant motion control of robot with nonlinear friction using time-delay estimation,” IEEE Trans. Ind. Electron., vol. 55, no. 1, pp. 258–269, 2008, doi: 10.1109/TIE.2007.906132.
[7]
S. Roy, I. N. Kar, J. Lee, N. G. Tsagarakis, and D. G. Caldwell, “Adaptive-robust control of a class of EL systems with parametric variations using artificially delayed input and position feedback,” IEEE Trans. Control Syst. Technol., vol. 27, no. 2, pp. 603–615, 2019, doi: 10.1109/TCST.2017.2772210.
[8]
M. Pi, Y. Kang, C. Xu, G. Li, and Z. Li, “Adaptive time-delay balance control of biped robots,” IEEE Trans. Ind. Electron., vol. 67, no. 4, pp. 2936–2944, 2020, doi: 10.1109/TIE.2019.2912768.
[9]
D. D. Dhadekar, P. D. Sanghani, K. Mangrulkar, and S. Talole, “Robust control of quadrotor using uncertainty and disturbance estimation,” Journal of Intelligent & Robotic Systems, vol. 101, pp. 1–21, 2021.
[10]
B. Lim, J. Jang, J. Lee, B. Choi, Y. Lee, and Y. Shim, “Delayed output feedback control for gait assistance and resistance using a robotic exoskeleton,” IEEE Rob. Autom. Lett., vol. 4, no. 4, pp. 3521–3528, 2019.
[11]
S. Roy, J. Lee, and S. Baldi, “A new adaptive-robust design for time delay control under state-dependent stability condition,” IEEE Trans. Control Syst. Technol., vol. 29, no. 1, pp. 420–427, 2021, doi: 10.1109/TCST.2020.2969129.
[12]
S. Dantu, R. D. Yadav, S. Roy, J. Lee, and S. Baldi, “Adaptive artificial time delay control for quadrotors under state-dependent unknown dynamics,” in 2022 IEEE international conference on robotics and biomimetics (ROBIO), 2022, pp. 1092–1097, doi: 10.1109/ROBIO55434.2022.10011673.
[13]
S. Roy, S. Baldi, P. Li, and V. N. Sankaranarayanan, “Artificial-delay adaptive control for underactuated Euler–Lagrange robotics,” IEEE/ASME Trans. Mechatron., vol. 26, no. 6, pp. 3064–3075, 2021, doi: 10.1109/TMECH.2021.3052068.
[14]
A. Dhar and S. Bhasin, “Indirect adaptive MPC for discrete-time LTI systems with parametric uncertainties,” IEEE Trans. Autom. Control, vol. 66, no. 11, pp. 5498–5505, 2021.
[15]
J. Berberich, J. Köhler, M. A. Müller, and F. Allgöwer, “Data-driven model predictive control with stability and robustness guarantees,” IEEE Trans. Autom. Control, vol. 66, no. 4, pp. 1702–1717, 2020.
[16]
L. Grüne, J. Pannek, and L. Grüne, Nonlinear model predictive control. Springer, 2017.
[17]
R. Tao, P. Zhao, I. Kolmanovsky, and N. Hovakimyan, “Robust adaptive MPC using uncertainty compensation,” in 2024 american control conference (ACC), 2024, pp. 1873–1878, doi: 10.23919/ACC60939.2024.10644611.
[18]
K. P. Tee, S. S. Ge, and E. H. Tay, “Barrier Lyapunov functions for the control of output-constrained nonlinear systems,” Automatica, vol. 45, no. 4, pp. 918–927, 2009.
[19]
Y.-J. Liu and S. Tong, “Barrier Lyapunov functions-based adaptive control for a class of nonlinear pure-feedback systems with full state constraints,” Automatica, vol. 64, pp. 70–75, 2016.
[20]
Y. Cao, J. Cao, and Y. Song, “Practical prescribed time tracking control over infinite time interval involving mismatched uncertainties and non-vanishing disturbances,” Automatica, vol. 136, p. 110050, 2022.
[21]
V. N. Sankaranarayanan, R. D. Yadav, R. K. Swayampakula, S. Ganguly, and S. Roy, “Robustifying payload carrying operations for quadrotors under time-varying state constraints and uncertainty,” IEEE Rob. Autom. Lett., vol. 7, no. 2, pp. 4885–4892, 2022.
[22]
S. Ganguly, V. N. Sankaranarayanan, B. Suraj, R. D. Yadav, and S. Roy, “Robust manoeuvring of quadrotor under full state constraints,” IFAC-PapersOnLine, vol. 55, no. 1, pp. 32–37, 2022.
[23]
S. Ganguly, V. N. Sankaranarayanan, B. V. S. G. Suraj, R. Dev Yadav, and S. Roy, “Efficient manoeuvring of quadrotor under constrained space and predefined accuracy,” in 2021 IEEE/RSJ international conference on intelligent robots and systems (IROS), 2021, pp. 6352–6357, doi: 10.1109/IROS51168.2021.9636323.
[24]
F. Xu, L. Tang, and Y.-J. Liu, “Tangent barrier Lyapunov function-based constrained control of flexible manipulator system with actuator failure,” International Journal of Robust and Nonlinear Control, vol. 31, no. 17, pp. 8523–8536, 2021.
[25]
D. Cruz-Ortiz, I. Chairez, and A. Poznyak, “Non-singular terminal sliding-mode control for a manipulator robot using a barrier Lyapunov function,” ISA Transactions, vol. 121, pp. 268–283, 2022.
[26]
Y.-J. Liu and S. Tong, “Barrier Lyapunov functions for nussbaum gain adaptive control of full state constrained nonlinear systems,” Automatica, vol. 76, pp. 143–152, 2017.
[27]
K. Shao, R. Tang, F. Xu, X. Wang, and J. Zheng, “Adaptive sliding mode control for uncertain Euler–Lagrange systems with input saturation,” J. Franklin Inst., vol. 358, no. 16, pp. 8356–8376, 2021.
[28]
H. Pang, X. Zhang, and Z. Xu, “Adaptive backstepping-based tracking control design for nonlinear active suspension system with parameter uncertainties and safety constraints,” ISA Transactions, vol. 88, pp. 23–36, 2019.
[29]
D. Yang, X. Gao, E. Cui, and Z. Ma, “State-constraints adaptive backstepping control for active magnetic bearings with parameters nonstationarities and uncertainties,” IEEE Trans. Ind. Electron., vol. 68, no. 10, pp. 9822–9831, 2020.
[30]
H. Obeid, L. M. Fridman, S. Laghrouche, and M. Harmouche, “Barrier function-based adaptive sliding mode control,” Automatica, vol. 93, pp. 540–544, 2018.
[31]
S. Laghrouche, M. Harmouche, Y. Chitour, H. Obeid, and L. M. Fridman, “Barrier function-based adaptive higher order sliding mode controllers,” Automatica, vol. 123, p. 109355, 2021.
[32]
C. Liu, X. Liu, H. Wang, Y. Zhou, and S. Lu, “Finite-time adaptive tracking control for unknown nonlinear systems with a novel barrier Lyapunov function,” Inf. Sci., vol. 528, pp. 231–245, 2020.
[33]
S. Ding, B. Zhang, K. Mei, and J. H. Park, “Adaptive fuzzy SOSM controller design with output constraints,” IEEE Trans. Fuzzy Syst., vol. 30, no. 7, pp. 2300–2311, 2021.
[34]
Y.-J. Liu, L. Ma, L. Liu, S. Tong, and C. P. Chen, “Adaptive neural network learning controller design for a class of nonlinear systems with time-varying state constraints,” IEEE Trans. Neural Networks Learn. Syst., vol. 31, no. 1, pp. 66–75, 2019.
[35]
R. Q. Fuentes-Aguilar and I. Chairez, “Adaptive tracking control of state constraint systems based on differential neural networks: A barrier Lyapunov function approach,” IEEE Trans. Neural Networks Learn. Syst., vol. 31, no. 12, pp. 5390–5401, 2020.
[36]
S. Roy and S. Baldi, “Towards structure-independent stabilization for uncertain underactuated Euler–Lagrange systems,” Automatica, vol. 113, p. 108775, 2020.
[37]
M. W. Spong, S. Hutchinson, and M. Vidyasagar, Robot modeling and control, vol. 3. Wiley New York, 2006.
[38]
W. Rudin, “Principles of mathematical analysis,” 3rd ed., 1976.
[39]
S. Roy, S. B. Roy, J. Lee, and S. Baldi, “Overcoming the underestimation and overestimation problems in adaptive sliding mode control,” IEEE/ASME Trans. Mechatron., vol. 24, no. 5, pp. 2031–2039, 2019.
[40]
L. Berscheid and T. Kröger, “Jerk-limited real-time trajectory generation with arbitrary target states,” Robotics: Science and Systems XVII, 2021.

  1. The work is partly supported by the UASAT project sponsored by MeiTY, India. The work is partly supported by the UASAT project sponsored by MeiTY, India. The work is partly supported by the UASAT project sponsored by MeiTY, India.↩︎

  2. \(^{1}\) The authors are with Robotics Research Center, International Institute of Information Technology Hyderabad, India. emails: {sakshammgupta, sourishganguly96}@gmail.com, {sarthak.mishra, amitabh.sharma}@research.iiit.ac.in, spandan.roy@iiit.ac.in↩︎

  3. \(^{2}\)R. D. Yadav is with Department of Computer Science, University of Manchester, UK. email: rishabh.yadav@postgrad.manchester.ac.uk↩︎

  4. \(^{3}\)W. Pan is with Autonomous Systems and Automatic Control in School of Engineering, Newcastle University, UK. email: wei.pan2@newcastle.ac.uk↩︎

  5. \(^{4}\)S. Baldi is with Self-Organizing Mobility Lab, School of Mathematics, Southeast University, Nanjing 210096, China, email: simonebaldi@seu.edu.cn↩︎