( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).

, , , , , , и . CASE, стр. 37-41. IEEE, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Stéphane Haussler

Stéphane Klein

Stéphane Müller

Stéphane Aubry

Stéphane Audière

 

Другие публикации лиц с тем же именем

Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets., , и . WODES, стр. 208-213. International Federation of Automatic Control, (2012)Incorporating automation logic in online chemical production scheduling., , , , и . Comput. Chem. Eng., (2019)On tolerable and desirable behaviors in supervisory control of discrete event systems., и . Discret. Event Dyn. Syst., 1 (1): 61-92 (1991)Diagnosability Analysis of a Class of Hierarchical State Machines., и . Discret. Event Dyn. Syst., 18 (3): 385-413 (2008)Supervisory control using variable lookahead policies., , и . Discret. Event Dyn. Syst., 4 (3): 237-268 (1994)Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems., , и . IEEE Trans. Autom. Control., 53 (9): 2197-2202 (2008)Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control., , , и . IEEE Trans. Autom. Control., 55 (11): 2447-2461 (2010)Diagnosability of discrete-event systems., , , , и . IEEE Trans. Autom. Control., 40 (9): 1555-1575 (1995)On Codiagnosability and Coobservability With Dynamic Observations., , , и . IEEE Trans. Autom. Control., 56 (7): 1551-1566 (2011)Synthesis of Maximally-Permissive Supervisors for the Range Control Problem., и . IEEE Trans. Autom. Control., 62 (8): 3914-3929 (2017)