An arbitrary-order predefined-time exact differentiator for signals with exponential growth bound

Constructing differentiation algorithms with a fixed-time convergence and a predefined Upper Bound on their Settling Time (UBST ), i.e., predefined-time differentiators, is attracting attention for solving estimation and control problems under time constraints. However, existing methods are limited to signals having an n-th Lipschitz derivative. Here, we introduce a general methodology to design n-th order predefined-time differentiators for a broader class of signals: for signals, whose (n + 1)th derivative is bounded by a function with bounded logarithmic derivative, i.e., whose (n + 1)-th derivative grows at most exponentially. Our approach is based on a class of time-varying gains known as Time-Base Generators (TBG). The only assumption to construct the differentiator is that the class of signals to be differentiated n-times have a (n+ 1)-th derivative bounded by a known function with a known bound for its (n + 1)-th logarithmic derivative. We show how our methodology achieves an UBST equal to the predefined time, better transient responses with smaller error peaks than autonomous predefinedtime differentiators, and a TBG gain that is bounded at the settling time instant.

[1]  Arie Levant,et al.  Globally convergent differentiators with variable gains , 2018, Int. J. Control.

[2]  Halim Alwi,et al.  Fault Detection and Fault-Tolerant Control Using Sliding Modes , 2011 .

[3]  Wilfrid Perruquetti,et al.  Fixed-time observer with simple gains for uncertain systems , 2017, Autom..

[4]  Victor Hugo Pereira Rodrigues,et al.  Global adaptive HOSM differentiators via monitoring functions and hybrid state-norm observers for output feedback , 2018, Int. J. Control.

[5]  Markus Reichhartinger,et al.  Discrete-time equivalents of the super-twisting algorithm , 2019, Autom..

[6]  P. Olver Nonlinear Systems , 2013 .

[7]  L. Fridman,et al.  Higher‐order sliding‐mode observer for state estimation and input reconstruction in nonlinear systems , 2008 .

[8]  Emmanuel Cruz-Zavala,et al.  Levant's Arbitrary-Order Exact Differentiator: A Lyapunov Approach , 2019, IEEE Transactions on Automatic Control.

[9]  Pietro G. Morasso,et al.  A computational theory of targeting movements based on force fields and topology representing networks , 1997, Neurocomputing.

[10]  Avrie Levent,et al.  Robust exact differentiation via sliding mode technique , 1998, Autom..

[11]  Leonid M. Fridman,et al.  Robust exact uniformly convergent arbitrary order differentiator , 2013, Autom..

[12]  Jesús Picó,et al.  Stability preserving maps for finite-time convergence: Super-twisting sliding-mode algorithm , 2013, Autom..

[13]  Arie Levant,et al.  Robust exact filtering differentiators , 2020, Eur. J. Control.

[14]  Jaime A. Moreno,et al.  Construction of a Smooth Lyapunov Function for the Robust and Exact Second-Order Differentiator , 2016 .

[15]  Arie Levant,et al.  Proper discretization of homogeneous differentiators , 2014, Autom..

[16]  Alessandro Pisano,et al.  Finite-time converging jump observer for switched linear systems with unknown inputs ☆ , 2011 .

[17]  Arie Levant,et al.  Higher-order sliding modes, differentiation and output-feedback control , 2003 .

[18]  Antonio Ramírez-Treviño,et al.  On the distinguishability and observer design for single-input single-output continuous-time switched affine systems under bounded disturbances with application to chaos-based modulation , 2017, Eur. J. Control.

[19]  Christopher Edwards,et al.  Observation and Identification via HOSM Observers , 2014 .

[20]  Leonid Fridman,et al.  Exact differentiators with assigned global convergence time bound , 2020, ArXiv.

[21]  Andrew R. Teel,et al.  A hybrid fixed-time observer for state estimation of linear systems , 2018, Autom..

[22]  Dennis S. Bernstein,et al.  Geometric homogeneity with applications to finite-time stability , 2005, Math. Control. Signals Syst..

[23]  Michael Defoort,et al.  Designing predefined-time differentiators with bounded time-varying gains , 2021, ArXiv.

[24]  Arie Levant,et al.  Exact Differentiation of Signals with Unbounded Higher Derivatives , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[25]  J. D. Sánchez-Torres,et al.  On the Discretization of a Class of Homogeneous Differentiators , 2019, 2019 16th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE).

[26]  Leonid M. Fridman,et al.  Fault tolerant control allocation via continuous integral sliding-modes: A HOSM-Observer approach , 2015, Autom..

[27]  Leonid M. Fridman,et al.  Design of controllers with arbitrary convergence time , 2020, Autom..

[28]  Michael E. Taylor,et al.  Differential Geometry I , 1994 .

[29]  Yacine Chitour,et al.  Stabilization of a perturbed chain of integrators in prescribed time , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

[30]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[31]  Miroslav Krstic,et al.  Prescribed-Time Observers for Linear Systems in Observer Canonical Form , 2019, IEEE Transactions on Automatic Control.

[32]  Leonid M. Fridman,et al.  Uniform Robust Exact Differentiator , 2010, 49th IEEE Conference on Decision and Control (CDC).

[33]  David Gómez-Gutiérrez,et al.  Generating new classes of fixed-time stable systems with predefined upper bound for the settling time , 2019, Int. J. Control.

[34]  Andrey Polyakov,et al.  Consistent Discretization of Finite-Time and Fixed-Time Stable Systems , 2019, SIAM J. Control. Optim..

[35]  Jaime A. Moreno,et al.  Exact differentiator with varying gains , 2018, Int. J. Control.

[36]  D. Gómez-Gutiérrez,et al.  A predefined‐time first‐order exact differentiator based on time‐varying gains , 2021, International Journal of Robust and Nonlinear Control.

[37]  Sarah K. Spurgeon,et al.  An arbitrary-order differentiator design paradigm with adaptive gains , 2018, Int. J. Control.

[38]  Alessandro Astolfi,et al.  Homogeneous Approximation, Recursive Observer Design, and Output Feedback , 2008, SIAM J. Control. Optim..

[39]  A. G. Loukianov,et al.  On the Discretization of Robust Exact Filtering Differentiators , 2019, IFAC-PapersOnLine.

[40]  Yongduan Song,et al.  Time-varying feedback for regulation of normal-form nonlinear systems in prescribed finite time , 2017, Autom..

[41]  Alexander G. Loukianov,et al.  Consistent Discretization of a Class of Predefined-Time Stable Systems , 2020, IFAC-PapersOnLine.

[42]  Martin Horn,et al.  Semi-implicit Discretization of the Uniform Robust Exact Differentiator , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

[43]  Arie Levant,et al.  Discrete differentiators based on sliding modes , 2020, Autom..

[44]  Yu. S. Ledyaev,et al.  Asymptotic Stability and Smooth Lyapunov Functions , 1998 .

[45]  Leonid M. Fridman,et al.  Output tracking of systems subjected to perturbations and a class of actuator faults based on HOSM observation and identification , 2015, Autom..

[46]  Leonid M. Fridman,et al.  Global and exact HOSM differentiator with dynamic gains for output-feedback sliding mode control , 2017, Autom..

[47]  Sarah K. Spurgeon,et al.  A Robust Exact Differentiator Toolbox for Matlab®/Simulink® , 2017 .

[48]  Jaime A. Moreno,et al.  Levant’s Arbitrary Order Differentiator with Varying Gain , 2017 .