Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for subject:( Par metros). One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Cavalcante, Thiago Rodrigo F?lix. Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil.

Degree: 2019, Universidade Federal do Amazonas

Neste trabalho, uma abordagem para a realiza??o de verifica??o e s?ntese de sistemas de controle discreto com realimenta??o de estados foi descrita, levando-se em considera??o requisitos de desempenho da resposta ao degrau em sistemas de controle, a qual ? baseada em t?cnicas de s?ntese indutiva guiada por contraexemplo (counter-example guided inductive synthesis - CEGIS). Nesse esquema, requisitos de desempenho (e.g., tempo de assentamento e m?ximo sobressinal) s?o avaliados, em um determinado sistema de controle, com o objetivo de verificar se os valores desejados s?o atendidos. Caso isso n?o aconte?a, torna-se necess?rio encontrar um sistema que possibilite isso e, nesse caso, um controlador ? novamente projetado. Para a gera??o de controladores, uma t?cnica de aprendizagem que se baseia em algoritmo gen?tico foi utilizada, onde, a cada itera??o em que um requisito n?o seja satisfeito, sabe-se que o controlador associado n?o ? adequado. Na verifica??o desses requisitos de desempenho, em sistemas de controle discreto, considerou-se fragilidade (erros de quantiza??o num?rica, arredondamentos, efeitos de palavra de m?quina finita, etc) nos controladores utilizados. A abordagem desenvolvida ? ?til para auxiliar engenheiros em seus projetos de sistemas de controle discretos, visto que fragilidades normalmente ocorrem durante implementa??es em plataformas digitais e, nesse caso, um sistema que atenda os requisitos desejados pode ser gerado. A sua implementa??o ocorreu dentro da ferramenta DSVerifier, que ? baseada em verifica??o limitada (e ilimitada) de modelos e teorias de m?dulo de satisfabilidade. A metodologia proposta foi avaliada em um conjunto de padr?es de teste cl?ssicos (benchmarks) de sistemas de controle, extra?dos da literatura, bem como em casos espec?ficos e considerando diferentes autovalores e configura??es de controladores. Os resultados experimentais mostram a sua efic?cia em s?ntese de sistemas de controle discreto com realimenta??o de estados, levando-se em considera??o requisitos de desempenho, visto que considera problemas pr?ticos de implementa??o, o que n?o ocorre com outros m?todos existentes.

In this work, we describe an approach to perform verification and synthesis in discrete control systems with state feedback over step response performance requirements in control systems which is based on counterexample-guided inductive synthesis techniques (CEGIS). In this approach there is a performance requirement (e.g., settling time and maximum overshoot) in a given control system in order to know if it satisfies the desired value for that requirement, if it does not satisfy, one must find a system that satisfies the desired requirement, in which case the system controller is reset. For the generation of the controller, we use a learning technique where each iteration that the verification of the requirement does not satisfy, we learn that this controller is not worthy. In the verification of these performance requirements in discrete control systems, we consider the fragility (numerical…

Advisors/Committee Members: Lima Filho, Eddie Batista de, 612212442-72, http://lattes.cnpq.br/7827981023232761, Cordeiro, Lucas Carvalho, http://lattes.cnpq.br/5005832876603012, Silva Junior, Waldir Sabino da, http://lattes.cnpq.br/2925380715531711, Barreto, Raimundo da Silva, http://lattes.cnpq.br/1132672107627968, [email protected], https://orcid.org/0000-0002-2758-4638, https://orcid.org/0000-0002-6235-4272, https://orcid.org/0000-0003-3095-0042, https://orcid.org/0000-0001-8494-4225.

Subjects/Keywords: Sistemas de controle inteligente; Sistemas de controle digital; Sistemas de controle por realimenta??o; ENGENHARIAS; Sistemas de controle; Verifica??o de Par?metros de Desempenho; S?ntese

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cavalcante, T. R. F. (2019). Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7470

Chicago Manual of Style (16th Edition):

Cavalcante, Thiago Rodrigo F?lix. “Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed November 20, 2019. https://tede.ufam.edu.br/handle/tede/7470.

MLA Handbook (7th Edition):

Cavalcante, Thiago Rodrigo F?lix. “Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil.” 2019. Web. 20 Nov 2019.

Vancouver:

Cavalcante TRF. Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2019 Nov 20]. Available from: https://tede.ufam.edu.br/handle/tede/7470.

Council of Science Editors:

Cavalcante TRF. Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7470

.