menu MENU
Stéphane Lafortune
Stéphane LafortuneN. Harris McClamroch Professor of Electrical Engineering and Computer ScienceElectrical Engineering and Computer Science
(734) 763-0591 4415 EECS1301 Beal AvenueAnn Arbor, MI 48109-2122

Software Tools


DESUMA is our educational tool for analysis and controller synthesis problems for DES modeled by automata. Please refer to the DESUMA wiki for information about this tool.

Our last update to DESUMA was in 2017. We are no longer updating DESUMA. We encourage you to try our new tool MDESops.


In addition to DESUMA, we maintain several tools under the general heading of M-DES-Tools at the GitLab repository of the EECS Department at the University of Michigan. These tools pertain to our recent research on opacity enforcement and synthesis of partial-observation controllers.

In particular, we are developing a tool called MDESops that is a Python-based tool and replicates many of the capabilities of DESUMA, in addition to offering new capabilities based on our current research. Please give it a try!