Dynamical systems over Galois fields: Applications to DES and to the Signal Language
Résumé
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
Origine : Fichiers produits par l'(les) auteur(s)