Author of the publication

Explicit storage and analysis of billions of states using commodity computers.

, , and . WODES, page 364-371. International Federation of Automatic Control, (2012)

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

Supervisory control for collision avoidance in vehicular networks using discrete event abstractions., , , and . Discrete Event Dynamic Systems, 27 (1): 1-44 (2017)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)Discrete Event Systems: Untimed Models and their Analysis.. Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Minimal Communication for Essential Transitions in a Distributed Discrete-Event System., , and . IEEE Trans. Automat. Contr., 52 (8): 1495-1502 (2007)On the Decidability and Complexity of Diagnosability for Labeled Petri Nets., and . IEEE Trans. Automat. Contr., 62 (11): 5931-5938 (2017)Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem., and . IEEE Trans. Automat. Contr., 63 (12): 4435-4441 (2018)