Wensheng Yu

Orcid: 0000-0002-3832-2748

According to our database1, Wensheng Yu authored at least 38 papers between 2001 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
A Formal System of Axiomatic Set Theory in Coq.
IEEE Access, 2020

A Formalization of Properties of Continuous Functions on Closed Intervals.
Proceedings of the Mathematical Software - ICMS 2020, 2020

2019
Formalization of the Axiom of Choice and its Equivalent Theorems.
CoRR, 2019

2016
Some Open Problems on Simultaneous Stabilization of Linear Systems.
J. Syst. Sci. Complex., 2016

A method indoor multi-path IR-UWB location based on multi-task compressive sensing.
Proceedings of the 2016 Fourth International Conference on Ubiquitous Positioning, 2016

Unified selective harmonic elimination for fundamental frequency modulated multilevel converter with unequal DC levels.
Proceedings of the IECON 2016, 2016

2012
Rotation estimation for mobile robot based on single-axis gyroscope and monocular camera.
Int. J. Autom. Comput., 2012

2011
DHP Method for Ramp Metering of Freeway Traffic.
IEEE Trans. Intell. Transp. Syst., 2011

Adaptive controller design for uncertain nonlinear systems with input magnitude and rate limitations.
Proceedings of the American Control Conference, 2011

2010
Stability Analysis for Continuous-Time Positive Systems With Time-Varying Delays.
IEEE Trans. Autom. Control., 2010

Mechanical decision for a class of integral inequalities.
Sci. China Inf. Sci., 2010

Backstepping controller design for the trajectory tracking control of work platform of folding-boom aerial platform vehicle.
Proceedings of the 2010 IEEE International Conference on Robotics and Biomimetics, 2010

Adaptive fuzzy sliding mode controller design for folding-boom aerial platform vehicle.
Proceedings of the 2010 IEEE International Conference on Robotics and Biomimetics, 2010

2009
Stability Analysis of Positive Systems With Bounded Time-Varying Delays.
IEEE Trans. Circuits Syst. II Express Briefs, 2009

Design of neural network and backstepping based adaptive flight controller for multi-effector UAV.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2009

2008
Constrained Control of Positive Discrete-Time Systems With Delays.
IEEE Trans. Circuits Syst. II Express Briefs, 2008

Easily testable necessary and sufficient algebraic criteria for delay-independent stability of a class of neutral differential systems.
Syst. Control. Lett., 2008

2007
Necessary and sufficient conditions for robust oscillatory stability.
Int. J. Syst. Sci., 2007

Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems.
Sci. China Ser. F Inf. Sci., 2007

Traffic Signal Timing with Neural Dynamic Optimization.
Proceedings of the Advances in Neural Networks, 2007

A Note on Minimal Positive Realizations of Continuous-Time Linear Systems.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2007

2006
Ramp metering based on adaptive critic designs.
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2006

Power Management for Alleviation of the Impact on PEM Fuel Cell due to Load Fluctuation.
Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006

Genetic Approach for Network Planning in the RFID Systems.
Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006

Resource Management with RFID Technology in Automatic Warehouse System.
Proceedings of the 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006

2004
Output feedback control of networked systems.
Int. J. Autom. Comput., 2004

Minimal positive realizations of a class of third-order systems.
Proceedings of the 2004 American Control Conference, 2004

2003
Solution to the general robust strictly positive real synthesis problem for polynomial segments.
Proceedings of the 7th European Control Conference, 2003

New results on the convex direction with respect to a given Hurwitz polynomial.
Proceedings of the 7th European Control Conference, 2003

Robust strictly positive real synthesis of polynomial segments for discrete time systems.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Robust strictly positive real synthesis for convex combination of the sixth-order polynomials.
Proceedings of the American Control Conference, 2003

Improved results on robust stability of multivariable interval control systems.
Proceedings of the American Control Conference, 2003

Necessary and sufficient conditions for robustly oscillatory stability.
Proceedings of the American Control Conference, 2003

2002
A new geometric algorithm with order reduction for robust strictly positive real synthesis.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001
Robust strictly positive real synthesis for convex combination of the fifth-order polynomials.
Proceedings of the 2001 International Symposium on Circuits and Systems, 2001

An algebra test for unconditional stability of linear delay systems.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Robust SPR synthesis for low-order polynomial segments and interval polynomials.
Proceedings of the American Control Conference, 2001

Stability of polytopic polynomial matrices.
Proceedings of the American Control Conference, 2001


  Loading...