Mohammad Reza Shoaei

Publikationer (10)
Projekt (0)

Visar 10 publikationer

2015

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

Mohammad Reza Shoaei

Doktorsavhandling

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

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

IEEE International Conference on Automation Science and Engineering, 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

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.