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 symbolic approach to large-scale discrete event systems modeled as finite automata with variables.

, , , und . CASE, Seite 502-507. IEEE, (2012)

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)Symbolic Supervisory Control of Timed Discrete Event Systems., , , und . IEEE Trans. Contr. Sys. Techn., 23 (2): 584-597 (2015)Automatic generation of controllers for collision-free flexible manufacturing systems., , und . CASE, Seite 368-373. IEEE, (2010)Sequence Planning Using Multiple and Coordinated Sequences of Operations., , , , , , , und . IEEE Trans. Automation Science and Engineering, 9 (2): 308-319 (2012)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)Supervisor computation and representation: A case study., , , und . WODES, Seite 275-280. International Federation of Automatic Control, (2010)Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration., , , und . ICAART (1), Seite 106-115. SciTePress, (2011)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)