Abstract:This paper considers the implicit Euler discretization of Levant's arbitrary order robust exact differentiator in presence of sampled measurements. Existing implicit discretizations of that differentiator are shown to exhibit either unbounded bias errors or, surprisingly, discretization chattering despite the use of the implicit discretization. A new, proper implicit discretization that exhibits neither of these two detrimental effects is proposed by computing the differentiator's outputs as appropriately designed linear combinations of its state variables. A numerical differentiator implementation is discussed and closed-form stability conditions for arbitrary differentiation orders are given. The influence of bounded measurement noise and numerical approximation errors is formally analyzed. Numerical simulations confirm the obtained results.

What problem does this paper attempt to address?

### Problems Addressed by the Paper This paper explores the implicit Euler discretization problem of Levant's arbitrary-order Robust Exact Differentiator (RED) in the presence of sampled measurements. Existing implicit discretization methods either exhibit unbounded bias errors or, despite using implicit discretization techniques, still suffer from discretization chattering. To address this, the paper proposes a new, suitable implicit discretization method (referred to as Implicit Robust Exact Differentiator, IRED), which generates the output by computing an appropriate linear combination of the differentiator state variables, thereby avoiding the aforementioned adverse effects. ### Main Contributions 1. **New Implicit Discretization Method**: A suitable implicit Euler discretization method (IRED) is proposed, which neither produces discretization chattering nor exhibits bias errors. 2. **Stability Conditions**: Based on the recently proposed Lyapunov function for continuous-time differentiators, closed-form stability conditions for discrete-time implementations of arbitrary differentiation orders are provided. 3. **Numerical Implementation**: Numerical implementation methods are discussed, and an implementation in MATLAB/Simulink toolbox is provided. 4. **Performance Validation**: The effectiveness of the proposed method is validated through numerical simulations and compared with existing methods. ### Background and Motivation In many control-related engineering applications, differentiating measured signals is an important task. Levant's Robust Exact Differentiator (RED) can differentiate exactly in the absence of measurement noise and is robust in the presence of noise. However, actual measurements are typically in the form of sampled signals, necessitating the study of discrete-time implementations of RED. Existing explicit discretization methods (such as forward Euler discretization) maintain the asymptotic accuracy of the continuous-time differentiator but introduce discretization chattering, increasing differentiation errors. Implicit discretization techniques theoretically avoid such chattering, but existing implicit discretization methods still suffer from bias errors or chattering issues. ### Methods and Results 1. **Implicit Robust Exact Differentiator (IRED)**: - A new implicit discretization method is proposed, generating the output by computing an appropriate linear combination of the differentiator state variables. - Closed-form stability conditions and differentiation error bounds for arbitrary differentiation orders are provided. - It is proven that under these conditions, the differentiator can converge within finite time. 2. **Numerical Implementation**: - Specific steps for numerical implementation are provided, including state updates and output computation. - Key equations are approximately solved using the Newton method or other root-finding algorithms. 3. **Performance Validation**: - The effectiveness of the proposed method is validated through numerical simulations. - Comparisons with existing methods demonstrate the advantages of IRED in avoiding chattering and bias errors. ### Conclusion The paper proposes a new implicit discretization method (IRED) that, when handling arbitrary-order robust exact differentiators, neither produces discretization chattering nor exhibits bias errors. Additionally, the paper provides closed-form stability conditions and differentiation error bounds, and validates their effectiveness through numerical simulations.

Proper Implicit Discretization of Arbitrary-Order Robust Exact Differentiators

Implicit discrete-time implementation of robust exact differentiators – a toolbox

Optimal robust exact first-order differentiators with Lipschitz continuous output

Robust Commensurate Fractional Differentiators for a Class of Fractional Order Linear Systems

A note about high-order semi-implicit differentiation: application to a numerical integration scheme with Taylor-based compensated error

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

Robust implementable regulator design of linear systems with non-vanishing measurements

Robust Regulator Design of General Linear Systems with Sampled Measurements

Implicit Summation by Parts Operators for Finite Difference Approximations of First and Second Derivatives

Modulating functions based model-free fractional order differentiators using a sliding integration window

Minimizing the Homogeneous $\mathcal{L}_2$-Gain of Homogeneous Differentiators

On designing and developing single‐step second‐order implicit methods with dissipation control and zero‐order overshoots via subsidiary variables

Rational Approximations of Arbitrary Order: A Survey

Rapid-convergent nonlinear differentiator

Non-asymptotic and robust estimation for fractional order pseudo-state space model using an algebraic parametric method

Designing predefined-time differentiators with bounded time-varying gains

Modeling of Fractional-Order Integrators and Differentiators Using Tustin-Based Approximations and Model Order Reduction Techniques

Implicit-Explicit Finite Difference Approximations of a Semilinear Heat Equation with Logarithmic Nonlinearity

Large-stepsize integrators with optimal uniform accuracy and long time conservation for highly oscillatory second-order differential equations

Design and Implementation of Fractional Differentiators, Part II: Signal Based Methods

Proper Selection of Obreshkov-Like Numerical Integrators Used as Numerical Differentiators for Power System Transient Simulation