PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Miremadi, Sajed"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems.

, , , und . IEEE Trans. Automation Science and Engineering, 12 (3): 990-1006 (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Miremadi, Sajed
Eine Person hinzufügen mit dem Namen Miremadi, Sajed
 

Weitere Publikationen von Autoren mit dem selben Namen

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