Zhijiang Dong

Papers

Total Citations

H-Index

About

Zhijiang Dong is a researcher whose work centers on the formal verification and reliable operation of robotic systems. His primary contribution lies in advancing runtime verification techniques, a method that uses formal specifications to automatically monitor and evaluate system behavior during execution. In his most-cited work, "Runtime Verification on Robotics Systems" (2015), Dong demonstrated how monitors generated from formal specifications can analyze execution traces both online and offline, enabling real-time error detection and system validation. This approach is critical for ensuring safety and correctness in autonomous and complex robotic environments. While his citation count remains modest, his research addresses a foundational challenge in robotics: bridging the gap between formal methods and practical, real-time system assurance. Dong’s work is particularly valuable for students and researchers exploring how to integrate rigorous verification into dynamic, unpredictable operational contexts, offering a pathway toward more trustworthy autonomous systems.