Mohsen A. Jafari

Rutgers, The State University of New Jersey

Papers

Total Citations

H-Index

About

Dr. Mohsen A. Jafari is a leading figure in the integration of formal methods with industrial automation, whose work bridges the gap between theoretical computer science and practical manufacturing systems. His research centers on discrete event systems, formal verification, and automated synthesis, with a particular focus on applying temporal logic to ensure the correctness and reliability of complex robotic and production environments. In his highly influential 2002 work, Dr. Jafari pioneered the application of temporal logic verification and synthesis to manufacturing systems, demonstrating how a prototype system can automatically build discrete controller software for real-world robotics tasks. By developing the CONTROL-D tool, he showed how to formally specify and verify system requirements, effectively bringing rigorous, mathematically-grounded design techniques to industrial control. This foundational contribution has shaped subsequent research in automated manufacturing and cyber-physical systems, earning over 3,000 citations and establishing him as a key innovator in safety-critical automation. His work continues to inspire engineers and researchers seeking to build more dependable, verifiable, and intelligent production systems.