Jinjun Long

Papers

Total Citations

H-Index

About

Jinjun Long is a researcher in robotics and automation, with a primary focus on multi-robot systems and formal methods for coordination. His most-cited work, "Multi-robot Path Planning Using Petri Nets" (2020), has garnered 7 citations, establishing a foundation for applying Petri net models to solve complex path planning challenges in multi-agent environments. This contribution addresses critical issues in collision avoidance and task scheduling, offering a structured approach to ensuring system reliability and efficiency. Long's research bridges theoretical modeling and practical robotic applications, providing tools that enhance the scalability and safety of autonomous systems. His work is particularly relevant for students and researchers exploring formal verification in robotics, as it demonstrates how discrete event systems can be leveraged to manage dynamic multi-robot interactions. While his citation count is modest, the specificity and rigor of his contributions mark him as a developing voice in the field, with potential for broader impact as multi-robot systems become increasingly integral to manufacturing, logistics, and exploration.