Controller synthesis of fuzzy dynamic systems based on piecewise Lyapunov functions | Synapse