Some Computational Tools for Solving a Selection of Problems in Control Theory
Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel pith:VYOAVIULrecord.jsonopen to challenge →
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.