Concluding Remarks

This conclusion presents some closing thoughts on the concepts covered in the preceding chapters of this book. The book focuses on the problem of path planning of cooperative mobile robots by using the paradigm of discrete‐event systems. It explores the advantages of Boolean Logic, Linear Temporal Logic, cell decomposition, Finite State Automata modeling, and Petri Nets to propose novel approaches that are used to generate routes for a team of robots operating in cluttered environments and achieving a common high‐level specification. In addition to the substantial theoretical contribution, the book also contributes an interactive software tool Robot Motion Toolbox, running in MATLAB. The relevance of these contributions is also supported by the publication of a substantial part of the contents in renowned journals and conferences in the fields of robotics and discrete‐event systems.