Chunna Zhao

Capital Normal University, Yunnan University

Papers

Total Citations

H-Index

About

Chunna Zhao is a researcher specializing in formal verification and control systems, with a particular focus on robotics and fractional calculus. Her work addresses critical safety challenges in dual-arm robotic systems through formal methods, most notably in her 2014 paper "Formal verification of a collision-free algorithm of dual-arm robot in HOL4" (11 citations), where she developed rigorous mathematical proofs to guarantee collision-free motion planning—a vital contribution for industrial robots performing complex tasks. Zhao has also advanced the formalization of fractional calculus, as demonstrated in her 2019 work (3 citations), where she systematically formalized the relationships among Grünwald-Letnikov, Riemann-Liouville, and Caputo definitions using higher-order logic. This foundational work enables the verified design of fractional order PI controllers, bridging theoretical mathematics with practical control engineering. Her research uniquely combines theorem proving (HOL4) with applied robotics and control theory, establishing a rigorous framework for safety-critical autonomous systems. Zhao's contributions are particularly valuable for students and researchers working at the intersection of formal methods, cyber-physical systems, and advanced control theory.