Supplementary material on the paper: An application of Generative Adversarial Networks to improve automatic inspection in automotive manufacturing, submitted to the Applied Soft Computing journal.

• Generator

• Discriminator

• Encoder

Supplementary material on the paper: Flexible Control of Discrete Event Systems using Environment Simulation and Reinforcement Learning, submitted to the Applied Soft Computing journal.

• Supplementary material, examples, discussion, and details.

• Video-guide with implementation details.

• GitHub open-source code and models used in the paper

LSTM and GA Implementation: Matlab-compliant code D.F.Klotz - 2020

SCADA and OPC Server Implementation: Elipse E3 and Matlab-compliant code D.F.Klotz - 2020

Extended DESs conversion (Web Conversor) Luiz F. P. Southier - 2019

Simulator: cryptography for critical events of state-machine controllers - 2019

Poultry Farming: controller + protocol (C code) M. C. Lorencena et al. - 2019

Poultry Farming: SCADA Monitor (ScadaBR version) M. C. Lorencena et al. - 2019

SCADABR - Linux set up

SCADA - Old but compatible - Java version

Descentralized Implementation of Distinguished Controllers (C Code) Marcelo Rosa - 2017

Multi-Robots controller (C code) A. L. Silva et al. - 2017

Pyramid composition algorithm (3D criptography method) Sato-2014

Event refiner v2.0 (IDES plugin) Teixeira-2012

Event refiner v1.0 (in C) Teixeira-2011

Q-Learing (multiagents reinforcement learning algorithms) Ribeiro-2010

Paper: Combining Formal Methods to Improve Perception in Modelling and Control of Event-driven Systems - Complementary report