Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Lafortune, Stéphane
add a person with the name Lafortune, Stéphane
 

Other publications of authors with the same name

On optimal control of a class of partially observed discrete event systems., , and . Automatica, 38 (11): 1935-1943 (2002)Editorial: changes at J-DEDS., and . Discrete Event Dynamic Systems, 25 (1-2): 1-2 (2015)On an Optimization Problem in Sensor Selection*., , and . Discrete Event Dynamic Systems, 12 (4): 417-445 (2002)Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution., , and . Discrete Event Dynamic Systems, 20 (1): 139-185 (2010)PSPACE-completeness of Modular Supervisory Control Problems*., and . Discrete Event Dynamic Systems, 15 (2): 145-167 (2005)Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case., , , and . IEEE Trans. Automat. Contr., 56 (8): 1818-1833 (2011)A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets., , , and . IEEE Trans. Automat. Contr., 57 (12): 3104-3117 (2012)Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs., , , , and . OSDI, page 281-294. USENIX Association, (2008)Discrete Event Systems: Untimed Models and their Analysis.. Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Diagnosability analysis of unbounded Petri nets., , , and . CDC, page 1267-1272. IEEE, (2009)