Optimized Controller Synthesis Using Esterel

this paper, we propose to use the Pure Esterel synchronization kernel of the Esterel language [4, 8, 2] that was specifically designed for modular descriptions of control. We present specific techniques to optimize the generated circuits. Using a set of benchmarks, we show that we obtain circuits that are smaller and faster than those obtained by available state encoding techniques and that our approach does scale up to controllers having hundreds of states