Sajed Miremadi
Papers
2
Total Citations
28
H-Index
2
About
Sajed Miremadi is a researcher whose work bridges the critical intersection of industrial automation and formal verification. His primary research areas include the automatic synthesis of controllers for flexible manufacturing systems and the falsification of temporal logic properties for complex Cyber-Physical Systems (CPSs). A major contribution is his pioneering work on developing methods for the automatic generation of non-blocking, collision-free controllers, a foundational step for enabling dynamic and reconfigurable industrial robotics. His most cited paper, "Automatic generation of controllers for collision-free flexible manufacturing systems" (2010, 19 citations), directly addresses the industry's demand for flexible production by allowing for significant changes in robot configuration without manual reprogramming. More recently, Miremadi has advanced the field of CPS verification by enhancing temporal logic falsification techniques, as seen in his 2020 work (9 citations). By introducing specification transformation and valued Booleans, his research provides more efficient ways to test and validate the complex behaviors of systems like autonomous cars and industrial robots, ensuring they behave as expected before deployment.
Research Focus
Key Achievements
Top Papers
- 1
- 2