Analysis and Synthesis Methods for Fuzzy Logic Controllers