Mohammad Reza Shoaei

Visar 10 publikationer

2015

Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables

Mohammad Reza Shoaei, Feng Lei, Bengt Lennartson
Rapport
2014

Supervisory Control of Discrete-Event Systems via IC3

Mohammad Reza Shoaei, Laura Kovacs, Bengt Lennartson
Lecture Notes in Computer Science. Vol. 8855, p. 252-266
Paper i proceeding
2014

On the Computation of Natural Observers for Extended Finite Automata

Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
19th IFAC World Congress on International Federation of Automatic Control, IFAC 2014, Cape Town, South Africa, 24-29 August 2014. Vol. 19, p. 2448-2455
Paper i proceeding
2014

Symbolic Interpretation and Execution of Extended Finite Automata

Mohammad Reza Shoaei, Bengt Lennartson
IFAC Proceedings Volumes (IFAC-PapersOnline). Vol. 12 (3), p. 228-234
Paper i proceeding
2012

Supervisory Control of Extended Finite Automata Using Transition Projection

Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
Rapport
2012

Supervisory Control of Extended Finite Automata Using Transition Projection

Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
Proceedings of the IEEE Conference on Decision and Control (Article number 6427390), p. 7259-7266
Paper i proceeding
2012

Abstractions for nonblocking supervisory control of Extended Finite Automata

Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012, Seoul, 20-24 August 2012, p. 6-
Paper i proceeding
2011

Reduced-order synthesis of operation sequences

Mohammad Reza Shoaei, Sajed Miremadi, Kristofer Bengtsson et al
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, p. 8-
Paper i proceeding
2010

Automatic Generation of Controllers for Collision-Free Flexible Manufacturing Systems

Mohammad Reza Shoaei, Bengt Lennartson, Sajed Miremadi
6th annual IEEE International Conference on Automation Science and Engineering, p. 368-373
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Mohammad Reza Shoaei medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.