ESUMA Software: DESUMA is an integration of the UMDES library with the graphical environment for visualizing discrete 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 FSA’s related to model-building, fault diagnosis, verification, control under full and partial observation, and decentralized control.
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Genc, Sahika; Lafortune, Stéphane: Predictability of event occurrences in partially-observed discrete-event systems (2009)