Jean-Jacques Lesage

Papers

Total Citations

H-Index

About

Jean-Jacques Lesage is a leading researcher in the field of multi-robot systems and formal methods, with a particular focus on path planning and task specification. His work bridges the gap between discrete event systems and continuous robot motion, leveraging Petri net models and temporal logic to solve complex coordination problems. Lesage’s most notable contributions include the development of the Composed Petri net representation, which integrates Petri nets with Büchi automata to enable efficient path planning under Linear Temporal Logic (LTL) specifications. This innovative approach, detailed in his 2024 paper (8 citations), allows for the synthesis of robot trajectories that satisfy complex temporal constraints while avoiding collisions. His earlier 2020 work (6 citations) addressed multi-robot path planning with Boolean specifications, demonstrating how teams of identical robots can fulfill global mission requirements on both final states and trajectories. These contributions have significant implications for warehouse automation, search-and-rescue operations, and autonomous manufacturing. With a growing citation record and a focus on scalable, formal verification-based solutions, Lesage continues to advance the theoretical foundations and practical applications of multi-robot coordination.