Wensheng Yu
Orcid: 0000-0002-3832-2748
According to our database1,
Wensheng Yu
authored at least 40 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
The Continuum Hypothesis Implies the Existence of Non-principal Arithmetical Ultrafilters - A Coq Formal Verification.
Proceedings of the Formal Methods and Software Engineering, 2024
2020
Proceedings of the Mathematical Software - ICMS 2020, 2020
2019
2016
J. Syst. Sci. Complex., 2016
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
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
IEEE Trans. Autom. Control., 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
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
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
Int. J. Syst. Sci., 2007
Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems.
Sci. China Ser. F Inf. Sci., 2007
Proceedings of the Advances in Neural Networks, 2007
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2007
2006
Proceedings of the Positive Systems, 2006
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
Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006
Proceedings of the 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006
2004
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
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
Proceedings of the American Control Conference, 2003
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
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
Proceedings of the American Control Conference, 2001
Proceedings of the American Control Conference, 2001