Using Ali-4 Z-Implication in Controller Design | Synapse