Wensheng Yu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Mechanical decision for a class of integral inequalities	2022-10-28	Paper
A Formalization of Properties of Continuous Functions on Closed Intervals	2022-10-13	Paper
A mechanized proof system of the third generation calculus in Coq	2022-03-21	Paper
Edge Theorem for MIMO systems	2017-09-20	Paper
Stability Analysis for Continuous-Time Positive Systems With Time-Varying Delays	2017-08-25	Paper
Some open problems on simultaneous stabilization of linear systems	2016-10-20	Paper
Robustness analysis of control systems with disc uncertainties	2014-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q3109770	2012-01-27	Paper
High dynamic range images and tone mapping operator	2010-07-08	Paper
Design of robust strictly positive real transfer functions	2010-06-02	Paper
Easily testable necessary and sufficient algebraic criteria for delay-independent stability of a class of neutral differential systems	2008-03-06	Paper
Solution to the generalized champagne problem on simultaneous stabilization of linear systems	2007-12-06	Paper
On the number of positive solutions to a class of integral equations	2007-10-31	Paper
Minimal positive realizations of third-order systems with complex poles	2007-05-09	Paper
Necessary and sufficient conditions for robust oscillatory stability	2007-05-09	Paper
Robust strictly positive real synthesis for polynomial families of arbitrary order	2007-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4672643	2005-05-03	Paper
Robust stabilization of multilinear interval plants	2004-06-08	Paper
Stability and strict positive realness of convex polytopes of interval polynomials	2002-12-01	Paper
On Hurwitz stable polynomials and strictly positive real transfer functions	2002-10-29	Paper
Anderson's claim on fourth-order SPR synthesis is true	2002-07-21	Paper
Stability of Polytopic Polynomial Matrices	2002-02-22	Paper
Geometric Characterization of Strictly Positive Real Regions and its Applications	2002-02-22	Paper
Robust SPR Synthesis for Low-Order Polynomial Segments and Interval Polynomials	2002-02-22	Paper
Determinative vertices of interval family with \(\Omega_\theta\)-stability.	2002-01-01	Paper
Complete characterization of strictly positive real regions and robust strictly positive real synthesis method	2001-08-14	Paper
Robust stability analysis for discrete-time system -- an integral quadratic constraints approach	2001-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q4944829	2000-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q3129165	1997-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4854945	1996-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4854942	1995-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q4316376	1994-12-07	Paper

Research outcomes over time

This page was built for person: Wensheng Yu