Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations

Figure 7

State model of the obtained control law.