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)

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)

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)

Finite-time Containment Control for Autonomous Underwater Vehicles with Prescribed Performance. - Zilong Song; Zheyuan Wu; Qing Wang; Miaomiao Xie; Haocai Huang (CACRE, 2023)

Event-Triggered Output Feedback Containment Control for Multi-Agent Systems. - Zilong Song; Zheyuan Wu; Qing Wang; Miaomiao Xie; Haocai Huang (ICAC, 2023)

Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities. - Zheyuan Wu; Haoyi Zeng; Aaron Bies (SPLASH Companion, 2024)

Safety-Critical Containment Control for Multi-Agent Systems With Communication Delays. - Zilong Song; Zheyuan Wu; Haocai Huang (IEEE Trans. Netw. Sci. Eng., 2024)

Expressing and Checking Statistical Assumptions. - Alexi Turcotte; Zheyuan Wu (Proc. ACM Softw. Eng., 2025)