PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Åkesson, Knut"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Sequence Planning Using Multiple and Coordinated Sequences of Operations.

, , , , , , , und . IEEE Trans. Automation Science and Engineering, 9 (2): 308-319 (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 Åkesson, Knut
Eine Person hinzufügen mit dem Namen Åkesson, Knut
 

Weitere Publikationen von Autoren mit dem selben Namen

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)Hybrid Computer-Human Supervision of Discrete Event Systems., , und . ICRA, Seite 2321-2326. IEEE, (2002)Symbolic Supervisory Control of Timed Discrete Event Systems., , , und . IEEE Trans. Contr. Sys. Techn., 23 (2): 584-597 (2015)Towards Industrial Formal Specification of Programmable Safety Systems., , , und . IEEE Trans. Contr. Sys. Techn., 20 (6): 1567-1574 (2012)Formal Specification and Verification of Industrial Control Logic Components., , , und . IEEE Trans. Automation Science and Engineering, 7 (3): 538-548 (2010)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)SAT-Solving in Practice, with a Tutorial Example from Supervisory Control., , , , , und . Discrete Event Dynamic Systems, 19 (4): 495-524 (2009)Implementation of full synchronous composition using IEC 61499 function blocks., , , , und . CASE, Seite 267-272. IEEE, (2005)