Bounds for elimination of unknowns in systems of differential-algebraic equations

10/13/2016
by   Alexey Ovchinnikov, et al.
0

Elimination of unknowns in systems of equations, starting with Gaussian elimination, is a problem of general interest. The problem of finding an a priori upper bound for the number of differentiations in elimination of unknowns in a system of differential-algebraic equations (DAEs) is an important challenge, going back to Ritt (1932). The first characterization of this via an asymptotic analysis is due to Grigoriev's result (1989) on quantifier elimination in differential fields, but the challenge still remained. In this paper, we present a new bound, which is a major improvement over the previously known results. We also present a new lower bound, which shows asymptotic tightness of our upper bound in low dimensions, which are frequently occurring in applications. Finally, we discuss applications of our results to designing new algorithms for elimination of unknowns in systems of DAEs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/13/2016

Upper bound for effective differential elimination

We present an upper bound for the number of differentiations in differen...
research
04/22/2020

Algorithms yield upper bounds in differential algebra

Consider an algorithm computing in a differential field with several com...
research
06/01/2023

Bounds on BDD-Based Bucket Elimination

We study BDD-based bucket elimination, an approach to satisfiability tes...
research
11/01/2021

Differential elimination for dynamical models via projections with applications to structural identifiability

Elimination of unknowns in a system of differential equations is often r...
research
05/19/2021

Wilf classes of non-symmetric operads

Two operads are said to belong to the same Wilf class if they have the s...
research
04/26/2018

Quantifier Elimination for Reasoning in Economics

We consider the use of Quantifier Elimination (QE) technology for automa...
research
12/28/2018

Task Elimination may Actually Increase Throughput Time

The well-known Task Elimination redesign principle suggests to remove un...

Please sign up or login with your details

Forgot password? Click here to reset