Login / Signup
Fan Yang
ORCID
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 4
Top Topics
Alternating Time Temporal Logic
Satisfiability Problem
Short Term
Adaptive Controller
Top Venues
IEEE Access
IEEE Trans. Reliab.
IEEE Trans. Autom. Control.
</>
Publications
</>
Xiangyu Luo
,
Sen Liang
,
Lixiao Zheng
,
Zuxi Chen
,
Fan Yang
Incremental Witness Generation for Branching-Time Logic CTL.
IEEE Trans. Reliab.
71 (2) (2022)
Ruihong Li
,
Fan Yang
,
Dezhao Lin
,
Chenghong Li
,
Hongwei Chen
,
Wenbo Qian
,
Sheng Jia
,
Feng Zhao
Dynamic Properties Analysis of a New Kind of Inter-Connected Hydro-Pneumatic Strut.
IEEE Access
9 (2021)
Jing Zhou
,
Changyun Wen
,
Wei Wang
,
Fan Yang
Adaptive Backstepping Control of Nonlinear Uncertain Systems With Quantized States.
IEEE Trans. Autom. Control.
64 (11) (2019)
Dezhao Lin
,
Fan Yang
,
Di Gong
,
Feng Zhao
,
Xiangyu Luo
,
Ruihong Li
,
Zhihong Lin
Experimental Investigation of Two Types Interconnected Hydro-Pneumatic Struts.
IEEE Access
7 (2019)