DESUMA is tool resulting from the integration of the UMDES library of routines for the study of discrete-event systems (developed at the University of Michigan) within GIDDES. The UMDES functions are integrated into GIDDES using the plugin functionality.
The UMDES-LIB is a library of C routines written for the study of discrete event systems modeled by finite-state machines (FSM's). There are routines for the manipulation of FSM'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.
Comments