Discussion of "Design of Controllers with Arbitrary Convergence Time" (Automatica 112 (2020) 108710)

Michael Basin
DOI: https://doi.org/10.48550/arXiv.2004.12806
2020-07-15
Abstract:This note corrects some technical inaccuracies in a recently published paper on predefined-time convergence (Automatica 112 (2020) 108710) and discusses implementation issues of the presented control algorithm.
Systems and Control
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on correcting the technical inaccuracies of the predefined - time convergence control algorithm and discussing the implementation issues of this control algorithm. Specifically: 1. **Correction of Technical Inaccuracies**: - The paper points out that the predefined - time convergence control algorithm proposed in reference [1] has some technical inaccuracies. In particular, for the non - autonomous differential equation \[ \dot{x}=-\eta\left(e^{x} - 1\right)\frac{1}{e^{x}(t_{f}-t)} \] the right - hand side is not always bounded as \(x\) increases. In fact, when \(x < 0\) and \(|x|\) is large, the right - hand side will diverge to infinity at an exponential rate. Therefore, the control law \[ u(t)=-\eta\left(e^{x} - 1\right)\frac{1}{e^{x}(t_{f}-t)} \] will become unacceptably large at the initial time \(t_{0}\) for a large negative initial value \(x_{0}<0\). - To correct this problem, the paper suggests using an equation in the following form: \[ \dot{x}=-\eta\left(e^{|x|}-1\right)\frac{\text{sign}(x)}{e^{|x|}(t_{f}-t)} \] Its solution is: \[ x(t)=\ln\left(C_{1}(t_{f}-t)^{\eta}+1\right)\text{sign}(x_{0}),\quad t\in[t_{0},t_{f}] \] \[ x(t) = 0,\quad t\geq t_{f} \] where \(C_{1}=e^{|x_{0}|}-1\). In this way, the absolute value of the right - hand side is bounded within \(\frac{\eta}{t_{f}-t_{0}}\) at the initial time \(t_{0}\) under any initial condition \(x_{0}\). 2. **Discussion of Implementation Issues**: - **Gain Selection**: In the actual implementation of the backstepping process, the gain \(\eta_{i}\) should be selected to be greater than the system dimension, that is, \(\eta_{i}>2\) for \(n = 2\), \(\eta_{i}>3\) for \(n = 3\), in order to avoid singularities or discontinuities at \(t = t_{f}\). - **Maximum Value of Control Input**: Different from the fixed - time convergence system \[ \dot{x}=-k_{1}|x|^{\alpha}\text{sign}(x)-k_{2}|x|^{\beta}\text{sign}(x) \] the maximum value of the control input of the predefined - time convergence system will be reached at some intermediate time in the interval \([t_{0},t_{f}]\), rather than at the initial time. This can be verified by differentiating the right - hand side of the equation and setting it to zero. Through these corrections and discussions, the paper aims to ensure the effectiveness and practicality of the predefined - time convergence control algorithm.