Max Robotics — Global Service Robot Directory + US Certification

About

Zhijun Ding is a leading researcher in the modeling and analysis of interactive systems, with a particular focus on Petri net theory and its applications in human-computer interaction and robotics. His work addresses critical challenges in system control, mobility, and learning, offering formal methods to ensure reliability and efficiency in complex environments. Ding's most cited paper, "Interactive-Control-Model for Human–Computer Interactive System Based on Petri Nets" (2019, 21 citations), introduces a systematic strategy to prevent errors in interactions between autonomous and semiautonomous robots, a foundational contribution to safe human-robot collaboration. In "Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets" (2022, 13 citations), he advances the field by providing a comprehensive framework for capturing mobility and interaction properties that prior methods could not fully describe. His work on learning Petri net models from limited robot data (2020, 5 citations) and on web crawler guidance protocols (2016) further demonstrates his versatility, bridging theoretical modeling with practical deployment. With a growing citation impact, Ding's research is essential reading for scholars in cyber-physical systems, formal methods, and interactive robotics.