Cover Image

Parameter Estimation in ODE Models with Certified Polynomial System Solving

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Demin, Alexander, Ovchinnikov, Alexey, Rouillier, Fabrice
Format:	Preprint
Published:	2025
Subjects:	Symbolic Computation Mathematical Software Systems and Control Dynamical Systems 68W30, 34-04, 93B30
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Some Computational Tools for Solving a Selection of Problems in Control Theory
by: Demin, Alexander, et al.
Published: (2025)

Exact hierarchical reductions of dynamical models via linear transformations
by: Demin, Alexander, et al.
Published: (2023)

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
by: Durán, Antonio J., et al.
Published: (2013)

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation
by: Huang, Bo, et al.
Published: (2024)

Simple generators of rational function fields
by: Demin, Alexander, et al.
Published: (2026)

Symbolic and Numerical Tools for $L_{\infty}$-Norm Calculation
by: Younes, Grace, et al.
Published: (2025)

Flat singularities of chained systems, illustrated with an aircraft model
by: Kaminski, Yirmeyahu J., et al.
Published: (2022)

A zero-test for D-algebraic transseries
by: Chen, Shaoshi, et al.
Published: (2026)

Symbolic-numeric algorithm for parameter estimation in discrete-time models with $\exp$
by: Berman, Yosef, et al.
Published: (2024)

Towards Verified Polynomial Factorisation
by: Davenport, James H.
Published: (2024)

First steps towards Computational Polynomials in Lean
by: Davenport, James Harold
Published: (2024)

A Monadic Calculus with Episodic Flows
by: Henning, Sotirios
Published: (2024)

Arithmetic of D-Algebraic Functions
by: Tabuguia, Bertrand Teguia
Published: (2023)

A Formal Analysis of Iterated TDD
by: Ruparel, Hemil, et al.
Published: (2024)

D-Algebraic Functions
by: Manssour, Rida Ait El, et al.
Published: (2023)

Adaptive Reduced Order Modelling of Discrete-Time Systems with Input-Output Dead Time
by: Pelling, Art J. R., et al.
Published: (2025)

Certifying solutions of degenerate semidefinite programs
by: Kolmogorov, Vladimir, et al.
Published: (2024)

Efficient Symbolic Computation via Hash Consing
by: Zhu, Bowen, et al.
Published: (2025)

Algorithm to find new identifiable reparametrizations of parametric rational ODE models
by: Meshkat, Nicolette, et al.
Published: (2023)

Algebraic identifiability of partial differential equation models
by: Byrne, Helen, et al.
Published: (2024)

Dissipative energy functionals of passive linear time-varying systems
by: Morandin, Riccardo, et al.
Published: (2024)

AutoMPC: A Code Generator for MPC-based Automated Driving
by: Schildbach, Georg, et al.
Published: (2025)

Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2023)

Algorithm for globally identifiable reparametrizations of ODEs
by: Falkensteiner, Sebastian, et al.
Published: (2024)

Nonlinear port-Hamiltonian system identification from input-state-output data
by: Cherifi, Karim, et al.
Published: (2025)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
by: England, Matthew
Published: (2024)

Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
by: Shang, Weifeng, et al.
Published: (2025)

SubalgebraBases in Macaulay2
by: Burr, Michael, et al.
Published: (2023)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
by: Davenport, James H., et al.
Published: (2023)

On Rational Recursion for Holonomic Sequences
by: Tabuguia, Bertrand Teguia, et al.
Published: (2024)

Certified Real Eigenvalue Location
by: Solmaz, Baran, et al.
Published: (2026)

Concatenations of Terms of an Arithmetic Progression
by: Luca, Florian, et al.
Published: (2022)

Beyond Worst-Case Analysis for Symbolic Computation: Root Isolation Algorithms
by: Ergür, Alperen A., et al.
Published: (2025)

LILAD: Learning In-context Lyapunov-stable Adaptive Dynamics Models
by: Jena, Amit, et al.
Published: (2025)

Simultaneous model discovery and state estimation under high data corruption
by: Meissner, Teddy, et al.
Published: (2024)

Computer-Assisted Search for Differential Equations Corresponding to Optimization Methods and Their Convergence Rates
by: Tabei, Atsushi, et al.
Published: (2025)

Convergence of Markov Chains for Constant Step-size Stochastic Gradient Descent with Separable Functions
by: Shirokoff, David, et al.
Published: (2024)

On some Exotic Cylindrical Algebraic Decompositions and Cells
by: Michel, Lucas
Published: (2026)

Sufficient conditions for the surjectivity of radical curve parametrizations
by: Caravantes, Jorce, et al.
Published: (2023)

Matrix equivalence to Smith normal form: new theoretical results for multivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2026)