Some Computational Tools for Solving a Selection of Problems in Control Theory
Symbolic Computation
2025-05-15 v1 Mathematical Software
Systems and Control
Systems and Control
Abstract
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 implements symbolic elimination techniques, including (among others) discriminant varieties and Rational Univariate Representation, while also supporting multi-precision interval computations. We showcase its applications to key control theory problems, including identification, stability analysis, and optimization, for both parameter-dependent and parameter-free systems.
Cite
@article{arxiv.2505.09191,
title = {Some Computational Tools for Solving a Selection of Problems in Control Theory},
author = {Alexander Demin and Christina Katsamaki and Fabrice Rouillier},
journal= {arXiv preprint arXiv:2505.09191},
year = {2025}
}