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

Figure 5

Details of the case study.