Abstract:Discrete models such as cellular automata may be ported from one platform or language onto another to improve performances, for instance by rewriting legacy Matlab code into C++ or adding optimizations into a Python implementation. Although such transformations can offer benefits such as scalability or maintainability, they also have the risk of introducing bugs. While standard verification techniques can always be applied, this situation presents a unique opportunity since the two implementations can be directly compared based on their simulation runs. Although comparing average results across runs of a same configuration is a common practice, our paper shows that many bugs would not be detected at this aggregate level. We thus propose comparing implementations of cellular automata by analyzing their outputs as images. In this paper, we examine the detection of several implementation errors using five different techniques (supervised/unsupervised image processing, decision trees, random forests, or deep learning) across three different cellular automata models (forest fire, tumor, HIV). We show that in some models, random forests can detect 4 out of 5 erroneous runs, although the accuracy depends both on the model and on the nature of the errors.

Finite State Automata Representation of Bi-level Images

MUSE: a Multilevel Symbolic Encoding Algorithm for State Assignment

Finite Automata Encoding Piecewise Polynomials

Design and Implementation of Embedded Finite State Machines in CAD Systems

A Fuzzy Automaton Model and Its Applications

Finite-State Automaton To/From Regular Expression Visualization

A Finite Exact Representation of Register Automata Configurations

Investigations on Variants of Weighted Automata

Image Encryption Based on Non-Affine and Balanced Cellular Automata.

Implementation of an Artificial Emotion Model and Behavior Strategies Based on Finite Automata

A New CA Method for Image ProcessingBased on Morphology and Coordinate Logic

Finite Automata for Efficient Graph Recognition

i dfa: A novel deterministic finite automaton without state explosion

INVESTIGATIONS OF LIFE-LIKE CELLULAR AUTOMATA FOR IMAGE SCRAMBLING

Comparing Implementations of Cellular Automata as Images: A Novel Approach to Verification by Combining Image Processing and Machine Learning

Image Scrambling Scheme Based on Bit-Level Permutation and 2-D Cellular Automata

An Object Representation Model Based on the Mechanism of Visual Perception.

Verifying And Interpreting Neural Networks using Finite Automata

On hybrid models of quantum finite automata

COLOR IMAGE ENCRYPTION BASED ON TWO-DIMENSIONAL CELLULAR AUTOMATA

Closure and Commutation of Fuzzy Regular Languages.