Wensheng Yu

42 papers A 1C 9Journal 14Unranked 18
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Review on Mechanical Proving and Formalization of Mathematical Theorems.
IEEE Access
Si Chen, Wensheng Yu, Guowei Dou, Qimeng Zhang
2025 — conf
Formal Verification of the Equivalence Between Dedekind's Fundamental Theorem and the Supremum Theorem Based on Axiomatic Set Theory.
ICCMS
Ce Zhang, Wensheng Yu
2024 C conf
The Continuum Hypothesis Implies the Existence of Non-principal Arithmetical Ultrafilters - A Coq Formal Verification.
ICFEM
Guowei Dou, Si Chen, Wensheng Yu, Ru Zhang
2020 J jnl
A Formal System of Axiomatic Set Theory in Coq.
IEEE Access
Tianyu Sun, Wensheng Yu
2020 — conf
A Formalization of Properties of Continuous Functions on Closed Intervals.
ICMS
Yaoshun Fu, Wensheng Yu
2019 J jnl
Formalization of the Axiom of Choice and its Equivalent Theorems.
CoRR
Tianyu Sun, Wensheng Yu
2016 — conf
A method indoor multi-path IR-UWB location based on multi-task compressive sensing.
UPINLBS
Xiaofei Li, Di He, Ling-ge Jiang, Wensheng Yu, Xiaohua Chen
2016 J jnl
Some Open Problems on Simultaneous Stabilization of Linear Systems.
J. Syst. Sci. Complex.
Wang Li, Long Wang, Wensheng Yu
2016 C conf
Unified selective harmonic elimination for fundamental frequency modulated multilevel converter with unequal DC levels.
IECON
Kehu Yang, Xin Tang, Qi Zhang, Wensheng Yu
2012 J jnl
Rotation estimation for mobile robot based on single-axis gyroscope and monocular camera.
Int. J. Autom. Comput.
Kehu Yang, Wensheng Yu, Ji-Zhong Xiao
2011 C conf
Adaptive controller design for uncertain nonlinear systems with input magnitude and rate limitations.
ACC
Ruyi Yuan, Jianqiang Yi, Wensheng Yu, Guoliang Fan
2011 J jnl
DHP Method for Ramp Metering of Freeway Traffic.
IEEE Trans. Intell. Transp. Syst.
Dongbin Zhao, Xuerui Bai, Fei-Yue Wang, Jing Xu, Wensheng Yu
2010 — conf
Adaptive fuzzy sliding mode controller design for folding-boom aerial platform vehicle.
ROBIO
Haidong Hu, En Li, Xiaoguang Zhao, Zi-ze Liang, Wensheng Yu
2010 — conf
Backstepping controller design for the trajectory tracking control of work platform of folding-boom aerial platform vehicle.
ROBIO
Haidong Hu, En Li, Xiaoguang Zhao, Min Tan, Wensheng Yu
2010 J jnl
Mechanical decision for a class of integral inequalities.
Sci. China Inf. Sci.
Lu Yang, Wensheng Yu, Ruyi Yuan
2010 J jnl
Stability Analysis for Continuous-Time Positive Systems With Time-Varying Delays.
IEEE Trans. Autom. Control.
Xingwen Liu, Wensheng Yu, Long Wang
2009 — conf
Design of neural network and backstepping based adaptive flight controller for multi-effector UAV.
ROBIO
Liwei Qiu, Guoliang Fan, Jianqiang Yi, Wensheng Yu
2009 J jnl
Stability Analysis of Positive Systems With Bounded Time-Varying Delays.
IEEE Trans. Circuits Syst. II Express Briefs
Xingwen Liu, Wensheng Yu, Long Wang
2008 J jnl
Constrained Control of Positive Discrete-Time Systems With Delays.
IEEE Trans. Circuits Syst. II Express Briefs
Xingwen Liu, Long Wang, Wensheng Yu, Shouming Zhong
2008 J jnl
Easily testable necessary and sufficient algebraic criteria for delay-independent stability of a class of neutral differential systems.
Syst. Control. Lett.
Ping Wei, Qiang Guan, Wensheng Yu, Long Wang
2007 — conf
A Note on Minimal Positive Realizations of Continuous-Time Linear Systems.
ICNSC
Yuwei Sun, Wensheng Yu, Long Wang
2007 J jnl
Necessary and sufficient conditions for robust oscillatory stability.
Int. J. Syst. Sci.
Nong Gu, Wensheng Yu, Yong Xiang, Min Tan
2007 J jnl
Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems.
Sci. China Ser. F Inf. Sci.
Qiang Guan, Long Wang, Bican Xia, Lu Yang, Wensheng Yu, Zhenbing Zeng
2007 — conf
Traffic Signal Timing with Neural Dynamic Optimization.
ISNN (1)
Jing Xu, Wensheng Yu, Jian-Qiang Yi, Zhishou Tu
2006 — conf
Genetic Approach for Network Planning in the RFID Systems.
ISDA (2)
Qiang Guan, Yu Liu, Yiping Yang, Wensheng Yu
2006 — conf
Minimal Positive Realizations of Third-Order Systems with Complex Poles.
POSTA
Yuwei Sun, Yuan Yu, Wensheng Yu, Long Wang
2006 — conf
Power Management for Alleviation of the Impact on PEM Fuel Cell due to Load Fluctuation.
ISDA (1)
Guidong Liu, Wensheng Yu, Zhishou Tu
2006 — conf
Ramp metering based on adaptive critic designs.
ITSC
Jing Xu, Wensheng Yu, Fei-Yue Wang
2006 A conf
Resource Management with RFID Technology in Automatic Warehouse System.
IROS
Guidong Liu, Wensheng Yu, Yu Liu
2004 C conf
Minimal positive realizations of a class of third-order systems.
ACC
Zhizhen Wang, Long Wang, Wensheng Yu, Guoping Liu
2004 J jnl
Output feedback control of networked systems.
Int. J. Autom. Comput.
Shumei Mu, Tianguang Chu, Long Wang, Wensheng Yu
2003 C conf
Improved results on robust stability of multivariable interval control systems.
ACC
Zhizhen Wang, Long Wang, Wensheng Yu, Guoping Liu
2003 C conf
Necessary and sufficient conditions for robustly oscillatory stability.
ACC
Nong Gu, Min Tan, Wensheng Yu
2003 — conf
New results on the convex direction with respect to a given Hurwitz polynomial.
ECC
Zhizhen Wang, Long Wang, Wensheng Yu, Guoping Liu
2003 C conf
Robust strictly positive real synthesis for convex combination of the sixth-order polynomials.
ACC
Wensheng Yu, Long Wang
2003 — conf
Robust strictly positive real synthesis of polynomial segments for discrete time systems.
CDC
Wensheng Yu, Long Wang, Yong Xiang
2003 — conf
Solution to the general robust strictly positive real synthesis problem for polynomial segments.
ECC
Wensheng Yu, Long Wang, Jürgen Ackermann
2002 — conf
A new geometric algorithm with order reduction for robust strictly positive real synthesis.
CDC
Liangiun Xie, Long Wang, Wensheng Yu
2001 — conf
An algebra test for unconditional stability of linear delay systems.
CDC
Nong Gu, Min Tan, Wensheng Yu
2001 C conf
Robust SPR synthesis for low-order polynomial segments and interval polynomials.
ACC
Long Wang, Wensheng Yu
2001 — conf
Robust strictly positive real synthesis for convex combination of the fifth-order polynomials.
ISCAS (1)
Wensheng Yu, Long Wang
2001 C conf
Stability of polytopic polynomial matrices.
ACC
Long Wang, Zhizhen Wang, Wensheng Yu