GIDDES is a graphical front-end for visualizing supervisory control problems. GIDDES provides the user with a wide range of functionality such as:

  • Working with other DES software packages
  • Saving graphical output in a variety of file formats
  • Ability to customize the user interface for additional control applications

DESUMA is an integration of the UMDES library, created at the University of Michigan, with GIDDES. DESUMA allows the user to perform a variety of manipulations of discrete event systems modeled by FSM's related to model-building, fault diagnosis, verification, control under full and partial observation, and decentralized control.