Welcome to the DESUMA Wiki!
DESUMA is a software tool to build, manipulate, analyze, and control models of Discrete Event Systems expressed as finite state automata (FSA). Feedback is important! Please post in the forum or comment on a page if you have suggestions!
DESUMA is an integration of the UMDES library, developed at the University of Michigan (USA), with the graphical environment for visualizing discrete event systems, called GIDDES, developed at Mount Allison University (Canada). DESUMA allows the user to perform a variety of manipulations of discrete event systems modeled by FSA related to model-building, fault diagnosis, verification, control under full and partial observation, and decentralized control. DESUMA and GIDDES are written in Java. The development of DESUMA is a joint effort between Mount Allison University (Prof. Laurie Ricker and her students) and the University of Michigan (Prof. Stéphane Lafortune and his students).
DESUMA2 is the new version of DESUMA made public in 2013. The most significant change from the previous versions of DESUMA is that the layout of FSA is done using J-Graph instead of GraphViz. This change was motivated by compatibility problems of GraphViz with newer versions of Java. In addition, several enhancements were made in DESUMA2 related to the GUI part, and known bugs in the underlying UMDS commands were fixed. Please note that the UMDES commands are embedded within DESUMA2. However, it is also possible to run UMDES commands from the command line; see UMDES section in that regard.
Since DESUMA2 subsumes DESUMA, this wiki is focused on describing the main features of DESUMA2. Please follow the instructions below for downloading DESUMA2.
Download of DESUMA2
to be completed
UMDES is a library
Head to the Software Library page for more information regarding downloading DESUMA.