%0 Thesis %T Verificação e síntese de controladores de realimentação de estados estática com garantias formais de desempenho não frágil %U https://tede.ufam.edu.br/handle/tede/7470 %I Universidade Federal do Amazonas