百晓学者学者目录

左志强

讲师，湖北工业大学

精选作品

期刊论文

2025

临近空间无人飞行器能源系统故障诊断研究综述

金海浪，张志成，王一晶，左志强

《控制与决策》

DOI

2024

Typical motion-based modelling and tracking for vehicle targets in linear road segment

Xiaohui Hao, Yuanqing Xia, Hongjiu Yang, Zhiqiang Zuo

International Journal Of Systems Science，Vol. 550, No. 5

DOI

2024

临近空间太阳能飞行器能源系统控制综述

张志成，李鹏，左志强，王一晶，呼文韬，倪旺，刘兴江

《控制与决策》

DOI

2024

高速高精无人自主系统自抗扰控制方法

黄一，李世华，薛文超，赵志良，左志强

《指挥与控制学报》

2024

无人驾驶车辆运动控制综述

王浩宇，左志强，邓宇翔，王一晶，杨洪玖

《控制理论与应用》

2024

基于自抗扰技术的无人驾驶车辆横纵向控制

王浩宇，左志强，王一晶

《指挥与控制学报》

2023

Longitudinal Control-Oriented Spectrum Sharing Based on C-V2X for Vehicle Platoons

Qiaoni Han, Chang Liu, Hongjiu Yang, Zhiqiang Zuo

Ieee Systems Journal，Vol. 170, No. 10

DOI

2023

Consensus of double-integrator multi-agent systems with asymmetric input saturation?

Zhiqiang Zuo, Jiewen Ji, Zhicheng Zhang, Yijing Wang, Wentao Zhang

Systems & Control Letters，Vol. 172

DOI

2023

基于多线程并行的符号执行引擎设计与实现

周彭，左志强

《计算机研究与发展》

2023

基于多智能体的太阳能无人机能源控制

吕冬翔，张志成，朱立宏，李鹏，呼文韬，李钏，左志强

《控制与决策》

DOI

2023

基于车路云一体化的混合交通系统优化控制综述

左志强，刘正璇，王一晶

《控制与决策》

DOI

2023

基于激光雷达的无人驾驶3D多目标跟踪

熊珍凯，程晓强，吴幼冬，左志强，刘家胜

《自动化学报》

DOI

2023

Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware

Lingyun Situ, Chi Zhang, Le Guan, Zhiqiang Zuo, Lin-Zhang Wang, Xuan-Dong Li, Peng Liu, Jin Shi

IEEE Internet of Things Journal

DOI

2023

Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration

Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuan-Dong Li, Zhiqiang Zuo

International Symposium on Software Testing and Analysis

DOI

2023

DStream: A Streaming-Based Highly Parallel IFDS Framework

Xi-Zao Wang, Zhiqiang Zuo, Lei Bu, Jian-Hua Zhao

International Conference on Software Engineering

DOI

2023

BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework

Zewen Sun, Duanchen Xu, Yi-Yu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, Shengjian Guo

ESEC/SIGSOFT FSE

DOI

2022

UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing

Yaniv David, Xudong Sun, Raphael J. Sofaer, A. Senthilnathan, Junfeng Yang, Zhiqiang Zuo, G. Xu, Jason Nieh, Rong-Hui Gu

USENIX Symposium on Operating Systems Design and Implementation

2022

Toward More Efficient Statistical Debugging with Abstraction Refinement

Zhiqiang Zuo, Xin-Tao Niu, Siyi Zhang, Lu Fang, Si-Au-Cheng Khoo, Shan Lu, Cheng-Nian Sun, G. Xu

ACM Transactions on Software Engineering and Methodology

DOI

2021

Model predictive longitudinal control for autonomous electric vehicles with tracking differentiator

Yijing Wang, Shizhuo Cao, Hongjiu Yang, Zhiqiang Zuo, Li Wang, Xiaoyuan Luo

International Journal Of Systems Science，Vol. 520, No. 12

DOI

2021

Event-triggered dynamic anti-windup augmentation for saturated systems

Yijing Wang, Rui Zhao, Zhiqiang Zuo, Shuyang Guan, Hongchao Li

International Journal Of Systems Science，Vol. 520, No. 1

DOI

2021

Vulnerable Region-Aware Greybox Fuzzing

Lingyun Situ, Zhiqiang Zuo, Le Guan, Lin-Zhang Wang, Xuandong Li, Jin Shi, Peng Liu

Journal of Computational Science and Technology

DOI

2021

Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan

Zhiqiang Zuo, Kai Wang, Aftab Hussain, A. A. Sani, Yiyu Zhang, S. Lu, Wensheng Dou, Lin-Zhang Wang, Xuan-Dong Li, Chen-Xi Wang, G. Xu

ACM Transactions on Computer Systems

DOI

2021

Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code

Zhiqiang Zuo, Yiyu Zhang, Qiu-Hong Pan, S. Lu, Yue Li, Lin-Zhang Wang, Xuan-Dong Li, G. Xu

ACM-SIGPLAN Symposium on Programming Language Design and Implementation

DOI

2021

Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation

Rong Gu, Zhiqiang Zuo, Xi Jiang, Han Yin, Zhaokang Wang, Lin-Zhang Wang, Xuan-Dong Li, Yihua Huang

IEEE Transactions on Parallel and Distributed Systems

DOI

2021

JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace

Zhiqiang Zuo, Kai Ji, Yi-Fei Wang, W. Tao, Lin-Zhang Wang, Xuan-Dong Li, G. Xu

ACM-SIGPLAN Symposium on Programming Language Design and Implementation

DOI

2021

Identifying privacy weaknesses from multi-party trigger-action integration platforms

Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhen-Kai Liang, Jin S. Dong

International Symposium on Software Testing and Analysis

DOI

2020

Bipartite consensus for a network of wave equations with time-varying disturbances

Yining Chen, Zhiqiang Zuo, Yijing Wang

Systems & Control Letters，Vol. 136

DOI

2020

Event-triggered control for switched systems with both continuous-time and discrete-time subsystems

Yijing Wang, Zongxian Jia, Rui Zhao, Zhiqiang Zuo

International Journal Of Systems Science，Vol. 510, No. 1

DOI

2020

Exposing cache timing side-channel leaks through out-of-order symbolic execution

Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yue-Qiang Cheng, Huibo Wang

Proc. ACM Program. Lang.

DOI

2019

SPECUSYM: Speculative Symbolic Execution for Cache Timing Leak Detection

Shengjian Guo, Yueqi Chen, Peng Li, Yue-Qiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo

International Conference on Software Engineering

DOI

2019

Automatic Self-Validation for Code Coverage Profilers

Yibiao Yang, Yanyan Jiang, Zhiqiang Zuo, Yang Wang, Hao Sun, Hongmin Lu, Yuming Zhou, Bao-Wen Xu

International Conference on Automated Software Engineering

DOI

2019

BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud

Zhiqiang Zuo, Rong Gu, Xi Jiang, Zhaokang Wang, Yihua Huang, Lin-Zhang Wang, Xuan-Dong Li

IEEE International Parallel and Distributed Processing Symposium

DOI

2019

Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code

Zhiqiang Zuo, John Thorpe, Yi-Fei Wang, Qiu-Hong Pan, S. Lu, Kai Wang, G. Xu, Lin-Zhang Wang, Xuan-Dong Li

European Conference on Computer Systems

DOI

2019

Hunting for Bugs in Code Coverage Tools via Randomized Differential Testing

Yibiao Yang, Yuming Zhou, Hao Sun, Zhen-Dong Su, Zhiqiang Zuo, Lei Xu, Bao-Wen Xu

International Conference on Software Engineering

DOI

2018

Event-triggered control for switched systems in the presence of actuator saturation

Zhiqiang Zuo, Yuanyuan Li, Yijing Wang, Hongchao Li

International Journal Of Systems Science，Vol. 490, No. 7

DOI

2018

RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine

Kai Wang, Zhiqiang Zuo, John Thorpe, T. Nguyen, G. Xu

USENIX Symposium on Operating Systems Design and Implementation

2018

Calling-to-reference context translation via constraint-guided CFL-reachability

Cheng Cai, Qi-Run Zhang, Zhiqiang Zuo, Khanh Nguyen, G. Xu, Zhen-Dong Su

ACM-SIGPLAN Symposium on Programming Language Design and Implementation

DOI

2017

Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code

Kai Wang, Aftab Hussain, Zhiqiang Zuo, G. Xu, Ardalan Amiri Sani

International Conference on Architectural Support for Programming Languages and Operating Systems

DOI

2017

Graspan

Kai Wang, Aftab Hussain, Zhiqiang Zuo, G. Xu, Ardalan Amiri Sani

DOI

2016

Low-overhead and fully automated statistical debugging with abstraction refinement

Zhiqiang Zuo, Lu Fang, Si-Au-Cheng Khoo, G. Xu, Shan Lu

Conference on Object-Oriented Programming Systems, Languages, and Applications

DOI

2014

Efficient predicated bug signature mining via hierarchical instrumentation

Zhiqiang Zuo, Si-Au-Cheng Khoo, Cheng-Nian Sun

International Symposium on Software Testing and Analysis

DOI

2014

Efficient statistical debugging via hierarchical instrumentation

Zhiqiang Zuo

International Symposium on Software Testing and Analysis

DOI

2014

Iterative Statistical Bug Isolation via Hierarchical Instrumentation

Zhiqiang Zuo, Si-Au-Cheng Khoo

2013

Mining Dataflow Sensitive Specifications

Zhiqiang Zuo, Si-Au-Cheng Khoo

IEEE International Conference on Formal Engineering Methods

DOI

预印本

2026

Boosting Maximum Entropy Reinforcement Learning via One-Step Flow Matching

Zeqiao Li, Yijing Wang, Haoyu Wang, Zheng Li, Zhiqiang Zuo

arXiv preprint

2026

DeGuNet: Depth-Guided Ultra-Compact Backbones for Efficient LiDAR-Camera 3D Detection

Haifa Zhang, Yijing Wang, Peixi Peng, Zhiqiang Zuo

arXiv preprint

2026

Can BEV Perception Gracefully Degrade under Sensor Failures?

Haifa Zhang, Yijing Wang, Haoyu Wang, Zheng Li, Zhiqiang Zuo

arXiv preprint

2026

Variable-Horizon Model Predictive Control for Switched Systems

Rui Zhao, Zhiqiang Zuo, Yang Shi, Yijing Wang, Zheng Li, Guanrong Chen

arXiv preprint

2026

Beyond Safe Execution: Safe Online Reinforcement Learning for Autonomous Driving with Value Calibration and Adaptive Guidance

Zeqiao Li, Yijing Wang, Haoyu Wang, Zheng Li, Zhiqiang Zuo

arXiv preprint

2026

Dual-Interaction-Aware Cooperative Control Strategy for Alleviating Mixed Traffic Congestion

Zhengxuan Liu, Yuxin Cai, Yijing Wang, Xiangkun He, Chen Lv, Zhiqiang Zuo

arXiv preprint

2026

Boundary-Aligned Contribution Routing for Robust Optical--SAR Object Detection

Haifa Zhang, Yijing Wang, Haoyu Wang, Zheng Li, Zhiqiang Zuo

arXiv preprint

2026

Posterior-Averaged Bellman Flow Matching for Distributional Critics

Zeqiao Li, Yijing Wang, Haoyu Wang, Zheng Li, Zhiqiang Zuo

arXiv preprint

2025

From Learning to Mastery: Achieving Safe and Efficient Real-World Autonomous Driving with Human-In-The-Loop Reinforcement Learning

Li Zeqiao, Wang Yijing, Wang Haoyu, Li Zheng, Li Peng, Liu Wenfei, Zuo Zhiqiang

arXiv preprint

2025

Resilient Control for Networked Switched Systems With/Without ACK: An Active Quantized Framework

Rui Zhao, Zhiqiang Zuo, Yijing Wang, Wentao Zhang, Yang Shi

arXiv preprint

2025

Confidence-Guided Human-AI Collaboration: Reinforcement Learning with Distributional Proxy Value Propagation for Autonomous Driving

Li Zeqiao, Wang Yijing, Wang Haoyu, Li Zheng, Li Peng, Zuo zhiqiang, Hu Chuan

arXiv preprint

2025

A Unified Attack Detection Strategy for Multi-Agent Systems over Transient and Steady Stages

Jinming Gao, Yijing Wang, Wentao Zhang, Rui Zhao, Yang Shi, Zhiqiang Zuo

arXiv preprint

2025

Active Secure Neighbor Selection in Multi-Agent Systems with Byzantine Attacks

Jinming Gao, Yijing Wang, Wentao Zhang, Rui Zhao, Yang Shi, Zhiqiang Zuo

arXiv preprint

2024

Resilient control of networked switched systems subject to deception attack and DoS attack

Rui Zhao, Zhiqiang Zuo, Ying Tan, Yijing Wang, Wentao Zhang

arXiv preprint

2022

Robust output regulation of linear system subject to modeled and unmodeled uncertainty

Zhicheng Zhang, Zhiqiang Zuo, Xiang Chen, Ying Tan, Yijing Wang

arXiv preprint

此主页由公开资料整理，尚未经学者本人认领。