Sistemas Discretos
Mostrando 13-24 de 220 artigos, teses e dissertações.
-
13. Restrições de controle sobre cores decompostas: uma proposta no controle supervisório de sistemas a eventos discretos utilizando redes de Petri coloridas
Este trabalho apresenta a prova matemática do método para a síntese de supervisores denominado Restrição de Controle sobre Cores Decompostas, o qual é baseado nos conceitos da Teoria de Controle Supervisório, utilizando como principal ferramenta as redes de Petri coloridas para modelar sistemas de eventos discretos, a fim de encontrar supervisores que
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2012-06
-
14. Sincronização de um modelo metapopulacional com a taxa de reprodução intrínseca da população dependente do tempo
O estudo de sincronização de sistemas metapopulacionais tem despertado interesse em muitos estudiosos na área de biologia matemática, uma vez que é a partir da sincronização que podemos avaliar e prever o risco da extinção de espécies. Este presente trabalho propõe estudar os fatores que causam o fenômeno da sincronização de um modelo metapopul
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2012
-
15. Controle de sistemas nebulosos Takagi-Sugeno usando relaxações LMIs / LMI relaxations for control design of Takagi-Sugeno fuzzy systems
A principal contribuição dessa tese é a proposta de novas condições, em termos de desigualdades matriciais lineares, para a análise de estabilidade e síntese de controladores de sistemas nebulosos Takagi-Sugeno, casos discretos e contínuos no tempo. A lei de controle considerada é por realimentação de estados, sendo que para sistemas contínuos no
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/12/2011
-
16. Sistemas dinâmicos de eventos discretos com aplicação ao fluxo geodésico em superfícies hiperbólicas / Discrete event dynamical systems with application to the geodesic flow on hyperbolic surfaces
Neste trabalho apresentamos um método de descrição combinatorial para o fluxo geodesico sobre uma região hiperbólica compacta, tendo como objetivo associar a seqüências de codificação, parâmetros topologicos oriundos destas superfícies. Isto permite conjugar conceitos topologicos e combinatoriais oriundos das superfícies estudadas com conceitos d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/12/2011
-
17. Uma fundamentação para sinais e sistemas intervalares
Neste trabalho utiliza-se a matemática intervalar para estabelecer os conceitos intervalares das principais ferramentas utilizadas em processamento digital de sinais. Mais especificamente, foram desenvolvidos aqui as abordagens intervalares para sinais, sistemas, amostragem, quantização, codificação, transformada Z e transformada de Fourier. É feito um
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 02/12/2011
-
18. Um modelo de simulação discreta para analisar o sistema integrado de colheita de cana-de-açúcar e aproveitamento de biomassa
O Brasil é um dos maiores produtores mundiais de cana-de-açúcar, com processamento superior a 620 milhões de toneladas na safra 2010/2011. A perspectiva para os próximos anos é de forte crescimento da produção de açúcar e de etanol, impulsionada pelo aumento das vendas decorrentes do baixo custo de produção e do aumento do consumo de etanol, inte
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/11/2011
-
19. Filtragem robusta recursiva para sistemas lineares a tempo discreto com parâmetros sujeitos a saltos Markovianos / Recursive robust filtering for discrete-time Markovian jump linear systems
Este trabalho trata de filtragem robusta para sistemas lineares sujeitos a saltos Markovianos discretos no tempo. Serão desenvolvidas estimativas preditoras e filtradas baseadas em algoritmos recursivos que são úteis para aplicações em tempo real. Serão desenvolvidas duas classes de filtros robustos, uma baseada em uma estratégia do tipo H \ INFINITO\
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/08/2011
-
20. Métodos formais algébricos para geração de invariantes / Algebraic formal methods for invariant generation
É bem sabido que a automação e a eficácia de métodos de verificação formal de softwares, sistemas embarcados ou sistemas híbridos, depende da facilidade com que invariantes precisas possam ser geradas automaticamente a partir do código fonte. Uma invariante é uma propriedade, especificada sobre um local específico do código fonte, e que sempre se
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/08/2011
-
21. Controle supervisÃrio de sistemas a eventos discretos, usando redes de Petri coloridas / Supervisory control of discrete event systems using coloured Petri nets
Esse trabalho propÃe um novo mÃtodo para sÃntese de supervisores em sistemas a eventos discretos, utilizando redes de Petri coloridas, baseado no contexto da teoria de controle supervisÃrio. Como aspecto principal, tem-se a formalizaÃÃo teÃrica e a prova matemÃtica do mÃtodo para sÃntese desses supervisores, denominado RestriÃÃes de Controle sobr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/08/2011
-
22. Metodologia para implementação de controle supervisório modular local em controladores lógicos programáveis / Methodology for implementation of supervisory control local modular in programmable logic control
Currently, manufacturing automation has assumed an increasingly important role within the industry and the problems of automated control systems have become increasingly complex. Thus, the traditional use of empirical methods heavily base on the experience of the programmer can lead to inappropriate or ineffective solutions. In this case, the Supervisory Con
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/07/2011
-
23. Vantagem competitiva na manufatura através da aplicação da ferramenta de simulação de eventos discretos / Competitive advantage in manufacturing through the discrete-event simulation application
Esse trabalho busca, através da administração estratégica da manufatura, estabelecer as prioridades competitivas e, utilizando a ferramenta de simulação de evento discreto, implementá-las. A simulação é uma ferramenta poderosa, pois se executa experimentos virtualmente, diminuindo os riscos de implementação de soluções pouco testadas e alcança
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/07/2011
-
24. Funções generalizadas, modelos de crescimento contínuos e discretos e caminhadas estocásticas em meios desordenados / Generalized functions, discrete and continuous growth models and stochastic walks on disordered media
Este trabalho está divido em duas partes. Na primeira apresentamos as funções logaritmo e exponencial generalizadas. A partir delas uma grande variedade de outras funções generalizadas pode ser obtida, permitindo uma formulação única dos comportamentos oscilatório, exponencial e lei de potência, característicos dos principais fenômenos físicos.
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 06/07/2011