Solutions of systems of algebraic equations and linear maps on residue class rings
Journal of Symbolic Computation
Robust and optimal control
Localization and primary decomposition of polynomial ideals
Journal of Symbolic Computation
Simulation and optimization by quantifier elimination
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
A modular method to compute the rational univariate representation of zero-dimensional ideals
Journal of Symbolic Computation - Special issue on polynomial elimination—algorithms and applications
A new algorithm for discussing Gröbner bases with parameters
Journal of Symbolic Computation
QEPCAD B: a program for computing with semi-algebraic sets using CADs
ACM SIGSAM Bulletin
Efficient projection orders for CAD
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Sum of roots with positive real parts
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
NMA'06 Proceedings of the 6th international conference on Numerical methods and applications
Stability of parametric decomposition
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Symbolic optimization of algebraic functions
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Solution of the algebraic riccati equation using the sum of roots
ACM Communications in Computer Algebra
Solution of algebraic riccati equations using the sum of roots
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Hi-index | 0.00 |
This paper presents an algebraic approach to polynomial spectral factorization, an important mathematical tool in signal processing and control. The approach exploits an intriguing relationship between the theory of Grobner bases and polynomial spectral factorization which can be observed through the sum of roots, and allows us to perform polynomial spectral factorization in the presence of real parameters. It is discussed that parametric polynomial spectral factorization enables us to express quantities such as the optimal cost in terms of parameters and the sum of roots. Furthermore an optimization method over parameters is suggested that makes use of the results from parametric polynomial spectral factorization and also employs two quantifier elimination techniques. This proposed approach is demonstrated in a numerical example of a particular control problem.