Zheyuan Wu

According to our database, Zheyuan Wu authored at least 8 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Expressing and Checking Statistical Assumptions.

Alexi Turcotte, Zheyuan Wu

Proc. ACM Softw. Eng., 2025

2024

Safety-Critical Containment Control for Multi-Agent Systems With Communication Delays.

Zilong Song, Zheyuan Wu, Haocai Huang

IEEE Trans. Netw. Sci. Eng., 2024

Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities.

Zheyuan Wu, Haoyi Zeng, Aaron Bies

Proceedings of the Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, 2024

2023

Event-Triggered Output Feedback Containment Control for Multi-Agent Systems.

Zilong Song, Zheyuan Wu, Qing Wang, Miaomiao Xie, Haocai Huang

Proceedings of the 28th International Conference on Automation and Computing, 2023

Finite-time Containment Control for Autonomous Underwater Vehicles with Prescribed Performance.

Zilong Song, Zheyuan Wu, Qing Wang, Miaomiao Xie, Haocai Huang

Proceedings of the 8th International Conference on Automation, 2023

2019

The Distributed Adaptive Finite-Time Chattering Reduction Containment Control for Multiple Ocean Bottom Flying Nodes.

Hongde Qin, Hui Chen, Yanchao Sun, Zheyuan Wu

Int. J. Fuzzy Syst., 2019

Fault-Tolerant Prescribed Performance Control Algorithm for Underwater Acoustic Sensor Network Nodes With Thruster Saturation.

Hongde Qin, Zheyuan Wu, Yanchao Sun, Chao Zhang, Chuan Lin

IEEE Access, 2019

Disturbance-Observer-Based Prescribed Performance Fault-Tolerant Trajectory Tracking Control for Ocean Bottom Flying Node.

Hongde Qin, Zheyuan Wu, Yanchao Sun, Hui Chen

IEEE Access, 2019