1 citations · 1 across the 5 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.SC2025
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…
cs.SC2025
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…