Xuchu Ding

Computer Science · Physical Sciences

8h-index508citations12works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(7), Petri Nets in System Modeling(6), Real-Time Systems Scheduling(5), Advanced Control Systems Optimization(3), Reinforcement Learning in Robotics(2)

Publications12 total

Automatic Expert Selection for Multi-Scenario and Multi-Task Search
Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval·2022· 39 citedOpen Access
Finite bisimulations for switched linear systems
OpenMETU (Middle East Technical University)·2020· 11 citedOpen Access
Temporal logic motion control using actor–critic methods
The International Journal of Robotics Research·2015· 30 cited
Finite Bisimulations for Switched Linear Systems
IEEE Transactions on Automatic Control·2014· 30 citedOpen Access
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
IEEE Transactions on Automatic Control·2014· 178 cited
LTL receding horizon control for finite deterministic systems
Automatica·2013· 62 citedOpen Access
Finite bisimulations for switched linear systems
2012· 4 citedOpen Access
An Optimal Control Approach to the Multi-Agent Persistent Monitoring Problem
IEEE Transactions on Automatic Control·2012· 130 cited
Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions
arXiv (Cornell University)·2012· 2 citedOpen Access
Receding Horizon Temporal Logic Control for Finite Deterministic Systems
arXiv (Cornell University)·2012· 4 citedOpen Access
Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions
IFAC Proceedings Volumes·2012· 8 cited
Systematic study on pulse parameters in fabricating porous silicon-layered structures by pulse electrochemical etching
Semiconductor Science and Technology·2007· 10 cited

Frequent Co-authors

Călin Belta(9), Mircea Lazar(7), Ebru Aydın Göl(3), Stephen L. Smith(1), Daniela Rus(1), Christos G. Cassandras(1), Xuchao Lin(1), Xinyu Zou(1), Zhi Hu(1), Yiming Zhao(1), Zhongyi Liu(1), Chenliang Li(1), Aixin Sun(1), Jing Wang(1), Morteza Lahijanian(1), Ioannis Ch. Paschalidis(1), Jianping Ge(1), Wei Yin(1), L L(1), E.G. Obbard(1)