Zhe Xu
发表
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach
pdf
Ufuk Topcu,
Murat Cubuktepe,
Franck Djeumou,
2021,
IEEE Transactions on Automatic Control.
Ufuk Topcu,
Daniel Neider,
Rajarshi Roy,
2021,
ATVA.
Xiaoming Duan,
Zhe Xu,
Zhe Xu,
2021,
2021 60th IEEE Conference on Decision and Control (CDC).
Ufuk Topcu,
Daniel Neider,
Zhe Xu,
2021,
ArXiv.
Ufuk Topcu,
Daniel Neider,
Zhe Xu,
2021,
ArXiv.
Ufuk Topcu,
Yuxin Chen,
Zhe Xu,
2021,
AAAI.
Ufuk Topcu,
Christos K. Verginis,
Zhe Xu,
2021,
ArXiv.
Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems
pdf
Zhe Xu,
Yichen Zhang,
Zhe Xu,
2021,
2021 60th IEEE Conference on Decision and Control (CDC).
Ruixuan Yan,
Agung Julius,
Zhe Xu,
2022,
IEEE Control Systems Letters.
Ufuk Topcu,
Yagiz Savas,
Rui Yan,
2021
.
Ufuk Topcu,
Christos K. Verginis,
Zhe Xu,
2021,
ArXiv.
Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications
pdf
Ufuk Topcu,
Bo Wu,
Federico M. Zegers,
2021,
ArXiv.
Ufuk Topcu,
Daniel Neider,
Zhe Xu,
2021,
VSTTE.
Ufuk Topcu,
Rui Yan,
Xiaoming Duan,
2021,
ArXiv.
Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking
pdf
Ufuk Topcu,
Kyriakos G. Vamvoudakis,
Warren E. Dixon,
2021,
2021 60th IEEE Conference on Decision and Control (CDC).