Nadzoru: A Software Tool for Supervisory Control of Discrete Event Systems

Abstract: This article presents a software tool for the synthesis of supervisory control based on untimed finite state automata. The tool has a friendly graphical interface for the creation of models and, among other features, allows: automata simulation; analysis of problems related to the implementation of the control logic; and code generation for multiple devices. The code generation is based on a template system that allows the easy inclusion of support for new devices. Currently the tool is able to generate code for some microcontrollers and programmable logic controllers. Another feature of the tool is the capability of being easily extended with new algorithms and modules.

[1]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[2]  Marcelo da Silva Hounsell,et al.  Finite Automata As an Information Model for MES and Supervisory Control Integration , 2012 .

[3]  José Eduardo Ribeiro Cury,et al.  Local Modular Control with Distinguishers Applied to a Manufacturing System , 2013, MIM.

[4]  Martin Fabian,et al.  PLC-based implementation of supervisory control for discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[5]  José Eduardo Ribeiro Cury,et al.  Conceptual Design of Discrete-Event Systems Using Templates , 2011, Discret. Event Dyn. Syst..

[6]  K. Rudie.  The Integrated Discrete-Event Systems Tool , 2006, 2006 8th International Workshop on Discrete Event Systems.

[7]  Roberto Ierusalimschy.  Programming in Lua, Second Edition , 2006 .

[8]  Lei Feng,et al.  TCT: A Computation Tool for Supervisory Control Synthesis , 2006, 2006 8th International Workshop on Discrete Event Systems.

[9]  Derick Wood,et al.  Grail: A C++ Library for Automata and Expressions , 1994, J. Symb. Comput..

[10]  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.

[11]  R. Malik,et al.  Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems , 2006, 2006 8th International Workshop on Discrete Event Systems.

[12]  Knut Åkesson,et al.  Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors , 2003 .

[13]  M.H. de Queiroz,et al.  Modular control of composed systems , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[14]  René Boel,et al.  Discrete event systems : analysis and control , 2000 .

[15]  José E. R. Cury,et al.  Modular Supervisory Control of Large Scale Discrete Event Systems , 2000 .

[16]  Marcelo da Silva Hounsell,et al.  PLC-Based Implementation of Local Modular Supervisory Control for Manufacturing Systems , 2012 .

[17]  Michael Matthias Wood.  Application, Implementation and Integration of Discrete-Event Systems Control Theory , 2005 .

[18]  P. Ramadge,et al.  Modular Supervisory Control of Discrete Event Systems , 1988 .

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

[20]  Adam Kolawa,et al.  Automated Defect Prevention , 2007 .

[21]  Tony J. Dodd,et al.  Application of Supervisory Control Theory to Swarms of e-puck and Kilobot Robots , 2014, ANTS Conference.

[22]  M.H. de Queiroz,et al.  Synthesis and implementation of local modular supervisory control for a manufacturing cell , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..