Some Computational Tools for Solving a Selection of Problems in Control Theory
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866912375765991424 |
|---|---|
| author | Demin, Alexander Katsamaki, Christina Rouillier, Fabrice |
| author_facet | Demin, Alexander Katsamaki, Christina Rouillier, Fabrice |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_09191 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Some Computational Tools for Solving a Selection of Problems in Control Theory Demin, Alexander Katsamaki, Christina Rouillier, Fabrice Symbolic Computation Mathematical Software Systems and Control 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. |
| title | Some Computational Tools for Solving a Selection of Problems in Control Theory |
| topic | Symbolic Computation Mathematical Software Systems and Control |
| url | https://arxiv.org/abs/2505.09191 |