arXiv · 2609.26541
Robust Strictly Positive Real Synthesis for Sixth-Order Interval Polynomial Families
Abstract
Every Hurwitz-stable interval family of monic real polynomials of degree six admits a single real numerator of degree six that makes all the associated transfer functions strictly positive real. We give a constructive proof. The complete existence theorem has been formalized in Lean4.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Tiancheng Xu, Guowei Dou, Xiang Ji, Long Wang, Wensheng Yu. 2026-09-23. Robust Strictly Positive Real Synthesis for Sixth-Order Interval Polynomial Families. https://arxiv.org/abs/2609.26541
Cite the original work for its findings. Save a collection to share your selection of sources.