Enrique Teruel

Papers

Total Citations

H-Index

About

Enrique Teruel is a researcher whose work bridges the foundational theory of concurrent systems with the practical challenges of multi-robot coordination. His key research areas include formal methods for concurrent processes—specifically the structure theory of Petri nets—and distributed swarm robotics for dynamic environmental coverage. Teruel’s major contributions are twofold. In theoretical computer science, he advanced the understanding of multi-level deterministically synchronized sequential processes, a framework critical for verifying and modeling complex concurrent behaviors. In robotics, he developed innovative control strategies for robot swarms tasked with covering dynamic, non-convex, or moving regions. His 2019 paper on distributed swarm control for dynamic region coverage has garnered 29 citations, reflecting its impact on the field. A notable practical achievement is his 2021 work presenting a method for evenly covering a dynamic region with a swarm, addressing a key limitation of static centroidal Voronoi tessellation approaches. Teruel’s ability to connect deep theoretical insights with tangible robotic applications makes his research valuable for students and engineers developing autonomous systems for exploration, monitoring, and surveillance.