Zhe Xu
Assistant Professor,
School for Engineering of Matter, Transport and Energy
-
Mail code: 6106Campus: Tempe
-
Long Bio
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.
Education
- Ph.D Degree at the Department of Electrical, Computer, and Systems Engineering at Rensselaer Polytechnic Institute in 2018
- Master's Degree at the School of electrical and information engineering at Tianjin University in 2014
- Bachelor's Degree at the School of electrical and information engineering at Tianjin University in 2011
Research Website URL
Research Interests
The research interests include control theory, machine learning, formal methods and autonomous systems.
Publications
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.
- Franck Djeumou, Zhe Xu, Murat Cubuktepe, and Ufuk Topcu, Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach, IEEE Transactions on Automatic Control (TAC), Regular paper, 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.
- Zhe Xu and Agung Julius, Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems, IEEE Systems Journal, vol. 13 (3), pp. 3010 - 3021, April, 2019.
- Zhe Xu, Sayan Saha, Botao Hu, Sandipan Mishra and Agung Julius, Advisory Temporal Logic Inference and Controller Design in Human-Robot Collaboration, IEEE Transactions on Automation Science and Engineering, vol. 16 (1), pp. 459 - 477, June, 2018.
- Zhe Xu, Agung Julius and Joe H. Chow, Energy Storage Controller Synthesis for Power Systems With Temporal Logic Specifications, IEEE Systems Journal, vol. 13 (1), pp. 748 - 759, October, 2017.
- Zhe Xu, Agung Julius and Joe H. Chow, Robust Testing of Cascading Failure Mitigations Based on Power Dispatch and Quick-Start Storage, IEEE Systems Journal, vol. 12 (4), pp. 3063 - 3074, April, 2017.
- Zhe Xu, Marc Birtwistle, Calin Belta and Agung Julius, A Temporal Logic Inference Approach for Model Discrimination, IEEE Life Sciences Letters, vol. 2(3), pp. 19-22, December 2016.
- Zhe Xu and Agung Julius, Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis, IEEE Transactions on Automation Science and Engineering, vol. 15(1), pp. 264-277, October 2016.
- Chang-Liang Xia, Zhe Xu and Jia-Xin Zhao, A New Direct Power Control Strategy for NPC Three-Level Voltage Source Rectifiers Using a Novel Vector Influence Table Method, Journal of power electronics, vol. 15(1), pp. 106-115, January 2015.
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.
- Zhe Xu, Yuxin Chen and Ufuk Topcu, Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences, The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21), 2021, acceptance rate 21%.
- Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu, Advice-Guided Reinforcement Learning in a non-Markovian Environment, The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21), 2021, acceptance rate 21%.
- Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu and Bo Wu, Joint Inference of Reward Machines and Policies for Reinforcement Learning, Proc. International Conference on Automated Planning and Scheduling (ICAPS), Special Track on Planning and Learning, June, 2020, acceptance rate 31.9%.
- Murat Cubuktepe, Zhe Xu, and Ufuk Topcu, Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications, Proc. International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2020, acceptance rate 23%.
- Franck Djeumou, Zhe Xu, and Ufuk Topcu, Probabilistic Swarm Guidance with Graph Temporal Logic Specifications, Proc. Robotics: Science and Systems (RSS), 2020.
- Zhe Xu and Ufuk Topcu, Transfer of Temporal Logic Formulas in Reinforcement Learning, Proc. International Joint Conferences on Artificial Intelligence (IJCAI), August 2019, acceptance rate 17.9%.
Courses
2025 Spring
Course Number | Course Title |
---|---|
MAE 318 | System Dynamics and Control I |
CSE 599 | Thesis |
MAE 318 | System Dynamics and Control I |
MAE 318 | System Dynamics and Control I |
MAE 599 | Thesis |
MAE 792 | Research |
MAE 792 | Research |
MAE 318 | System Dynamics and Control I |
MAE 318 | System Dynamics and Control I |
MAE 593 | Applied Project |
MAE 318 | System Dynamics and Control I |
RAS 792 | Research |
2024 Fall
Course Number | Course Title |
---|---|
MAE 792 | Research |
MAE 799 | Dissertation |
MAE 506 | Adv Sys Model, Dynamic, Contrl |
ASU 101-MEE | The ASU Experience |
RAS 792 | Research |
2024 Summer
Course Number | Course Title |
---|---|
MAE 792 | Research |
MAE 792 | Research |
2024 Spring
Course Number | Course Title |
---|---|
CSE 599 | Thesis |
MAE 318 | System Dynamics and Control I |
MAE 599 | Thesis |
MAE 792 | Research |
MAE 318 | System Dynamics and Control I |
MAE 792 | Research |
MAE 318 | System Dynamics and Control I |
MAE 318 | System Dynamics and Control I |
MAE 318 | System Dynamics and Control I |
MAE 318 | System Dynamics and Control I |
MAE 593 | Applied Project |
2023 Fall
Course Number | Course Title |
---|---|
MAE 599 | Thesis |
MAE 792 | Research |
MAE 506 | Adv Sys Model, Dynamic, Contrl |
ASU 101-MEE | The ASU Experience |
MAE 593 | Applied Project |
CSE 599 | Thesis |
MAE 792 | Research |
EGR 792 | Research |
2023 Summer
Course Number | Course Title |
---|---|
MAE 792 | Research |
MAE 792 | Research |
2023 Spring
Course Number | Course Title |
---|---|
MAE 318 | System Dynamics and Control I |
MAE 792 | Research |
MAE 318 | System Dynamics and Control I |
MAE 792 | Research |
MAE 318 | System Dynamics and Control I |
MAE 318 | System Dynamics and Control I |
MAE 318 | System Dynamics and Control I |
MAE 318 | System Dynamics and Control I |
MAE 593 | Applied Project |
2022 Fall
Course Number | Course Title |
---|---|
MAE 792 | Research |
MAE 506 | Adv Sys Model, Dynamic, Contrl |
MAE 593 | Applied Project |
ASU 101-AEE | The ASU Experience |
EGR 792 | Research |
2022 Summer
Course Number | Course Title |
---|---|
MAE 792 | Research |
MAE 792 | Research |
2022 Spring
Course Number | Course Title |
---|---|
MAE 318 | System Dynamics and Control I |
MAE 792 | Research |
MAE 318 | System Dynamics and Control I |
MAE 792 | Research |
MAE 318 | System Dynamics and Control I |
MAE 318 | System Dynamics and Control I |
MAE 318 | System Dynamics and Control I |
MAE 318 | System Dynamics and Control I |
2021 Fall
Course Number | Course Title |
---|---|
MAE 792 | Research |
MAE 506 | Adv Sys Model, Dynamic, Contrl |
MAE 593 | Applied Project |
2021 Summer
Course Number | Course Title |
---|---|
MAE 792 | Research |
MAE 792 | Research |
2021 Spring
Course Number | Course Title |
---|---|
MAE 792 | Research |