2 citations · 5 across the 9 of their papers we have counts for
9 papers
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…
Formalization of the Axiom of Choice and its Equivalent Theorems
Tianyu Sun, Wensheng Yu
In this paper, we describe the formalization of the axiom of choice and several of its famous equivalent theorems in Morse-Kelley set theory. These theorems include Tukey's lemma,…
Easily Testable Necessary and Sufficient Algebraic Criteria for Delay-independent Stability of a Class of Neutral Differential Systems
Ping Wei, Qiang Guan, Wensheng Yu +1
This paper analyzes the eigenvalue distribution of neutral differential systems and the corresponding difference systems, and establishes the relationship between the eigenvalue di…
Solution to the Generalized Champagne Problem on Simultaneous Stabilization of Linear Systems
Qiang Guan, Long Wang, Bican Xia +3
The well-known "Generalized Champagne Problem" on simultaneous stabilization of linear systems is solved by using complex analysis \cite{A73,C78,G69,N52,R87} and Blondel's techniqu…
Improved Results on Robust Stability of Multivariable Interval Control Systems
Long Wang
For interval polynomial matrices, we identify the minimal testing set, whose stability can guarantee that of the whole uncertain set. Our results improve the conclusions given by K…
Robust SPR Synthesis for Low-Order Polynomial Segments and Interval Polynomials
Long Wang, Wensheng Yu
We prove that, for low-order (n < 5) stable polynomial segments or interval polynomials, there always exists a fixed polynomial such that their ratio is SPR-invariant, thereby prov…