DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems

In this paper we present deslab, a scientific computing program written in python, for the development of algorithms for analysis and synthesis of discrete event systems (DES) modeled as automata. The main objective of deslab is to provide a unified tool that integrates automata, graph algorithms, and numerical calculations. deslab also allows the definition of symbolic variables of type automaton and incorporates concise instructions to manipulate, operate, analyze and visualize these variables, with a syntax and an abstraction level close to the notation used in DES theory. Using the proposed set of instructions and basic control structures of python language, deslab can be easily extended, giving rise to new functions and toolboxes, according to the users’ needs.