( en | de | ru )

 

Disambiguierung von "Lafortune, Stéphane"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software.

, , , , , und . CDC, Seite 4971-4976. IEEE, (2009)

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.

Stéphane Müller

Stéphane Klein

Stéphane Haussler

Stéphane Aubry

Stéphane Audière

 

Weitere Publikationen von Autoren mit dem selben Namen

Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets., , und . WODES, Seite 208-213. International Federation of Automatic Control, (2012)Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions., , und . IEEE Trans. Automat. Contr., 64 (10): 4369-4376 (2019)Incorporating automation logic in online chemical production scheduling., , , , und . Comput. Chem. Eng., (2019)Diagnosability Analysis of a Class of Hierarchical State Machines., und . Discret. Event Dyn. Syst., 18 (3): 385-413 (2008)Supervisory control using variable lookahead policies., , und . Discret. Event Dyn. Syst., 4 (3): 237-268 (1994)On tolerable and desirable behaviors in supervisory control of discrete event systems., und . Discret. Event Dyn. Syst., 1 (1): 61-92 (1991)An algorithm for maximising covered area., und . Int. J. Control, 81 (9): 1493-1505 (2008)Diagnosability of discrete-event systems., , , , und . IEEE Trans. Autom. Control., 40 (9): 1555-1575 (1995)Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems., , und . IEEE Trans. Autom. Control., 53 (9): 2197-2202 (2008)Codiagnosability and coobservability under dynamic observations: Transformation and verification., und . Autom., (2015)