default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWensheng Yu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c27]Guowei Dou, Si Chen, Wensheng Yu, Ru Zhang:
The Continuum Hypothesis Implies the Existence of Non-principal Arithmetical Ultrafilters - A Coq Formal Verification. ICFEM 2024: 257-277- 2020
- [j12]Tianyu Sun
, Wensheng Yu:
A Formal System of Axiomatic Set Theory in Coq. IEEE Access 8: 21510-21523 (2020) - [c26]Yaoshun Fu, Wensheng Yu:
A Formalization of Properties of Continuous Functions on Closed Intervals. ICMS 2020: 272-280
2010 – 2019
- 2019
- [i1]Tianyu Sun, Wensheng Yu:
Formalization of the Axiom of Choice and its Equivalent Theorems. CoRR abs/1906.03930 (2019) - 2016
- [j11]Wang Li, Long Wang, Wensheng Yu:
Some Open Problems on Simultaneous Stabilization of Linear Systems. J. Syst. Sci. Complex. 29(2): 289-299 (2016) - [c25]Kehu Yang, Xin Tang, Qi Zhang, Wensheng Yu:
Unified selective harmonic elimination for fundamental frequency modulated multilevel converter with unequal DC levels. IECON 2016: 3623-3628 - [c24]Xiaofei Li, Di He, Ling-ge Jiang, Wensheng Yu, Xiaohua Chen:
A method indoor multi-path IR-UWB location based on multi-task compressive sensing. UPINLBS 2016: 259-263 - 2012
- [j10]Kehu Yang, Wensheng Yu, Ji-Zhong Xiao:
Rotation estimation for mobile robot based on single-axis gyroscope and monocular camera. Int. J. Autom. Comput. 9(3): 292-298 (2012) - 2011
- [j9]Dongbin Zhao, Xuerui Bai, Fei-Yue Wang, Jing Xu, Wensheng Yu:
DHP Method for Ramp Metering of Freeway Traffic. IEEE Trans. Intell. Transp. Syst. 12(4): 990-999 (2011) - [c23]Ruyi Yuan, Jianqiang Yi, Wensheng Yu, Guoliang Fan:
Adaptive controller design for uncertain nonlinear systems with input magnitude and rate limitations. ACC 2011: 3536-3541 - 2010
- [j8]Lu Yang, Wensheng Yu, Ruyi Yuan:
Mechanical decision for a class of integral inequalities. Sci. China Inf. Sci. 53(9): 1800-1815 (2010) - [j7]Xingwen Liu, Wensheng Yu, Long Wang:
Stability Analysis for Continuous-Time Positive Systems With Time-Varying Delays. IEEE Trans. Autom. Control. 55(4): 1024-1028 (2010) - [c22]Haidong Hu, En Li, Xiaoguang Zhao, Min Tan, Wensheng Yu:
Backstepping controller design for the trajectory tracking control of work platform of folding-boom aerial platform vehicle. ROBIO 2010: 1641-1644 - [c21]Haidong Hu, En Li, Xiaoguang Zhao, Zi-ze Liang, Wensheng Yu:
Adaptive fuzzy sliding mode controller design for folding-boom aerial platform vehicle. ROBIO 2010: 1656-1661
2000 – 2009
- 2009
- [j6]Xingwen Liu, Wensheng Yu, Long Wang:
Stability Analysis of Positive Systems With Bounded Time-Varying Delays. IEEE Trans. Circuits Syst. II Express Briefs 56-II(7): 600-604 (2009) - [c20]Liwei Qiu, Guoliang Fan, Jianqiang Yi, Wensheng Yu:
Design of neural network and backstepping based adaptive flight controller for multi-effector UAV. ROBIO 2009: 1935-1940 - 2008
- [j5]Ping Wei, Qiang Guan, Wensheng Yu, Long Wang:
Easily testable necessary and sufficient algebraic criteria for delay-independent stability of a class of neutral differential systems. Syst. Control. Lett. 57(2): 165-174 (2008) - [j4]Xingwen Liu, Long Wang, Wensheng Yu, Shouming Zhong:
Constrained Control of Positive Discrete-Time Systems With Delays. IEEE Trans. Circuits Syst. II Express Briefs 55-II(2): 193-197 (2008) - 2007
- [j3]Qiang Guan, Long Wang, Bican Xia, Lu Yang, Wensheng Yu, Zhenbing Zeng:
Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems. Sci. China Ser. F Inf. Sci. 50(5): 719-731 (2007) - [j2]Nong Gu, Wensheng Yu, Yong Xiang, Min Tan:
Necessary and sufficient conditions for robust oscillatory stability. Int. J. Syst. Sci. 38(2): 179-185 (2007) - [c19]Yuwei Sun, Wensheng Yu, Long Wang:
A Note on Minimal Positive Realizations of Continuous-Time Linear Systems. ICNSC 2007: 123-128 - [c18]Jing Xu, Wensheng Yu, Jian-Qiang Yi, Zhishou Tu:
Traffic Signal Timing with Neural Dynamic Optimization. ISNN (1) 2007: 358-367 - 2006
- [c17]Guidong Liu, Wensheng Yu, Yu Liu:
Resource Management with RFID Technology in Automatic Warehouse System. IROS 2006: 3706-3711 - [c16]Qiang Guan, Yu Liu, Yiping Yang, Wensheng Yu:
Genetic Approach for Network Planning in the RFID Systems. ISDA (2) 2006: 567-572 - [c15]Guidong Liu, Wensheng Yu, Zhishou Tu:
Power Management for Alleviation of the Impact on PEM Fuel Cell due to Load Fluctuation. ISDA (1) 2006: 1104-1110 - [c14]Jing Xu, Wensheng Yu, Fei-Yue Wang:
Ramp metering based on adaptive critic designs. ITSC 2006: 1531-1536 - [c13]Yuwei Sun, Yuan Yu, Wensheng Yu, Long Wang:
Minimal Positive Realizations of Third-Order Systems with Complex Poles. POSTA 2006: 327-334 - 2004
- [j1]Shumei Mu, Tianguang Chu, Long Wang, Wensheng Yu:
Output feedback control of networked systems. Int. J. Autom. Comput. 1(1): 26-34 (2004) - [c12]Zhizhen Wang, Long Wang, Wensheng Yu, Guoping Liu:
Minimal positive realizations of a class of third-order systems. ACC 2004: 4151-4152 - 2003
- [c11]Wensheng Yu, Long Wang:
Robust strictly positive real synthesis for convex combination of the sixth-order polynomials. ACC 2003: 3840-3845 - [c10]Nong Gu, Min Tan, Wensheng Yu:
Necessary and sufficient conditions for robustly oscillatory stability. ACC 2003: 3857-3862 - [c9]Zhizhen Wang, Long Wang, Wensheng Yu, Guoping Liu:
Improved results on robust stability of multivariable interval control systems. ACC 2003: 4463-4468 - [c8]Wensheng Yu, Long Wang, Yong Xiang:
Robust strictly positive real synthesis of polynomial segments for discrete time systems. CDC 2003: 622-627 - [c7]Zhizhen Wang, Long Wang, Wensheng Yu, Guoping Liu:
New results on the convex direction with respect to a given Hurwitz polynomial. ECC 2003: 1616-1619 - [c6]Wensheng Yu, Long Wang, Jürgen Ackermann:
Solution to the general robust strictly positive real synthesis problem for polynomial segments. ECC 2003: 1744-1749 - 2002
- [c5]Liangiun Xie, Long Wang, Wensheng Yu:
A new geometric algorithm with order reduction for robust strictly positive real synthesis. CDC 2002: 1844-1849 - 2001
- [c4]Long Wang, Wensheng Yu:
Robust SPR synthesis for low-order polynomial segments and interval polynomials. ACC 2001: 3612-3617 - [c3]Long Wang, Zhizhen Wang, Wensheng Yu:
Stability of polytopic polynomial matrices. ACC 2001: 4695-4696 - [c2]Nong Gu, Min Tan, Wensheng Yu:
An algebra test for unconditional stability of linear delay systems. CDC 2001: 4746-4747 - [c1]Wensheng Yu, Long Wang:
Robust strictly positive real synthesis for convex combination of the fifth-order polynomials. ISCAS (1) 2001: 739-742
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 20:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
