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

Abstract 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.

[1]  Fernando Pérez,et al.  Python: An Ecosystem for Scientific Computing , 2011, Computing in Science & Engineering.

[2]  T. Moor,et al.  libFAUDES — An open source C++ library for discrete event systems , 2008, 2008 9th International Workshop on Discrete Event Systems.

[3]  S. Lafortune,et al.  DESUMA: A Tool Integrating GIDDES and UMDES , 2006, 2006 8th International Workshop on Discrete Event Systems.

[4]  André Almeida,et al.  FAdo and GUItar , 2009, CIAA.

[5]  João Carlos Basilio,et al.  Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems , 2011, IEEE Trans. Autom. Control..

[6]  J.E.R. Cury,et al.  The Environment Grail for Supervisory Control of Discrete Event Systems , 2006, 2006 8th International Workshop on Discrete Event Systems.