2 papers
eess.SY2026
Robust Strictly Positive Real Synthesis for Sixth-Order Interval Polynomial Families
Tiancheng Xu, Guowei Dou, Xiang Ji +2
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…
math.LO2024
Formalization of the Filter Extension Principle (FEP) in Coq
Guowei Dou, Wensheng Yu
The Filter Extension Principle (FEP) asserts that every filter can be extended to an ultrafilter, which plays a crucial role in the quest for non-principal ultrafilters. Non-princi…