PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Åkesson, Knut"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient Symbolic Supervisor Synthesis for Extended Finite Automata.

, , , und . IEEE Trans. Contr. Sys. Techn., 22 (6): 2368-2375 (2014)

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 Åkesson, Knut
Eine Person hinzufügen mit dem Namen Åkesson, Knut
 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Industrial Formal Specification of Programmable Safety Systems., , , und . IEEE Trans. Contr. Sys. Techn., 20 (6): 1567-1574 (2012)Symbolic Supervisory Control of Timed Discrete Event Systems., , , und . IEEE Trans. Contr. Sys. Techn., 23 (2): 584-597 (2015)Hybrid Computer-Human Supervision of Discrete Event Systems., , und . ICRA, Seite 2321-2326. IEEE, (2002)Sequence Planning Using Multiple and Coordinated Sequences of Operations., , , , , , , und . IEEE Trans. Automation Science and Engineering, 9 (2): 308-319 (2012)Formal Specification and Verification of Industrial Control Logic Components., , , und . IEEE Trans. Automation Science and Engineering, 7 (3): 538-548 (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)Enumeration of Valid Partial Configurations., , und . Configuration Workshop, Volume 755 von CEUR Workshop Proceedings, CEUR-WS.org, (2011)A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems., , und . WODES, Seite 362-369. International Federation of Automatic Control, (2014)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)