Wensheng Yu - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2025

A Review on Mechanical Proving and Formalization of Mathematical TheoremsSi Chen, Wensheng Yu, Guowei Dou, Qimeng Zhang. access, 13:50672-50686, 2025. [doi]

2024

The Continuum Hypothesis Implies the Existence of Non-principal Arithmetical Ultrafilters - A Coq Formal VerificationGuowei Dou, Si Chen, Wensheng Yu, Ru Zhang. icfem 2024: 257-277 [doi]

2020

A Formalization of Properties of Continuous Functions on Closed IntervalsYaoshun Fu, Wensheng Yu. icms 2020: 272-280 [doi]

A Formal System of Axiomatic Set Theory in CoqTianyu Sun, Wensheng Yu. access, 8:21510-21523, 2020. [doi]

2016

2011

Adaptive controller design for uncertain nonlinear systems with input magnitude and rate limitationsRuyi Yuan, Jianqiang Yi, Wensheng Yu, Guoliang Fan. amcc 2011: 3536-3541 [doi]

DHP Method for Ramp Metering of Freeway TrafficDongbin Zhao, Xuerui Bai, Fei-Yue Wang, Jing Xu, Wensheng Yu. tits, 12(4):990-999, 2011. [doi]

2010

2009

Stability Analysis of Positive Systems With Bounded Time-Varying DelaysXingwen Liu, Wensheng Yu, Long Wang. tcas, 56-II(7):600-604, 2009. [doi]

Design of neural network and backstepping based adaptive flight controller for multi-effector UAVLiwei Qiu, Guoliang Fan, Jianqiang Yi, Wensheng Yu. robio 2009: 1935-1940 [doi]

2008

Constrained Control of Positive Discrete-Time Systems With DelaysXingwen Liu, Long Wang, Wensheng Yu, Shouming Zhong. tcas, 55-II(2):193-197, 2008. [doi]

Easily testable necessary and sufficient algebraic criteria for delay-independent stability of a class of neutral differential systemsPing Wei, Qiang Guan, Wensheng Yu, Long Wang. scl, 57(2):165-174, 2008. [doi]

2007

2006

2004

Output feedback control of networked systemsShumei Mu, Tianguang Chu, Long Wang 0001, Wensheng Yu. ijautcomp, 1(1):26-34, 2004. [doi]

Minimal positive realizations of a class of third-order systemsZhizhen Wang, Long Wang 0001, Wensheng Yu, Guoping Liu. amcc 2004: 4151-4152 [doi]

2003

Necessary and sufficient conditions for robustly oscillatory stabilityNong Gu, Min Tan 0001, Wensheng Yu. amcc 2003: 3857-3862 [doi]

New results on the convex direction with respect to a given Hurwitz polynomialZhizhen Wang, Long Wang, Wensheng Yu, Guoping Liu. eucc 2003: 1616-1619 [doi]

Improved results on robust stability of multivariable interval control systemsZhizhen Wang, Long Wang 0001, Wensheng Yu, Guoping Liu. amcc 2003: 4463-4468 [doi]

Solution to the general robust strictly positive real synthesis problem for polynomial segmentsWensheng Yu, Long Wang 0001, Jürgen Ackermann. eucc 2003: 1744-1749 [doi]

Robust strictly positive real synthesis for convex combination of the sixth-order polynomialsWensheng Yu, Long Wang 0001. amcc 2003: 3840-3845 [doi]

Robust strictly positive real synthesis of polynomial segments for discrete time systemsWensheng Yu, Long Wang 0001, Yong Xiang. cdc 2003: 622-627 [doi]

2002

A new geometric algorithm with order reduction for robust strictly positive real synthesisLiangiun Xie, Long Wang 0001, Wensheng Yu. cdc 2002: 1844-1849 [doi]

2001

Sign in or sign up to see more results.

runs on WebDSL