5 papers
Fast Rational Univariate Representation via Gaussian Elimination
Alexander Demin, Fabrice Rouillier
In this note, we present RationalUnivariateRepresentationjl (https://newrur.gitlabpages.inria.fr/RationalUnivariateRepresentation.jl/), a Julia package for computing rational un…
Reading Rational Univariate Representations on lexicographic Groebner bases
Alexander Demin, Fabrice Rouillier, Joao Ruiz
In this contribution, we consider a zero-dimensional polynomial system in variables defined over a field . In the context of computing a Rational Univariate Represe…
Symbolic and Numerical Tools for -Norm Calculation
Grace Younes, Alban Quadrat, Fabrice Rouillier
The computation of the -norm is an important issue in control, particularly for analyzing system stability and robustness. This paper focuses on symbolic co…
Some Computational Tools for Solving a Selection of Problems in Control Theory
Alexander Demin, Christina Katsamaki, Fabrice Rouillier
This paper demonstrates how certified computational tools can be used to address various problems in control theory. In particular, we introduce PACE.jl, a Julia package that imple…
Parameter Estimation in ODE Models with Certified Polynomial System Solving
Alexander Demin, Alexey Ovchinnikov, Fabrice Rouillier
We consider dynamical models given by rational ODE systems. Parameter estimation is an important and challenging task of recovering parameter values from observed data. Recently, a…