MECATRÔNICA MODELAGEM, CONTROLE E DECISÃO

Transcrição

1 MECATRÔNICA MODELAGEM, CONTROLE E DECISÃO Membros: Prof.Dr. Paulo E. Miyagi Prof.Dr. Fabio G. Cozman Prof.Dr. José Reinaldo Silva Prof.Dr. Marcos de S.G. Tsuzuki Prof.Dr. Jun Okamoto Jr. Prof.Dr. Newton Maruyama Prof.Dr. Alexandre Kawano Colaboradores: Prof.Dr. Diolino J. Santos Fo., USP e CUFSA Prof.Dr. Emilia Villani, ITA Prof.Dr. Luis A.M. Riascos,UFABC Prof.Dr. Amauri Hassui,UNICAMP Prof.Dr. Fabio K. Takase, Mind ltda. Prof. Dr. Flavio Tonidandel, FEI Contato: Paulo E. Miyagi pemiyagi@usp.br telefone: (11) Link para o Diretório do CNPq: esq.jsp?pesq= Link para o Depto: Sobre o Grupo (descrição geral): As atividades de pesquisa e desenvolvimento deste Grupo envolvem as seguintes linhas de pesquisa: Integração de sistemas Modelagem, design e análise de produtos e sistemas Sistemas inteligentes Sistemas de controle Sistemas de tomada de decisão O Grupo está organizado em laboratórios que conduzem os projetos de pesquisa dentro das linhas acima listadas. Palavras-chave: sistema mecatrônico, modelagem e design de sistema, sistema inteligente, tomada de decisão, integração de sistemas, sistema de controle. Repercussões dos trabalhos do grupo Modelagem, design, controle e decisão em engenharia mecatrônica são técnicas e tecnologias fundamentais para a concepção e implementação de sistemas. Assim, as atividades de pesquisa e desenvolvimento deste Grupo envolvem não somente os sistemas de produção industriais como os sistemas de automação, sistemas de manufatura e de processos contínuos, mas também sistemas de transporte, sistemas de saúde pública, sistemas de negócios, edifícios inteligentes, etc. No nível de graduação, o grupo é co-responsável na implantação do curso de Engenharia Mecatrônica (Automação e Sistemas) da Escola Politécnica da USP, que é um sucesso e continua gerando novos cursos similares no país. Textos e materiais para laboratórios didáticos continuam sendo elaborados, assim como novas disciplinas continuam sendo introduzidas nas áreas de modelagem e design de sistemas, técnicas de controle e decisão, sistemas inteligentes e sistemas CAD/CAE/CAM. No nível de pós-graduação, novos procedimentos e abordagens para a modelagem e design de sistemas, técnicas de controle e decisão têm sido implementadas e, Excluído: e Formatados: Marcadores e numeração

2 a formação de pesquisadores tem sido fundamental para a implantação de grupos similares em outras instituições do país. O mérito técnico-científico do Grupo tem sido reconhecido pela comunidade e com isso, os projetos de pesquisa têm sido apoiados por entidades nacionais e estrangeiras como o MONBUSHO (Japão), JICA (Japão), ECLA, e Alfa (União Européia), ICI (Espanha), JNICT (Portugal). O Grupo mantém diversas atividades cooperativas com instituições no Brasil e estrangeiras (por exemplo: TITech (Japão), Tokyo Univ. (Japão), UNL e Univ. do Minho (Portugal), Univ. of Toronto (Canadá), IAI (Espanha), IPK (Alemanha), CMU (USA), LAAS (França), etc.). Na área de prestação de serviços à comunidade, o Grupo tem organizado e participado ativamente de diversos eventos ligados à área de Engenharia Mecatrônica e Engenharia de Automação. Indicadores de Desempenho Periódico 7 8 Livro 1 1 Capítulo de 3 3 Livro Orientações 7 9 Outras publicações Principais Laboratórios de Pesquisa do Grupo: LSA - Laboratório de Sistemas de Automação Coordenador: Paulo E. Miyagi A pesquisa do LSA envolve o estudo e aplicação de técnicas analíticas e de modelagem, suportada por ferramentas computacionais, para a análise do desempenho de sistemas, e no refinamento e avaliação de novos conceitos de projeto de sistemas concebidos e construídos pelo homem (man made systems). Desta forma, o LSA tem atuado junto com engenheiros e especialistas de diferentes áreas em trabalhos que envolvem considerações econômicas, ambientais, humanas e técnicas específicas. As atividades de pesquisa e de desenvolvimento envolvem não somente a automação de sistemas de produção industriais (com processos de manufatura e processos contínuos), mas também de sistemas de transporte, sistemas de comunicação, sistemas militares, edifícios inteligentes, etc. Mais detalhes sobre estes tópicos de pesquisa estão disponíveis no web site Laboratório de Tomada de Decisão Coordenador: Fábio G. Cozman O laboratório foca em técnicas de tomada de decisão automática, envolvendo teoria de probabilidades e generalizações da teoria de probabilidades. Também está interessado em robótica e sistemas autônomos, particularmente no uso de robôs para melhorar a qualidade de vida humana. O laboratório é mantido por financiamentos de várias instituições, incluindo parceiros corporativos. Mais detalhes sobre estes tópicos de pesquisa estão disponíveis no web site DesignLab - Laboratório de Design de Sistemas Coordenador: J. Reinaldo Silva O DesignLab trabalha com métodos de design de sistemas, particularmente os métodos formais aplicados a sistemas complexos, encaixando-se aí a maioria dos sistemas automatizados de grande e médio porte. Para estes sistemas a fase inicial de projeto, especialmente a Engenharia de Requisitos é um dos temas centrais de estudo. Outra ênfase está no tratamento de sistemas discretos ou em aproximações discretas para a modelagem e verificação de sistemas simples ou de tempo real.. Há ainda o interesse pelos processos e métodos de planejamento e inteligência de máquina, tratados como sistemas dinâmicos, isto é, com rede de Petri, e na combinação destes métodos com métodos de Inteligência Artifical. Uma aplicação particular desta combinação é nos sistemas colaborativos abertos que mapeiam o processo de design de sistemas complexos desde a fase inicial (requisitos) até o design detalhado. Mais Excluído: ECLA Excluído: Waterloo Excluído: O foco Excluído: híbridos, reduzindo os métodos formais de interesse àqueles descritos em grafos, Redes de Petri, vector adiction Excluído: ou através de métodos orientados a objeto

3 detalhes sobre estes tópicos de pesquisa estão disponíveis no web site Laboratório de Geometria Computacional Coordenador: Marcos de S.G. Tsuzuki O laboratório desenvolve pesquisas com o objetivo de aplicar tecnologias de geometria computacional em problemas de engenharia. A tecnologia de geometria computacional utilizada envolve: computação gráfica, modelagem de sólidos, modelagem geométrica, diagrama de Voronoi, dentre vários. As principais aplicações são no desenvolvimento de sistemas CAD/CAE/ CAM, mas tem-se também novas aplicações em visualização médica e processamento de imagem. O principal conceito explorado é que informações geométricas podem ser processadas de modo consistente e robusto, e para este fim consideram-se técnicas como aritmética intervalar, simulated annealling, dentre outras. 1. Projetos de Pesquisa: 1.1. Sistemas de Automação Balanceada e Inteligente Coordenador: Paulo E. Miyagi O foco aqui é a sistematização de técnicas necessárias para a concepção e implementação de sistemas de controle para automação balanceada, isto é, desenvolvimento de uma metodologia para a especificação do controle de sistemas a eventos discretos (sistemas com estados discretos e eventos instantâneos) e/ou híbridos (sistemas onde co-existem estados discretos, eventos instantâneos e variáveis continuas) dentro do contexto de sistemas antropocêntricos (humam centered systems) e balanceados (balanced automation systems). A seguir lista-se alguns dos trabalhos em desenvolvimento: Sistemas supervisórios híbridos Este tema visa o estudo e desenvolvimento de metodologias de modelagem, análise e especificação de sistemas supervisórios híbridos. O enfoque é baseado nas ferramentas de modelagem e análise de sistemas a eventos discretos como as redes de Petri estendidas para tratamento das variáveis contínuas. Sistemas flexíveis (inteligentes) de produção Este tema visa o desenvolvimento de metodologias e sistemas de apoio para a concepção, análise e controle de sistemas de fabricação e montagem. Considera-se que estes sistemas podem ser estudados sob o enfoque de sistemas a eventos discretos e assim, investiga-se a efetividade de técnicas baseadas em redes de Petri e suas extensões como o PFS/MFG (Production Flow Schema/ Mark Flow Graph). Os pontos investigados são o gerenciamento remoto de sistemas automatizados e o processo de detecção e tratamento de falhas. Integração de sistemas e atividades em edifícios inteligentes Este tópico visa a caracterização e desenvolvimento de um sistema integrado e modular para a gestão, controle e monitoração de edifícios inteligentes, com infra-estrutura sensorial assistida por computador. Considera-se que os edifícios inteligentes podem ser tratados como um sistema a eventos discretos onde o conceito de sistemas abertos de automação tem papel fundamental. Palavras-chave: sistema produtivo discreto, controle supervisório, sistema híbrido. Fomentos: CNPq, FAPESP, FINEP, CYTED 1.2. Automação de Tomada de Decisão Coordenador: Fábio G. Cozman Este projeto foca no desenvolvimento de técnicas de tomada de decisão automática, envolvendo teoria de probabilidades e generalizações da teoria de probabilidades. As aplicações consideradas envolvem robótica e sistemas autônomos, em especial no uso de robôs para melhorar a qualidade de vida do homem. A seguir tem-se um exemplo dos trabalhos em desenvolvimento:

4 Modelos gráficos para raciocínio probabilístico Onde o foco está nas Redes Bayesianas em vários domínios: sistemas embarcados, sistemas de suporte à decisão médica; desenvolvimento de algoritmos para raciocínio probabilístico exato e aproximado. Indeterminação e imprecisão em valores de probabilidade Modelos que representam indeterminação e imprecisão em valores de probabilidade (por exemplo, a probabilidade de chuva está entre 40% e 50% ). O foco está no estudo de conceitos de independência e em algoritmos para inferência e decisão. Sistemas robóticos Sistemas robóticos para auxílio a pessoas com deficiências e para suporte a atividades educacionais. Palavras-chave: tomada de decisão, inteligência artificial, rede Bayesiana, robótica. Fomentos: FAPESP, HP Laboratories 1.4. Design de Sistemas Complexos Coordenador: J. Reinaldo Silva Propõe aqui uma abordagem formal para o design de sistemas complexos, envolvendo a rede de Petri e suas extensões e técnicas de Inteligência Artificial. A seguir lista-se alguns dos trabalhos em desenvolvimento: GHENeSys - General Hierarchical Enhanced Net System Desenvolvimento de um sistema computacional para modelagem de rede de Petri estendida orientada a objetos onde, são endereçadas aplicações em workfow e sistemas supervisórios. Envolve a síntese de programas de controladores diretamente das extensões da rede e aplicações em sistemas de automação. itsimple - Integrated Tools and Software Interface for Modeling Planning Environments Desenvolvimento de uma ferramenta para modelagem e análise de requisitos em geral e especialmente para os problemas reais de planejamento, isto é, problemas complexos que necessitam dos métodos de planejamento e inteligência de máquina como elevadores inteligentes e sistemas de satélite. SMITI - Sistema de Manufatura Informada e Tecnologia da Informação Estudo do fluxo de informação em sistemas de manufatura e serviços, baseado em sistemas de informação e na distribuição de blocos informacionais que são extraídos de sensores ou armazenados em tags de RFID. O projeto visa o estabelecimento de métodos de design e distribuição da informação e análise de workflow, e o desenvolvimento de sistemas middleware. Palavras-chave: sistema distribuído de informação, RFID, workflow, design inteligente. Fomentos: CAPES, FAPESP 1.5. Visualizador de Imagens Médicas Coordenador: Marcos de S. G. Tsuzuki O objetivo deste projeto de pesquisa é processar as imagens obtidas por um tomógrafo de ressonância magnética e obter uma representação em modelagem sólida associada ao objeto observado. Por meio de processamento de imagem serão determinados valores de threshold que separam a imagem em volumes fechados. Será analisado um volume por vez, pela binarização das imagens obtidas pelo tomógrafo. A partir desta imagem binarizada será obtido o modelo sólido por uma variação do algoritmo cubos marchantes. Para armazenar o modelo sólido será utilizado o Modelador de Sólidos USPDesigner desenvolvido em nosso laboratório. A partir do modelo sólido será possível obter uma sequência de strip de triângulos para acelerar a etapa de renderização utilizando o acelerador gráfico tridimensional OpenGl. A vantagem em criar um modelo sólido é que posteriormente é possível definir algum algoritmo de decimação que reduzirá o número de polígonos sem reduzir a qualidade Excluído: reais Excluído: no mundo dos problemas reais de modelagem e design Excluído: ViCTOr (Virtual Collaborative Transaction Organizer) Excluído: Sistematização das transações entre agentes do processo de design, em especial de sistemas mecatrônicos, de modo a armazenar rationales, documentar a evolução do projeto e permitir que o projeto acabado seja referência para reutilização. Excluído: redes por objetos, sistemas supervisórios, automação predial, análise de dominios, transações, Excluído: FINEP Excluído: CNPq, Excluído: de

5 do modelo. Com o modelo sólido obtido, será possível também exportar para algum software de CAE para realização de análises. Palavras-chave: processamento de imagem, modelagem de sólidos, visualização por computador. Fomentos: FAPESP 1.3. Aplicações da Teoria de Problemas Inversos em Engenharia Mecatrônica Coordenador: Alexandre Kawano Em um problema inverso, dada uma determinada situação de um sistema, desejase inferir quais foram as condições iniciais, as condições de contorno, ou até mesmo, qual é a equação que rege o comportamento do sistema. O objetivo principal deste projeto envolve pesquisas sobre a teoria matemática dos problemas inversos quanto aos aspectos como teoria de probabilidades e estatística, análise funcional e teoria das equações diferenciais parciais, visando a aplicação em Engenharia Mecatrônica relacionados com a reconstrução de imagens e de ensaios não destrutivos. Palavras-chave: problema inverso, análise funcional, ensaio não destrutivo. Fomentos: FAPESP 2. Publicações Relevantes (amostra ) 2.1 Publicações em Periódicos Campos, C.P. de; Cozman, F.G. Computing lower and upper expectations using epistemic independence. International Journal of Approximate Reasoning, v.44, p , Cordaro, P.D.; Kawano, A. A uniqueness result for the recovery of a coefficient of the heat conduction equation. Inverse Problems, v.23, p , Parikh, S.P; Grassi Jr, V.; Kumas, V.; Okamoto Jr, J. Integrating Human Inputs with autonomous behaviors on an intelligent wheelchair platform. IEEE Intelligent Systems, v.22, p.33-41, Riascos, L.A.M.; Simões, M.G.; Miyagi, P.E. A bayesian network fault diagnostic system for proton exchange membrane fuel cells. Journal of Power Sources, v.165, p , Silva, J.R.; Villafruela, L.; Pina, I.B.; Gomis, O.; Sudria, A. Modelling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation. International Journal of Advanced Manufacturing Technology, v.25, p.90-97, Souza, E.C. de; Maruyama, N. Inteligent UUV's: some issues on ROV dynamic positioning. IEEE Transactions on Aerospace and Electronic Systems, v.43, p , Tsuzuki, M.S.G.; Takase, F.K.; Martins, T.C.; Garcia, M.A.S. Converting CSG models into meshed B-Rep models using Euler operators and propagation based marching cubes. Journal of the Brazilian Society of Mechanical Sciences and Engineering, v.29, p , Zaffalon, M.; Cozman, F.G. Notes on conditional previsions. International Journal of Approximate Reasoning, v.44, p , Berleant, D.; Cozman, F. G.; Kosheleva, O.; Kreinovich, V. Dealing with imprecise probabilities. Reliable Computing, v.12, p , Grassi Jr, V.; Okamoto Jr, J. Development of an omnidirectional vision system. Journal of the Brazilian Society of Mechanical Sciences and Engineering, v.28, n.1, p.58-68, Miyagi, P.E.; Riascos, L.A.M. Modeling and analysis of fault-tolerant systems for machining operations based on Petri nets. Control Engineering Practice, v.14, n.4, p , Silva, J. R.; Drira, K.; Rosário, J.M. A proposal to model collaborative work: the case study of a research network. WSEAS Transactions on Information Science and Applications, v.3, p.29-34, 2006.

6 Tonidandel, F.; Vaquero, T.S.; Silva, J.R. Reading PDDL, writing an object oriented model.. Lecture Notes in Computer Science, v.4140, p , Villani, E.; Kaneshiro, P.I.; Miyagi, P.E. Hybrid stochastic approach for the modelling and analysis of fire safety systems. Nonlinear Analysis. Theory, Methods and Applications, v.65, n.6, p , Villani, E.; Miyagi, P.E.; Valette, R. Landing system validation based on Petri nets and a hybrid approach. IEEE Transactions on Aerospace and Electronic Systems, v.42, p , Livros Villani, E.; Miyagi, P.E.; Valette, R. Modeling and Analysys of Hybrid Supervisory Systems. London: Springer Verlag, p. Aguirre, L.A.; Bruciapaglia, A.H.; Miyagi, P.E.; Takahashi, R.H.C. (Org.) Enciclopédia de Automática: Controle & Automação - Volume 1. São Paulo: Editora Blucher, p. Miyagi, P.E. (Org.); Villani, E. (Org.); Horikawa, O. (Org.). ABCM Symposium Series in Mechatronics, Vol. 2. Rio de Janeiro: ABCM, p. 2.3 Capítulos de Livros Castro, E.G. de; Tsuzuki, M.S.G. Simulation Optimization Using Swarm Intelligence as Tool for Cooperation Strategy Design in 3D Predator Prey Game. In: Felix T. S.; Chan; Manoj Kumar Tiwari. (Org.). Swarm Intelligence: Focus on Ant and Particle Swarm Optimization. Viena: I-Tech Education and Publishing, 2007, p Montevechi, J.A.B.; Morandin Jr, O.; Miyagi, P.E. Sistemas de Manufatura. In: Luis A. Aguirre; Augusto H. Bruciapaglia; Paulo E. Miyagi; Ricardo H.C. Takahashi. (Org.). Enciclopédia de Automática: Controle & Automação. São Paulo: Editora Blucher, 2007, v.1, p Cozman, F.G.; Miyagi, P.E. et al. Formação em Controle e Automação no Brasil. In: Luis A. Aguirre; Augusto H. Bruciapaglia; Paulo E. Miyagi; Ricardo H.C. Takahashi. (Org.). Enciclopédia de Automática: Controle & Automação. São Paulo: Editora Blucher, 2007, v.1, p Cozman, F.G.; Cohen, I. Risks of semisupervised learning. In: Chapelle, O.; Scholkopf, B.; Zien, A. (Org.). Semi- Supervised Learning. Cambridge, MA: MIT Press, 2006, p Outras Publicações Relevantes Campos, C.P. de; Cozman, F.G. Inference in credal networks through integer programming. In: 5 th Intern. Symp. on Imprecise Probability: Theories and Applications, Praga, p Castro, E.G. de; Tsuzuki, M.S.G. Designing cooperation strategy in a 3D hunting game using swarm intelligence. In: 7 th Intern. Conf. on Intelligent Systems Design and Applications. Los Alamitos: IEEE Computer Society Press, p Kaneshiro, P.J.I.; Garcia-Melo, J.I.; Miyagi, P.E.; Cugnasca, C.E. Modeling of collision resolution algorithm in lonworks networks. In: IMECE 07 ASME Intern. Mechanical Engineering Congr., Seattle, Martins, T.C.; Tsuzuki, M.S.G. Irregular rotational placement of shapes over nonconvex containers with fixed dimensions. In: IMS2007 IFAC Workshop on Intelligent Manufaturing Systems, Alicante CD- ROM. Martins, T.C.; Tsuzuki, M. S. G. Solving irregular rotational knapsack problems. In: 7 th Intern. Conf. on Intelligent Systems Design and Applications, Los Alamitos: IEEE Computer Society Press, p Morales, R.A.G.; Garcia-Melo, J.I.; Miyagi, P.E. Diagnosis and treatment of faults in productive systems based on Bayesian networks and Petri net. In: 3rd Annual IEEE Conf. on Automation Science and Excluído:.. Excluído: : ASME Excluído: v. Excluído:,.

7 Engineering,. Scottsdale,, v.1. p Shirota Fo, R.; Cozman, F.G.; Trevizan, F.W; Campos, C.P.; Barros, L.N. Multilinear and integer programming for Markov decision processes with imprecise probabilities. In: 5 th Intern. Symp. on Imprecise Probability: Theories and Applications, Praga., p Tavarez, J.J.P.Z.S.; Silva, J.R. Improving auto-id value generation with informed process based on Petri nets. In: ICPR 19 th Intern. Conf. on Production Research, Valparaíso, Trevizan, F.W; Cozman, F.G.; Barros, L.N. Planning under risk and Knightian uncertainty. In: IJCAI Intern. Joint Conf. on Artificial Intelligence, Hydebarad, p Vaquero, T.S.; Romero, V.M.C.; Sette, F.; Tonidandel, F.; Silva, J.R. itsimple2.0 : An integrated tool for designing planning domains. In: ICKEPS Competition on Knowledge Engineering for Planning and Scheduling, Providence, Amtonucci, A.; Zaffalon, M.; Cozman, F.G.; Ide, J.S. Binarization algorithms for approximate updating in credal nets. In: STAIRS Starting Artificial Intelligence Researcher Symposium, Trentino: IOS Press, p Arata, W.M.; Miyagi, P.E. Computational representation, heterogeneity and integration of productive system models. In: BASYS 06 7th IFIP Intern. Conf. on Information Technology for Balanced Automation Systems in Manufacturing and Services, 2006, Niagara Falls. Springer, v.220. p Colla, E.C.; Ide, J.S.; Cozman, F.G. Bayesian network classifiers for country risk forecasting. In: ECML/PKDD Workshop on Practical Data Mining: Applications, Experiences and Challenges, Berlin, p Junqueira, F.; Miyagi, P.E. A new method for the hierarchical modeling of productive systems. In: BASYS 06 7 th IFIP Intern. Conf. on Information Technology for Balanced Automation Systems in Manufacturing and Services, 2006, Niagara Falls. Springer, v.220. p Martins, T.C.; Tsuzuki, M.S.G. Simulated annealing applied to the rotational polygon packing. In: INCOM 12 th IFAC/IFIP/IFORS /IEEE/IMS Symp. Information Control Problems in Manufacturing, Saint-Etienne, v.3. p Riascos, L.A.M.; Cozman, F.G.; Miyagi, P.E.; Simões, M.G. Bayesian network supervision on fault tolerant fuel cells. In: IEEE Industry Applications Conf. 41st IAS Annual Meeting, 2006, Tampa, v.2. p Tsuzuki, M.S.G.; Martins, T.C.; Takase, F.K. Robot path planning using simulated annealing. In: INCOM 12 th IFAC/IFIP/ IFORS/IEEE/IMS Symp. on Information Control Problems in Manufacturing, Saint- Etienne, v.1. p Vaquero, T. S.; Tonidandel, F.; Barros, L.N.B.; Silva, J.R. On the use of UML.P for modeling a real planning problem. In: 16 th Intern. Conf. on Automated Planning and Scheduling, London, Villani, E.; Miyagi, P.E. A hybrid approach for safety analysis of aircraft systems. In: ADHS 06 IFAC Conf. on Analysis and Design of Hybrid Systems, Alghero, p Orientações: Teses & Dissertações A. Karlstroem. Estimação de posição e quantificação de erro utilizando geometria epipolar entre imagens Dissertação (Mestrado) - USP. Orientador: F.K. Takase. H.H. Federico. Aplicação de técnicas de planejamento experimental em otimizadores baseados em algoritmos genéticos Dissertação (Mestrado) - USP, CAPES. Orientador: A. Kawano. I.B. de Magalhães. Avaliação de redes bayesianas para imputação em variáveis qualitativas e quantitativas Tese Excluído: AZ: IEEE Excluído: de. Excluído:, 2007 Excluído: : IEEE Excluído: IFAC Excluído: : IFAC

8 (Doutorado) - USP. Orientador: F.G. Cozman. M.F. Polido. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais Tese (Doutorado) - USP. Orientador: N. Maruyama. M.A.P. Franco. Gestão de projetos e engenharia de requisitos Dissertação (Mestrado) USP. Orientador: J.R. Silva. N.O. Soares. Contribuições ao modelamento de superfícies fresadas Dissertação (Mestrado) - USP. Orientador: A. Hassui. R.A.A. Queiroz. Eliciação e comunicação de requisitos de domínios disjuntos: estudo de caso para a área médica Dissertação (Mestrado) - USP, CNPq. Orientador: J.R. Silva. R.C. Chen. Automação informada baseada em redes de Petri e RFID: estudo de caso para um sistema de bibliotecas de acervos Dissertação (Mestrado) - USP. Orientador: J.R. Silva. R. Mafalda. Resolução de problemas de tangências por inversões e aplicações à engenharia Tese (Doutorado) - USP. Orientador: A. Kawano. T.C. Martins. Estudo do recozimento simulado e do polígono de obstrução aplicados ao problema de empacotamento rotacional de polígonos irregulares nãoconvexos em recipientes fechados Tese (Doutorado) - USP. Orientador: M.S.G. Tsuzuki. T.S. Vaquero. itsimple: ambiente integrado de modelagem e análise de domínios de planejamento automático Dissertação (Mestrado) - USP, CAPES. Orientador: J.R. Silva. C.S. Oliveira. Classificadores baseados em vetores de suporte gerados a partir de dados rotulados e não-rotulados Dissertação (Mestrado) - USP, FAPESP. Orientador: F.G. Cozman. D.L. Nunez. Deteção de falhas em sistemas flexíveis de montagem através de redes de Petri Dissertação (Mestrado) - USP, FAPESP. Orientador: P.E. Miyagi. F. Junqueira. Modelagem e simulação distribuída de sistemas produtivos Tese (Doutorado) - USP, CNPq. Orientador: P.E. Miyagi. J.V. Torres. Representações compactas para processos de decisão de Markov e sua aplicação na administração de impressoras Dissertação (Mestrado) - USP, Instituto de Pesquisas Eldorado. Orientador: F.G. Cozman. M.A. Rodrigues. Investigação sobre o fresamento da liga a base de níquel - INCONEL depositada em forma de revestimento metálico Dissertação (Mestrado) - USP. Orientador: A. Hassui. M.A.S. Garcia. Algoritmo para converter sólidos CSG em sólidos B-Rep Dissertação (Mestrado) - USP. Orientador: M.S.G. Tsuzuki. P.J.I. Kaneshiro. Modelagem de sistemas de proteção técnica contra incêndios em edifícios inteligentes através de redes de Petri Dissertação (Mestrado) - USP, CAPES. Orientador: P.E. Miyagi. 4. Prêmios Best PhD Thesis 1 o lugar de 2006, Sociedade Brasileira de Computação. Best software aplication for planning and KE 2007, ICKEPS Competition on Knowledge Engineering for Planning and Scheduling, Providence, USA Best Paper Award (Prêmio José Negrete) no IBERAMIA/SBIA 2006 Brazilian Symposium on Artificial Intelligence, Sociedade Brasileira de Computação. Best Paper Award - 3rd Position, no BASYS th IFIP Intern. Conf. on Information Technology for Balanced Automation Systems in Manufacturing and Services