Sufficient Conditions in Terms of Linear Matrix Inequalities for Guaranteed Ultimately Boundedness of Solutions of Switched Takagi-Sugeno Fuzzy Systems using the S-procedure Implementação oficial obtida dos autores.