A LYAPUNOV TYPE INVARIANCE THEOREM FOR THE BOOLEAN ASYNCHRONOUS DYNAMICAL SYSTEMS

Abstract

The asynchronous circuits from digital electronics are modeled by Boolean asynchronous dynamical systems, consisting in functions Φ : {0, 1}n → {0, 1}n that iterate their coordinates Φ1, ..., Φn independently on each other. The purpose of this work is to give a Lyapunov-Lagrange type theorem that characterizes the invariance of the sets A ⊂ {0, 1}n in the case of these systems.