Tese (Doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T19:05:27Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T17:14:51Z : No. of bitstreams: 1 152206.pdf: 2212689 bytes, checksum: c3cc95de71a18ab9569745a0c580309f (MD5) / Neste documento investigam-se inicialmente métodos para explorar a simetria inerente a muitos sistemas práticos visando reduzir a complexidade computacional do Problema de Controle Supervisório (PCS). Noções da teoria de grupos são usadas para caracterizar simetria, sendo que esta propriedade numa linguagem (regular) permite sua representação por um autômato quociente (AQ) em geral de espaço de estados muito menor do que a sua representação original. Propõe-se um algoritmo definido sobre AQs para sintetizar soluções. Atenção especial é dada ao caso de sistemas com componentes similares. Uma segunda parte do documento investiga aplicações da teoria de controle supervisório sobre uma classe de Sistemas Híbridos (SHs) guiados por eventos. Propõe-se um modelo de SH constituído por uma planta, em geral de natureza híbrida, controlada por um supervisor discreto que observa eventos resultantes de cruzamentos de limites (associados às trajetórias contínuas da planta) para gerar comandos de controle. Sobre este modelo formula-se o PCS para SHs sendo que é em seguida transformado num PCS equivalente. Uma noção estendida de controlabilidade e um algoritmo de síntese são propostos para resolver o PCS através de uma abordagem de aproximações conservativas do comportamento lógico da planta. Resultados computacionais são derivados usando extensões propostas das ferramentas CheckMate e GRAIL.

Orientador: Gilbertto Prado / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Artes / Made available in DSpace on 2018-07-29T02:09:14Z (GMT). No. of bitstreams: 1 Saboia_LygiaMariaMaurity_D.pdf: 12986824 bytes, checksum: b73f4be3fe73815f261fef6be6bc996c (MD5) Previous issue date: 2001 / Conteudo: v.1. Fundamentos e instrumentos - v.2. A poetica : parte experimental / Resumo: A presente pesquisa é composta por duas partes. A primeira consiste na descrição dos fundamentos, métodos e instrumentos utilizados para a criação de uma poética interdisciplinar, abrangendo a arte, a matemática, a simetria e a linguagem de programação PostScript. A segunda parte consiste nas imagens e programas necessários à sua elaboração. Estas são apresentadas sob a forma de 17 diferentes tipos de padrão. Tais padrões foram construídos por meio de algoritmos estruturados sobre as normas descritas para os 17 tipos de simetria, também conhecidos como 17 tipos de simetria cristalográfica plana. As imagens resultantes da pesquisa e os programas que possibilitaram sua materialização estão apresentados no VOLUME II. Paralelamente à defesa da tese, são apresentados os 17 diferentes padrões, impressos em grandes formatos, além de 17 placas de acrílico gravadas em que podem ser observados os motivos unitários que formam cada um dos padrões. A análise dos fundamentos e instrumentos que estruturam a poética é apresentada no VOLUME I e teve como um de seus principais objetivos a apreciação de obras e movimentos artísticos em que a matemática, a simetria e as linguagens de programação tiveram papel relevante / Abstract: The present research is divided into two parts. The first one consists in the description of the fundaments, methods and instruments used in the creation of the poetics. In other words its main focus is the interface among art, mathematics, symmetry and PostScript language programming. The second part consists in the images and the necessary programs to generate them. These images correspond to 17 different patterns, originated by means of rules described by the 17 symmetry types of two-dimensional periodic patterns, also known as plane crystallographic symmetry. The resulting images as well as their pertinent programs are presented in VOLUME II. The thesis presentation will be referenced by the 17 different patterns created and printed in large formats and 17 acrylic engraved plates as well. These ones relate to unit motifs used in the composing of each of the 17 different pattern types. The analysis of fundaments and instruments which support the poetics are presented in VOLUME I. One of its main proposals is to appreciate artistic creations and styles in which mathematics, symmetry and programming languages perform important role / Doutorado / Doutor em Multimeios