Chi Hu

National University of Defense Technology

Papers

Total Citations

H-Index

About

Chi Hu is a leading researcher in the runtime verification and enforcement of robotic swarms, with a primary focus on ensuring the correctness and safety of decentralized, multi-agent systems. Their major contributions lie in developing formal methods to monitor and control hierarchical properties in robot collectives, particularly those operating under the Robot Operating System (ROS). Hu’s foundational work, “Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms” (2019, 17 citations), pioneered techniques to address the dynamic uncertainties—such as environmental changes and resource variability—that traditional testing and model checking cannot handle at runtime. Expanding on this, their 2020 paper on “Decentralized runtime enforcement for robotic swarms” (4 citations) introduced novel approaches to bridge the gap between macro-level swarm tasks and micro-level robot behaviors, tackling the vulnerability of bottom-up swarm designs to environmental perturbations. Hu’s research is highly impactful for students and engineers working on autonomous systems, offering practical solutions for industrial manufacturing, disaster rescue, and unmanned vehicles. Their work stands out for its rigorous integration of formal verification with real-world robotic applications, making Hu a key figure in advancing trustworthy swarm intelligence.