Pedro Lim
Papers
1
Total Citations
9
H-Index
1
About
Pedro Lim is a distinguished researcher in robotics and automation, with a primary focus on formal methods for task planning and execution. His most influential work centers on the application of Petri nets—specifically Generalized Stochastic Petri Nets (GSPNs)—to robotic task representation, a contribution that bridges theoretical modeling with practical implementation. In his seminal 2010 paper, Lim demonstrated how Petri nets offer an intuitive, graphical framework for modeling robotic tasks and monitoring their execution in real time. By leveraging the equivalence between GSPNs and Markov chains, he enabled probabilistic analysis of robotic behaviors, a key advancement for reliability in autonomous systems. Though his most-cited work has garnered 9 citations, its impact is felt in niche areas of manufacturing and service robotics, where task formalization is critical. Lim’s research stands out for its clarity and applicability, providing engineers with a robust toolset for designing, analyzing, and executing complex robotic workflows—a foundation that continues to influence modern approaches to robot task planning and human-robot collaboration.
Research Focus
Key Achievements
Top Papers
- 1