Mohammad Reza Shoaei

According to our database, Mohammad Reza Shoaei authored at least 7 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables: A Symbolic and Inductive Approach.

Mohammad Reza Shoaei

PhD thesis, 2015

2014

Symbolic Interpretation and Execution of Extended Finite Automata.

Mohammad Reza Shoaei, Bengt Lennartson

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Supervisory Control of Discrete-Event Systems via IC3.

Mohammad Reza Shoaei, Laura Kovács, Bengt Lennartson

Proceedings of the Hardware and Software: Verification and Testing, 2014

2012

Supervisory control of extended finite automata using transition projection.

Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Abstractions for nonblocking supervisory control of Extended Finite Automata.

Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011

Reduced-order synthesis of operation sequences.

Mohammad Reza Shoaei, Sajed Miremadi, Kristofer Bengtsson, Bengt Lennartson

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010

Automatic generation of controllers for collision-free flexible manufacturing systems.

Mohammad Reza Shoaei, Bengt Lennartson, Sajed Miremadi

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010