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
e-mail: [email protected]
telefone: (11) 3091-5580
Link para o Diretório do CNPq:
http://dgp.cnpq.br/buscaoperacional/detalhep
esq.jsp?pesq=4019150313777291
Link para o Depto: www.poli.usp.br/pmr
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
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
2006
Periódico
Livro
Capítulo de
Livro
Orientações
Outras
publicações
2007
7
1
3
8
1
3
7
43
9
40
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 http://www.pmr.poli.usp.br/lsa.
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 http://www.pmr.poli.usp.br/ltd.
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
detalhes sobre estes tópicos de pesquisa estão
disponíveis
no
web
site
http://www.pmr.poli.usp.br/d-lab.
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
Bolsistas: CNPq, CAPES, FAPESP
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:
•
•
•
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
Bolsistas: CNPq, CAPES, FAPESP
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
Bolsistas: CNPq, 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
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
Bolsistas: CNPq, CAPES, 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
Bolsistas: CNPq, CAPES, FAPESP
2. Publicações Relevantes
(amostra 2006-2007)
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.244-260,
2007.
Cordaro, P.D.; Kawano, A. A uniqueness
result for the recovery of a coefficient of the
heat conduction equation. Inverse Problems,
v.23, p.1069-1085, 2007.
Parikh, S.P; Grassi Jr, V.; Kumas, V.;
Okamoto Jr, J. Integrating Human Inputs with
autonomous behaviors on an intelligent
wheelchair platform. IEEE
Systems, v.22, p.33-41, 2007.
Intelligent
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.267-278,
2007.
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, 2007.
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.214-226,
2007.
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.337-344, 2007.
Zaffalon, M.; Cozman, F.G. Notes on
conditional previsions. International Journal
of Approximate Reasoning, v.44, p.358-365,
2007.
Berleant, D.; Cozman, F. G.; Kosheleva, O.;
Kreinovich, V. Dealing with imprecise
probabilities. Reliable Computing, v.12,
p.153-165, 2006.
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, 2006.
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.397-408, 2006.
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.
Tonidandel, F.; Vaquero, T.S.; Silva, J.R.
Reading PDDL, writing an object oriented
model.. Lecture Notes in Computer Science,
v.4140, p.532-541, 2006.
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.1123-1149, 2006.
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.1420-1436, 2006.
2.2 Livros
Villani, E.; Miyagi, P.E.; Valette, R.
Modeling and Analysys of Hybrid
Supervisory Systems. London: Springer
Verlag, 2007. 245 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, 2007.
450 p.
Miyagi, P.E. (Org.); Villani, E. (Org.);
Horikawa, O. (Org.). ABCM Symposium
Series in Mechatronics, Vol. 2. Rio de
Janeiro: ABCM, 2006. 771 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.87-100.
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. 247-287
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. 40-63.
Cozman, F.G.; Cohen, I. Risks of semisupervised learning. In: Chapelle, O.;
Scholkopf, B.; Zien, A. (Org.). SemiSupervised Learning. Cambridge, MA: MIT
Press, 2006, p.55-70.
2.4 Outras Publicações Relevantes
Campos, C.P. de; Cozman, F.G. Inference in
credal
networks
through
integer
programming. In: 5th Intern. Symp. on
Imprecise
Probability:
Theories
and
Applications, Praga, 2007. p.145-154.
Excluído: . .
Castro, E.G. de; Tsuzuki, M.S.G. Designing
cooperation strategy in a 3D hunting game
using swarm intelligence. In: 7th Intern. Conf.
on Intelligent Systems Design and
Applications. Los Alamitos: IEEE Computer
Society Press, 2007. p.679-684.
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, 2007.
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. 2007. CDROM.
Martins, T.C.; Tsuzuki, M. S. G. Solving
irregular rotational knapsack problems. In: 7th
Intern. Conf. on Intelligent Systems Design
and Applications, Los Alamitos: IEEE
Computer Society Press, 2007. p.711-716.
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: : ASME
Excluído: v.
Excluído: , .
Engineering, . Scottsdale, , 2007. v.1. p.357362.
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: 5th
Intern. Symp. on Imprecise Probability:
Theories and Applications, Praga., 2007.
p.395-404.
Tavarez, J.J.P.Z.S.; Silva, J.R.
auto-ID value generation with
process based on Petri nets. In:
Intern. Conf. on Production
Valparaíso, 2007.
Improving
informed
ICPR 19th
Research,
Trevizan, F.W; Cozman, F.G.; Barros, L.N.
Planning under risk and Knightian
uncertainty. In: IJCAI Intern. Joint Conf. on
Artificial Intelligence, Hydebarad, 2007.
p.2023-2028.
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, 2007.
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,
2006. p.120-131.
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, 2006. v.220.
p.405-414.
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, 2006.
p.35-42.
Junqueira, F.; Miyagi, P.E. A new method for
the hierarchical modeling of productive
systems. In: BASYS´06 7th IFIP Intern. Conf.
on Information Technology for Balanced
Automation Systems in Manufacturing and
Services, 2006, Niagara Falls. Springer, 2006.
v.220. p.479-488.
Excluído: AZ: IEEE
Excluído: de .
Martins, T.C.; Tsuzuki, M.S.G. Simulated
annealing applied to the rotational polygon
packing. In: INCOM 12th IFAC/IFIP/IFORS
/IEEE/IMS Symp. Information Control
Problems in Manufacturing, Saint-Etienne,
2006. v.3. p.475-480.
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, 2006. v.2.
p.1059-1066.
Excluído: , 2007
Excluído: : IEEE
Tsuzuki, M.S.G.; Martins, T.C.; Takase, F.K.
Robot path planning using simulated
annealing. In: INCOM 12th IFAC/IFIP/
IFORS/IEEE/IMS Symp. on Information
Control Problems in Manufacturing, SaintEtienne, 2006. v.1. p.175-180.
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: 16th
Intern. Conf. on Automated Planning and
Scheduling, London, 2006.
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, 2006.
p.389-394.
3. Orientações: Teses & Dissertações
A. Karlstroem. Estimação de posição e
quantificação de erro utilizando geometria
epipolar entre imagens. 2007. 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. 2007.
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. 2007. Tese
Excluído: IFAC
Excluído: : IFAC
(Doutorado)
Cozman.
-
USP.
Orientador:
F.G.
M.F. Polido. Um método de refinamento para
desenvolvimento de software embarcado:
uma abordagem baseada em UML-RT e
especificações
formais.
2007.
Tese
(Doutorado) - USP. Orientador: N.
Maruyama.
M.A.P. Franco. Gestão de projetos e
engenharia de requisitos. 2007. Dissertação
(Mestrado) – USP. Orientador: J.R. Silva.
N.O. Soares. Contribuições ao modelamento
de superfícies fresadas. 2007. 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. 2007. 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.
2007. Dissertação (Mestrado) - USP.
Orientador: J.R. Silva.
R. Mafalda. Resolução de problemas de
tangências por inversões e aplicações à
engenharia. 2007. 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. 2007.
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. 2007. 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. 2006. 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. 2006. Dissertação (Mestrado) - USP,
FAPESP. Orientador: P.E. Miyagi.
F. Junqueira. Modelagem e simulação
distribuída de sistemas produtivos. 2006.
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.
2006. 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 625 - depositada em forma de
revestimento metálico. 2006. Dissertação
(Mestrado) - USP. Orientador: A. Hassui.
M.A.S. Garcia. Algoritmo para converter
sólidos CSG em sólidos B-Rep. 2006.
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. 2006. Dissertação (Mestrado) - USP,
CAPES. Orientador: P.E. Miyagi.
4. Prêmios
Best PhD Thesis – 1o 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´2006 7th IFIP Intern. Conf. on
Information Technology for Balanced
Automation Systems in Manufacturing and
Services