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
https://portal.mardi4nfdi.de/entity/Q5423712	2007-10-31	Paper
Necessary and sufficient conditions for robust oscillatory stability	2007-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q3437539	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
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Wensheng Yu