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

Michel Le Borgne (1)

1 EP-ATR - Environnement de programmation d'applications temps réel

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

Domaines: Systèmes embarqués

Michel Le Borgne. Dynamical systems over Galois fields: Applications to DES and to the Signal Language. Belgian-French-Netherlands Summer School on Discrete Event Systems, Jun 1993, Spa, Belgium. ⟨hal-00544352⟩