H O M E     F A C U L T Y     S T U D E N T S     P U B L I C A T I O N S   [   T O O L B O X E S   ]   C O U R S E S     L I N K S   L I B R A R Y

DESUMA Software

Brief Description

DESUMA is an integration of the UMDES library with the graphical environment for visualizing discrete event systems, called GIDDES (written in Java), developed at Mount Allison University. DESUMA allows the user to perform a variety of manipulations of discrete event systems modeled by FSA's related to model-building, fault diagnosis, verification, control under full and partial observation, and decentralized control.


Executables of the DESUMA software for Linux, Mac and Windows are publicly available at the link below.

  • DESUMA Software

  • DESUMA Contact Information: Please e-mail questions to desuma-help AT eecs DOT umich DOT edu. Although we are unable to provide full technical support, we will do our best to help.

UMDES Software Library

Brief Description

UMDES-LIB is a library of C routines written for the study of discrete event systems modeled by finite-state automata (FSA). There are routines for the manipulation of FSA's, routines that implement many of the operations of supervisory control theory, and routines that implement the methodology developed at University of Michigan for failure diagnosis of discrete event systems. The book "Introduction to Discrete Event Systems" by Christos G. Cassandras and Stéphane Lafortune may be consulted for an introduction to modeling of discrete event systems by FSA's, manipulation of FSA models, and the theory of supervisory control of discrete event systems.


Executables of the UMDES-LIB software library for Solaris, Linux, Mac and Windows are publicly available.

Non-exclusive licensing agreements for the source code of UMDES-LIB can also be obtained, at cost, from the Intellectual Property Office of the University of Michigan. For further details on this, please contact Stéphane Lafortune.

University of Michigan, Department of Electrical Engineering and Computer Science
1301 Beal Avenue, Ann Arbor, Michigan 48109-2122