Concepedia

Xiangru Xu

XX

Statistics

Publications

9

Citations

574

H-Index

9

Active since

2011

Affiliations

Chinese Academy of Sciences(Current)

Academy of Mathematics and Systems Science

Xiangru Xu is an author at Chinese Academy of Sciences specializing in engineering, formal methods, and systems engineering.

Top concepts

EngineeringFormal MethodsSystems EngineeringAutomated ReasoningFormal VerificationComputer ScienceComputational ComplexityMathematical ProgrammingPhotonicsAutomation

Publications per year

2011–2018

9

Publications

9

Matrix Approach to Model Matching of Asynchronous Sequential Machines

Xiangru Xu, Yiguang Hong · IEEE Transactions on Automatic Control · 2013 · 136 citations

Engineering, Reachability Problem, Sequential Learning +19

Matrix expression and reachability analysis of finite automata

Xiangru Xu, Yiguang Hong · Journal of Control Theory and Applications · 2012 · 113 citations

Logical Automaton, Engineering, Automated Reasoning +5

Successive Convexification: A Superlinearly Convergent Algorithm for Non-convex Optimal Control Problems

Yuanqi Mao, Michael Szmuk, Xiangru Xu et al. · arXiv (Cornell University) · 2018 · 99 citations · Full text

Mathematical Programming, Numerical Analysis, Successive Convexification +12

Observability analysis and observer design for finite automata via matrix approach

Xiangru Xu, Yiguang Hong · IET Control Theory and Applications · 2013 · 71 citations · Full text

Matrix Approach, Engineering, State Observer +12

Bi-decomposition of multi-valued logical functions and its applications

Daizhan Cheng, Xiangru Xu · Automatica · 2013 · 59 citations

Engineering, Boolean Function, Multi-valued Logical Functions +5

Rows per page

1–5 of 9