Abstract:Abstract Differential-algebraic equations (DAEs) are widely used for modelling dynamical systems. In the numerical analysis of DAEs, consistent initialization and index reduction are important preprocessing steps prior to numerical integration. Existing DAE solvers commonly adopt structural preprocessing methods based on combinatorial optimization. Unfortunately, structural methods fail if the DAE has a singular system Jacobian matrix. For such DAEs, methods have been proposed to modify them to other DAEs to which structural methods are applicable, based on the combinatorial relaxation technique. Existing modification methods, however, work only for DAEs that are linear or close to linear. This paper presents two new modification methods for nonlinear DAEs: the substitution method and the augmentation method. Both methods are based on the combinatorial relaxation approach and are applicable to a large class of nonlinear DAEs. The substitution method symbolically solves equations for some derivatives based on the implicit function theorem and substitutes the solution back into the system. Instead of solving equations, the augmentation method modifies DAEs by appending new variables and equations. Our methods are implemented as a MATLAB library using MuPAD, and through its application to practical DAEs, we show that our methods can be used as a promising preprocessing of DAEs that the index reduction procedure in MATLAB cannot handle.

AlgDiff: An open source toolbox for the design, analysis and discretisation of algebraic differentiators

Equivalent linear analysis and optimization of tracking differentiator

Efficiently and easily integrating differential equations with JiTCODE, JiTCDDE, and JiTCSDE

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

Design and Implementation of Fractional Differentiators, Part I: System Based Methods

The Design and Implementation of Fir Filter Based on Improved Da Algorithm

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

Simulated Annealing for Designing Higher-Order Digital Differentiator

Optimal robust exact first-order differentiators with Lipschitz continuous output

Applying Automatic Differentiation to Optimize Differential Microphone Array Designs

Model based algebraic fractional order differentiator using Laplace transform

Augmented Nonlinear Differentiator Design

"On the engineers' new toolbox" or Analog Circuit Design, using Symbolic Analysis, Computer Algebra, and Elementary Network Transformations

Design Of Fractional Order Digital Fir Differentiators Using Frequency Response Approximation

Solving ordinary differential equations by electrical analogy: a multidisciplinary teaching tool

Computer-Algebraic Approach to First Differential Approximations: Van der Pol Oscillator

Design of Atangana-Baleanu-Caputo fractional-order digital filter

Toward state estimation by high gain differentiators with automatic differentiation

Improved structural methods for nonlinear differential-algebraic equations via combinatorial relaxation

AbstractDifferentiation.jl: Backend-Agnostic Differentiable Programming in Julia

ALGORITHMS OF AUTOMATIC DIFFERENTIATION