Dynamical systems over Galois fields: Applications to DES and to the Signal Language

International audienceWe present applications of the theory of dynamical systems over Galois fields to the verification and the synthesis of logic Discrete Events Systems. The example of the Signal programming language gives some clues on how a programming environment for DES could be organized