Seung-Yun Kim

Papers

Total Citations

H-Index

About

Seung-Yun Kim’s research centers on the intersection of formal modeling and autonomous robotics, with a particular focus on Petri nets (PNs) as a tool for designing and analyzing intelligent robot behaviors. His work addresses critical challenges in real-time decision-making and environmental interaction for mobile and humanoid robots. Kim’s major contributions include the application of time Petri nets to model the complex, sequential logic of soccer robot behaviors, enabling systematic analysis and increased system comprehension. He further advanced this approach by developing a fuzzy Petri net framework for efficient obstacle avoidance in mobile robots, reducing the computational overhead of traditional environment mapping by allowing the robot to navigate without extensive standby or processing time. In a notable achievement, Kim created a colored Petri net representation of a logical passing algorithm for humanoid soccer robots in the RoboCup Standard Platform League, directly contributing to the grand challenge of programming robots to compete against humans. While his citation counts (10, 6, and 2 for his most-cited papers) reflect a focused, early-career impact, his work provides a rigorous foundation for integrating formal verification with autonomous navigation and multi-agent coordination. Kim’s research is particularly valuable for students and engineers seeking to bridge theoretical modeling with practical robot control.