Zhe Xu is an assistant professor in the School for Engineering of Matter, Transport and Energy at Arizona State University. Before joining ASU, he was a postdoctoral fellow at The Oden Institute for Computational Engineering and Sciences at University of Texas at Austin. He has obtained a PhD degree from the Department of Electrical, Computer, and Systems Engineering at Rensselaer Polytechnic Institute in 2018.
The research interests include control theory, machine learning, formal methods and autonomous systems.
Selected Journal Papers
Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu, Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks, IEEE Control Systems Letters (L-CSS), 2022.
Cyrus Neary, Murat Cubuktepe, Niklas Lauffer, Xueting Jin, Alexander J. Phillips, Zhe Xu, Daoqin Tong, and Ufuk Topcu, Multiscale Heterogeneous Optimal Lockdown Control for COVID-19 Using Geographic Information, Scientific Reports, 2022.
Jean-Raphael Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu, MaxSAT-based Temporal Logic Inference from Noisy Data, Innovations in Systems and Software Engineering (NASA journal), 2022.
Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu, and Ufuk Topcu, Switched Linear Systems Meet Markov Decision Processes: Stability Analysis and Policy Synthesis, IEEE Transactions on Automatic Control, 2022.
Murat Cubuktepe, Zhe Xu, and Ufuk Topcu, Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications, IEEE Transactions on Control of Network Systems, 2021.
Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, and Ufuk Topcu, Resilient Distributed Hypothesis Testing With Time-Varying Network Topology, IEEE Transactions on Automatic Control, Regular paper, 2021.
Zhe Xu, Bo Wu, and Ufuk Topcu, Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach, PLOS ONE, 2021.
Ruixuan Yan, Zhe Xu and Agung Julius, Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis, IEEE Robotics & Automation Letters, vol. 4 (3), pp. 3021 - 3028, July, 2019.
Selected Conference Papers
Christos Verginis, Zhe Xu, and Ufuk Topcu, Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems, International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2022.
Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu, Reward Machines for Cooperative Multi-Agent Reinforcement Learning, International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2021, acceptance rate 25%.
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu, Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach, The 19th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2021, regular paper, acceptance rate 25.3%.
Zhe Xu, Bo Wu, Aditya Ojha, Daniel Neider, Ufuk Topcu, Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples, International IFIP Cross Domain (CD) Conference for Machine Learning & Knowledge Extraction (MAKE), 2021.
Summer 2022 | |
---|---|
Course Number | Course Title |
MAE 792 | Research |
Spring 2022 | |
---|---|
Course Number | Course Title |
MAE 318 | System Dynamics and Control I |
MAE 792 | Research |
Fall 2021 | |
---|---|
Course Number | Course Title |
MAE 506 | Adv Sys Model, Dynamic, Contrl |
MAE 593 | Applied Project |
MAE 792 | Research |
Summer 2021 | |
---|---|
Course Number | Course Title |
MAE 792 | Research |
Spring 2021 | |
---|---|
Course Number | Course Title |
MAE 792 | Research |