Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Miremadi, Sajed
add a person with the name Miremadi, Sajed
 

Other publications of authors with the same name

Supervisory Control for State-Vector Transition Models - A Unified Approach., , , , , , and . IEEE Trans. Automation Science and Engineering, 11 (1): 33-47 (2014)Symbolic Representation and Computation of Timed Discrete-Event Systems., , , and . IEEE Trans. Automation Science and Engineering, 11 (1): 6-19 (2014)Symbolic Supervisory Control of Timed Discrete Event Systems., , , and . IEEE Trans. Contr. Sys. Techn., 23 (2): 584-597 (2015)Automatic generation of controllers for collision-free flexible manufacturing systems., , and . CASE, page 368-373. IEEE, (2010)Sequence Planning Using Multiple and Coordinated Sequences of Operations., , , , , , , and . IEEE Trans. Automation Science and Engineering, 9 (2): 308-319 (2012)Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory., , , and . ICAART (Revised Selected Papers), volume 271 of Communications in Computer and Information Science, page 161-175. Springer, (2011)Supervisor computation and representation: A case study., , , and . WODES, page 275-280. International Federation of Automatic Control, (2010)Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration., , , and . ICAART (1), page 106-115. SciTePress, (2011)A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems., , , and . IEEE Trans. Automation Science and Engineering, 12 (3): 990-1006 (2015)Symbolic On-the-Fly Synthesis in Supervisory Control Theory., and . IEEE Trans. Contr. Sys. Techn., 24 (5): 1705-1716 (2016)