Sajed Miremadi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2011–2012
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ETFA | State-vector transition model applied to supervisory control. | Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut kesson |
| 2011 | ETFA | Reduced-order synthesis of operation sequences. | Mohammad Reza Shoaei, Sajed Miremadi, Kristofer Bengtsson, Bengt Lennartson |
| 2011 | ICAART | Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration. | Zhennan Fei, Sajed Miremadi, Knut kesson, Bengt Lennartson |
| 2011 | ICAART | Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory. | Zhennan Fei, Sajed Miremadi, Knut kesson, Bengt Lennartson |