Formal ESL Synthesis for Control-Intensive Applications

Figure 7

Optimization (reduction) of number of states.