Mohammad Reza Shoaei

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Supervisory Control

Regular Expressions

Finite Automata

Top Venues

Haifa Verification Conference

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Mohammad Reza Shoaei, Laura Kovács, Bengt Lennartson
Supervisory Control of Discrete-Event Systems via IC3. Haifa Verification Conference (2014)
Mohammad Reza Shoaei, Bengt Lennartson
Symbolic Interpretation and Execution of Extended Finite Automata. WODES (2014)
Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
Supervisory control of extended finite automata using transition projection. CDC (2012)
Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
Abstractions for nonblocking supervisory control of Extended Finite Automata. CASE (2012)
Mohammad Reza Shoaei, Sajed Miremadi, Kristofer Bengtsson, Bengt Lennartson
Reduced-order synthesis of operation sequences. ETFA (2011)
Mohammad Reza Shoaei, Bengt Lennartson, Sajed Miremadi
Automatic generation of controllers for collision-free flexible manufacturing systems. CASE (2010)