Exact certificates for the solvability of stabilization problems through numerical algebraic geometry

DOI10.1016/J.AUTOMATICA.2025.112523MaRDI QIDQ6929936zbMATH OpenFDO

Authors Laura Menini, Corrado Possieri, Antonio Tornambé

Publication date 16 September 2025

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.AUTOMATICA.2025.112523

zbMATH Keywords

computer-aided design toolsinterval arithmeticnumerical algorithmsstabilization of linear systems

Mathematics Subject Classification ID

Numerical algebraic geometry (65H14) Linear systems in control theory (93C05) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05)

Cites work

• 3264 conics in a second
• A Bisection Method for Measuring the Distance of a Stable Matrix to the Unstable Matrices
• A formula for computation of the real stability radius
• A root distribution criterion for interval polynomials
• A Test for Existence of Solutions to Nonlinear Systems
• Algebraic Methods for Multiobjective Optimal Design of Control Feedbacks for Linear Systems
• Algorithm 921: alphaCertified: certifying solutions to polynomial systems
• An opportunistic global path planner
• Complexity of Bezout's Theorem I: Geometric Aspects
• Decay rate constrained stabilization of positive systems using static output feedback
• Distance to Internal Instability of Linear Time-Invariant Systems Under Structured Perturbations
• Frequency‐domain optimization of fixed‐structure controllers
• HomotopyContinuation.jl: a package for homotopy continuation in Julia
• scientific article; zbMATH DE number 3138903 (Why is no real title available?)
• scientific article; zbMATH DE number 3920686 (Why is no real title available?)
• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• scientific article; zbMATH DE number 3616739 (Why is no real title available?)
• scientific article; zbMATH DE number 714513 (Why is no real title available?)
• scientific article; zbMATH DE number 1516499 (Why is no real title available?)
• scientific article; zbMATH DE number 1827070 (Why is no real title available?)
• scientific article; zbMATH DE number 2107836 (Why is no real title available?)
• Ideals, Varieties, and Algorithms
• Introduction to Interval Analysis
• Julia: a fresh approach to numerical computing
• Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
• On static output-feedback stabilization for multi-input multi-output positive systems
• On the complexity of computing determinants
• Recent advances on determining the number of real roots of parametric polynomials
• Robust data-driven fixed-order controller synthesis: model matching approach
• Root clustering for convex combination of complex polynomials
• Root locations of an entire polytope of polynomials: It suffices to check the edges
• Second-Order NonConvex Optimization for Constrained Fixed-Structure Static Output Feedback Controller Synthesis
• Solvability of static output-feedback stabilization for LTI positive systems
• Solving zero-dimensional systems through the rational univariate representation
• Some complexity results for polynomial ideals
• Static output feedback control for positive linear continuous-time systems
• Sufficient LMI conditions for output feedback control problems
• Sul problema di \textit{Hurwitz} relativo alle parti reali delle radici di un' equazione algebrica.
• The use of Routh array for testing the Hurwitz property of a segment of polynomials.
• Ueber die Bedingungen, unter welchen eine Gleichung nur Wurzeln mit negativen reellen Teilen besitzt.
• Vector calculus, linear algebra, and differential forms. A unified approach

This page was built for publication: Exact certificates for the solvability of stabilization problems through numerical algebraic geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6929936)