DESUMA

From DESUMA Wiki
DESUMA
Jump to: navigation, search
m (moved Main Page to DESUMA)
m (Reverted edits by Jdelro (talk) to last revision by Edallal)
Line 1: Line 1:
== DESUMA Software ==
+
== Welcome to the DESUMA Wiki! ==
  
:The Discrete Event System, University of Michigan and Mount Allison University, or DESUMA, is a software and educational tool used to build, analyze and control models of Discrete Event Systems (DES) as finite-state automata (FSA). It consists of the integration between the UMDES library (a set of commands for DES operations), developed at the University of Michigan under [http://web.eecs.umich.edu/~stephane/ Prof. Stephane Lafortune], and the graphical environment for visualizing discrete event systems, called GIDDES (Graphical Interface for the Design of Discrete Event Systems), developed at Mount Allison University under [http://www.mta.ca/~lricker/ Prof. Laurie Ricker]. 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 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!
  
:Continuous development of DESUMA is a joint effort between Mount Allison University (Prof. Ricker and her colleagues) and University of Michigan (Prof. Lafortune and his colleagues).
+
== DESUMA Software ==
  
:'''Note:''' UMDES commands are embedded within the DESUMA software. However, running commands from the command line is also possible. See UMDES section for more.
+
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 ==
 
== DESUMA2 ==
  
:DESUMA2 is the latest software version made public in 2013. Notable changes from the previous DESUMA version include the FSA layout being done using J-Graph instead of GraphViz due to compatibility problems with the latest JAVA versions. Several GUI related enhancements were made, and known bugs in the underlying UMDES commands were fixed.
+
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. Older versions of DESUMA are still available on the [http://www.eecs.umich.edu/umdes/toolboxes.html UMDES website].
  
== DESUMA Resources ==
+
=== Download of DESUMA2 ===
  
=== Tutorial ===
+
to be completed
:Please visit [[Getting Started]] for information on using DESUMA2 and its interface.
+
  
:Visit [[Functions (Getting Started)]] for information on the UMDES menu within DESUMA2.
+
== DESUMA2 Tutorial ==
  
=== DESUMA Software Download ===
+
Please visit [[Getting Started]] for information on using DESUMA2 and its interface.
:Click this [https://www.eecs.umich.edu/umdes/projects/lib/download_access/submit_desuma.html link] to download the latest and/or older versions of DESUMA
+
  
:Visit [[DESUMA Installation Instructions]] for proper step by step procedures of installation.
+
Visit [[Functions (Getting Started)]] for information on the UMDES menu within DESUMA2.
  
 
== UMDES ==
 
== UMDES ==
  
:UMDES is a library of routines, written in C, for creating and manipulating discrete event systems modeled as FSA. In particular, many of the algorithms for the theory of supervisory control and from the theory of diagnosability of DES are implemented in UMDES. While the main commands in UMDES are embedded within DESUMA, users are still able to run these commands from the command line. For this reason, compiled UMDES commands are available for download.
+
UMDES is a library of C routines for creating and manipulating discrete event systems modeled as FSA. In particular, many of the algorithms for the theory of supervisory control and from the theory of diagnosability of DES are implemented in UMDES. While the main commands in UMDES are embedded within DESUMA and DESUMA2, users may still wish to run these commands from the command line. For this reason, we continue to provide compiled versions of the UMDES commands for separate download.
  
:'''Note:''' A slight source of confusion is that the names of the UMDES executables do not always exactly match the names of the same commands in DESUMA and DESUMA2 menus for UMDES.
+
A slight source of confusion is that the names of the UMDES executables do not always exactly match the names of the same commands in the DESUMA and DESUMA2 menus for UMDES. Please refer to the links below for more information regarding UMDES commands, when used from the command line.
  
=== UMDES Resource ===
+
=== UMDES Download ===
  
:Please go to the [[UMDES Software Library]] page for more information on downloading and using UMDES separately from DESUMA and DESUMA2.
+
Please go to the [[UMDES Software Library]] page for more information on downloading and using UMDES separately from DESUMA and DESUMA2.

Revision as of 17:54, May 13, 2014

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, 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

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. Older versions of DESUMA are still available on the UMDES website.

Download of DESUMA2

to be completed

DESUMA2 Tutorial

Please visit Getting Started for information on using DESUMA2 and its interface.

Visit Functions (Getting Started) for information on the UMDES menu within DESUMA2.

UMDES

UMDES is a library of C routines for creating and manipulating discrete event systems modeled as FSA. In particular, many of the algorithms for the theory of supervisory control and from the theory of diagnosability of DES are implemented in UMDES. While the main commands in UMDES are embedded within DESUMA and DESUMA2, users may still wish to run these commands from the command line. For this reason, we continue to provide compiled versions of the UMDES commands for separate download.

A slight source of confusion is that the names of the UMDES executables do not always exactly match the names of the same commands in the DESUMA and DESUMA2 menus for UMDES. Please refer to the links below for more information regarding UMDES commands, when used from the command line.

UMDES Download

Please go to the UMDES Software Library page for more information on downloading and using UMDES separately from DESUMA and DESUMA2.

Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox
EECS @ UM
Tools