Mohammad Karimadini

National University of Singapore, Arak University, Arak University of Technology

Papers

Total Citations

H-Index

About

Mohammad Karimadini is a leading researcher in the field of cooperative multi-agent systems, with a primary focus on formal methods for task decomposition and control synthesis. His work addresses a fundamental challenge in distributed robotics: how to guarantee that a complex global mission is achieved through the coordinated actions of individual agents operating under local constraints. Karimadini’s most significant contribution is the development of necessary and sufficient conditions for task decomposability, proving that fulfilling locally decomposed tasks by individual agents guarantees the satisfaction of the original global objective. This framework, detailed in his highly cited 2011 paper (45 citations), provides a rigorous, automata-theoretic approach to ensuring global performance through local coordinations. His subsequent work on modular cooperative tasking (2018) extends this to scalable, reconfigurable systems, enabling the addition of new global tasks without redesigning the entire control architecture. With a total of 68 citations across his top papers, Karimadini’s research bridges the gap between theoretical formal verification and practical multi-agent coordination, offering a powerful toolkit for engineers designing autonomous swarms, from drone fleets to robotic assembly lines.