Publications (8)
Stability of Polytopic Polynomial Matrices
Long Wang, Zhizhen Wang, Wensheng Yu
This paper gives a necessary and sufficient condition for robust D-stability of Polytopic Polynomial Matrices. Edge theorem is extended to multi-input-multi-output case.
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…
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,…
Geometric Characterization of Strictly Positive Real Regions and its Applications
Long Wang, Wensheng Yu
Strict positive realness (SPR) is an important concept in absolute stability theory, adaptive control, system identification, etc. This paper characterizes the strictly positive re…
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…