DESUMA

From DESUMA Wiki
DESUMA
Jump to: navigation, search
Line 1: Line 1:
== Welcome to the Desuma Wiki! ==
+
== Welcome to the DESUMA Wiki! ==
  
Using DESUMA Software to Model Discrete Event Systems.
+
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!
 
Feedback is important! Please post in the forum or comment on a page if you have suggestions!
  
 
== DESUMA Software ==
 
== DESUMA Software ==
  
Desuma is an integration of the UMDES library with the graphical environment for visualizing dsicrete 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 FSAs related to model-building, fault diagnosis, verification, control under full and partial observation, and decentralized control.
+
DESUMA is an integration of the UMDES library with the graphical environment for visualizing discrete event systems, called GIDDES, developed at Mount Allison University. 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.
  
=== Download ===
+
== DESUMA2 ==
 +
 
 +
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
 +
 
 +
== UMDES ==
 +
 
 +
UMDES is a library
 +
 
 +
=== UMDES Download ===
  
 
Head to the [https://wiki.eecs.umich.edu/desuma/index.php/UMDES_Software_Library Software Library page] for more information regarding downloading DESUMA.
 
Head to the [https://wiki.eecs.umich.edu/desuma/index.php/UMDES_Software_Library Software Library page] for more information regarding downloading DESUMA.

Revision as of 21:03, July 19, 2013

Contents

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 Software

DESUMA is an integration of the UMDES library with the graphical environment for visualizing discrete event systems, called GIDDES, developed at Mount Allison University. 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.

DESUMA2

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

UMDES

UMDES is a library

UMDES Download

Head to the Software Library page for more information regarding downloading DESUMA.

Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox
EECS @ UM
Tools