N-Step Nonblocking Supervisory Control of Discrete-Event Systems. - Renyuan Zhang; Zenghui Wang 005; Kai Cai (CDC, 2021)

Multi-robot Real-time Cooperative Localization Based on High-speed Feature Detection and Two-stage Filtering. - Zeyu Zhou; Wei Tang 003; Zenghui Wang 005; Lijian Wang; Renyuan Zhang (RCAR, 2021)

Quantitatively nonblocking supervisory control of discrete-event systems. - Renyuan Zhang; Jiahao Wang; Zenghui Wang 005; Kai Cai (Autom., 2024)