Mohsen Biglari
Papers
1
Total Citations
5
H-Index
1
About
Mohsen Biglari is a researcher whose work lies at the intersection of formal methods, swarm robotics, and intelligent control systems. His primary contributions focus on the development of rigorous, automated techniques for generating controller code for multi-robot systems, particularly through the lens of probabilistic timed supervisory control theory (ptSCT). His most-cited paper, "Automatic Controller Code Generation for Swarm Robotics Using Probabilistic Timed Supervisory Control Theory (ptSCT)" (2020), introduces a novel framework that bridges the gap between high-level formal specifications and low-level implementation, enabling the synthesis of correct-by-construction controllers for swarms operating under timing and probabilistic constraints. This work has garnered attention for its potential to enhance the reliability and scalability of autonomous robotic systems. Biglari’s research is notable for its interdisciplinary approach, combining control theory, formal verification, and robotics to address fundamental challenges in autonomous decision-making. With a growing citation record, his contributions are shaping how engineers design dependable, adaptive controllers for distributed robotic systems, making him a rising voice in the field of swarm intelligence and automated control synthesis.
Research Focus
Key Achievements
Top Papers
- 1