Automatic generation of controllers for collision-free flexible manufacturing systems. - Mohammad Reza Shoaei; Bengt Lennartson; Sajed Miremadi (CASE, 2010)

Reduced-order synthesis of operation sequences. - Mohammad Reza Shoaei; Sajed Miremadi; Kristofer Bengtsson; Bengt Lennartson (ETFA, 2011)

Abstractions for nonblocking supervisory control of Extended Finite Automata. - Mohammad Reza Shoaei; Lei Feng 002; Bengt Lennartson (CASE, 2012)

Supervisory control of extended finite automata using transition projection. - Mohammad Reza Shoaei; Lei Feng 002; Bengt Lennartson (CDC, 2012)

Supervisory Control of Discrete-Event Systems via IC3. - Mohammad Reza Shoaei; Laura Kovács; Bengt Lennartson (Haifa Verification Conference, 2014)

Symbolic Interpretation and Execution of Extended Finite Automata. - Mohammad Reza Shoaei; Bengt Lennartson (WODES, 2014)

Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables: A Symbolic and Inductive Approach. - Mohammad Reza Shoaei (2015)