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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8855, p. 252-266
Artikel i vetenskaplig tidskrift
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
2014

On the Computation of Natural Observers for Extended Finite Automata

Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
IFAC Proceedings Volumes (IFAC-PapersOnline). Vol. 19, p. 2448-2455
Paper i proceeding
2012

Supervisory Control of Extended Finite Automata Using Transition Projection

Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
Rapport
2012

Abstractions for nonblocking supervisory control of Extended Finite Automata

Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
IEEE International Conference on Automation Science and Engineering, p. 6-
Paper i proceeding
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
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

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

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.