Some Computational Tools for Solving a Selection of Problems in Control Theory
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.
Authors
- Fabrice Rouillier (ORCID: https://orcid.org/0009-0004-2972-822X)
- Alexander Demin (ORCID: https://orcid.org/0000-0002-2535-2016)
- Christina Katsamaki (ORCID: https://orcid.org/0000-0002-3177-010X)
Institutions
- National Research University Higher School of Economics (RU)
- Centre National de la Recherche Scientifique (FR)
- Université Sorbonne Nouvelle (FR)
- Sorbonne Université (FR)
- OURAGAN: Outils de Résolution Algébriques pour la Géométrie et ses Applications (FR)
Publication Details
- Journal
- IFAC-PapersOnLine
- Published
- 2025-01-01
- DOI
- https://doi.org/10.1016/j.ifacol.2025.09.570
- Primary Topic
- Polynomial and algebraic computation
- Type
- article
- Field-Weighted Citation Impact
- 0.00