Ricardo Ferreira Martins

Possui graduação em Engenharia Elétrica pela Universidade Federal de Uberlândia (1993), mestrado em Engenharia Elétrica pela Universidade Federal de Santa Catarina (1996) e doutorado em Engenharia Elétrica pela Universidade do Estado de Santa Catarina (2020). Desde 1997, é professor efetivo da Universidade do Estado de Santa Catarina - UDESC, lotado no Departamento de Ciência da Computação. Tem experiência nas áreas de Ciência da Computação e Engenharia Elétrica, com ênfase em Controle e Automação de Sistemas. Atua principalmente nos seguintes temas: Linguagem Formais e Autômatos, Redes de Computadores, Controle Supervisório de Sistemas a Eventos Discretos. Atualmente, desenvolve trabalhos relacionados a Sistemas Autônomos aplicados à veículos não tripulados.

Informações coletadas do Lattes em 06/10/2025

Acadêmico

Formação acadêmica

Doutorado em Engenharia Elétrica

2015 - 2020

Universidade do Estado de Santa Catarina
Título: Um Framework para a coordenação automática de múltiplas missões de veículos aéreos não tripulados baseado na teoria de Sistemas a Eventos Discretos
, Ano de obtenção: 2020. André Bittencourt Leal. Palavras-chave: Veículos Aéreos Não Tripulados; Controle do espaço aéreo; Gerenciamento de recursos; Sistemas a Eventos Discretos; UAV; UTM. Grande área: EngenhariasSetores de atividade: Pesquisa e desenvolvimento científico.

Mestrado em Engenharia Elétrica

1994 - 1996

Universidade Federal de Santa Catarina
Título: Verificação de Sistemas Dependentes do Tempo a partir de Especificações escritas em RT-LOTOS
Orientador: Jean-Marie Farines
, Ano de Obtenção: 1996.Coorientador: Murilo Silva de Camargo. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Verificação Simbólica de Modelos; LOTOS; Sistemas Tempo-Real.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação. Setores de atividade: Informática.

Graduação em Engenharia Elétrica

1988 - 1993

Universidade Federal de Uberlândia

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

Grande área: Outros / Área: Robótica, Mecatrônica e Automação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Hardware.

Organização de eventos

WATANABE, A. T. Y. ; LEAL, A. B. ; MARTINS, R. F. . Campeonato Interescolar de Robótica da UDESC. 2012. (Outro).

Participação em bancas

Aluno: Jonathan Lopes Florêncio

LEAL, A. B.; BERTOL, D. W.;MARTINS, R. F.. Desenvolvimento de um Sistema de Coordenação Automática de Veículos Aéreos Não Tripulados cujas Missões são Orientadas por Requisições. 2018. Dissertação (Mestrado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

Aluno: Alex Luiz de Sousa

BONA, L. C. E.;LEAL, A. B.; Sá, C.C.; NIED, A.; Pillon, M. A.;MARTINS, R. F.. Um Sistema de Apoio à Tomada de Decisão para o Monitoramento Remoto de Centrais de Alarme Patrimoniais. 2009. Dissertação (Mestrado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

Aluno: Thalys Eduardo Ferreira Rezende

LEAL, A. B.; MOREIRA, M. V. B.; CURY, J. E. R.; LOPES, Y. K.;MARTINS, R. F.. Estratégias de Diagnose e Prognose Estocásticas para o Controle Tolerante a Falhas de Sistemas a Eventos Discretos. 2021. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

Aluno: Ricardo José Pfitscher

OBELHEIRO, R. R.; Pillon, M. A.;MARTINS, R. F.; MISAGHI, M.. Modelo Analítico de Desempenho para Virtualização com XEN. 2010 - Universidade do Estado de Santa Catarina.

Aluno: Gabriel Cordova Sá Rech

LEAL, A. B.; BERTOL, D. W.;MARTINS, R. F.. Utilização de Processamento de Imagens para Auxílio no Pouso Automático de Aeronaves de Asas Rotativas. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

Aluno: Franz Goestemeier

ROSSO JUNIOR, R. S. U.;MARTINS, R. F.; MIERS, C. C.;LEAL, A. B.. Implementação de recursos para a definição de trajetórias de um voo automático, com simulação baseada na técnica SITL. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Gian Lucas Nunes de Almeida

LEAL, A. B.MARTINS, R. F.; ARAUJO, C. J. F. D. E.; MIERS, C. C.. Geração automática de código para a trajetória de VANTs em voos assistidos. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

Aluno: Fernando Terra Wasilewski

KOSLOVSKI, G. P.; OBELHEIRO, R. R.;MARTINS, R. F.. Desenvolvimento de uma ferramenta para reserva de largura de banda em ambientes virtualizados. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Jonas Michael Ziel

ROSSO JUNIOR, R. S. U.;MARTINS, R. F.LEAL, A. B.; BALDO, F.; TRAMONTIN JUNIOR, R. J.. Análise e Desenvolvimento de Software Configurável para Comunicação entre Dispositivos em Sistemas de Manufatura Integrada por Computador. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Victor Hugo Gomes

MARTINS, R. F.; MIERS, C. C.; SANTOS, G. B.. Uma implementação para o planejamento e execução de voo autônomo de VANTs. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Caio Manceira Bonfante

MARTINS, R. F.; SANTOS, G. B.; MIERS, C. C.. Uma solução para monitoramento de voo de veículos áereos não tripulados. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Bruno Pereira Damasceno

MARTINS, R. F.; WEHRMEISTER, M. A.; SILVA, A. G.. Uma ferramenta baseada em tablets para coleta de informações de pesquisa de campo, com foco na gestão eletrônica de documentos. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: André Filipe Romão

Pillon, M. A.;MARTINS, R. F.; KOSLOVSKI, G. P.. Robô autônomo localizador de contêineres. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Rafael Wruck

MARTINS, R. F.; OBELHEIRO, R. R.; Pillon, M. A.. Especificação e desenvolvimento de uma plataforma para orientação de um robô móvel autônomo, baseada em sensores e redes sem fio. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Heloisa de Medeiros

OBELHEIRO, R. R.;MARTINS, R. F.; KNIESS, J.. Análise de desempenho do uso de TCP para consultas DNS. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Rodrigo Luís dos Santos

MARTINS, R. F.; NAZARIO, D. C.; SANTOS, G. B.. Uso de recursos da mobilidade computacional em aplicações médico-hospitalares. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Monique Madeira Pereira

MARTINS, R. F.; Pillon, M. A.; OBELHEIRO, R. R.. Estudo e desenvolvimento de uma aplicação para o monitoramento remoto de sistemas de segurança doméstica, utilizando dispositivos móveis. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: [Nome removido após solicitação do usuário]

MARTINS, R. F.; Pillon, M. A.; NAZARIO, D. C.. Uma proposta de malha de rede IEEE 802.11 para monitoramento de ambientes residenciais utilizando redes locais. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Douglas Dall Agnolo

MARTINS, R. F.; ALVES, O. C.; MENEGAZZO, C. T.. Proposta de melhoria na identificação de pessoas na biblioteca universitária. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Lucas Pauli Simões

MARTINS, R. F.; Pillon, M. A.; GUEDES, L. R.. Uso de um veículo automatizado para o monitoramento de ambientes residenciais. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Jorge Augusto Francisco de Souza

OBELHEIRO, R. R.; ALVES, O. C.;MARTINS, R. F.. Especificação e implantação de protótipo de um sistema de discagem preditiva em telefonia IP baseado na plataforma asterisk. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Ana Paula Matias

OBELHEIRO, R. R.;MARTINS, R. F.; NAZARIO, D. C.. Comparação arquitetural e de desempenho de ambientes de virtualização. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Priscila Froelich Socas

OBELHEIRO, R. R.;MARTINS, R. F.; DUARTE, D.. Um estudo comparativo envolvendo medições em redes em larga escala. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Igor Duquia Giumelli

OBELHEIRO, R. R.;MARTINS, R. F.; MENEGAZZO, C. T.; ALVES, O. C.. Configuração remota de roteadores e switches em disciplinas de redes de computadores. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Nilcimar Neitzel

MARTINS, R. F.; MENEGAZZO, C. T.; SANTOS, S. A.. Proposta de uma abordagem para detecção de plágio. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Lucas Fabiano Proner

NAZARIO, D. C.; Pillon, M. A.;MARTINS, R. F.. Uma proposta de modelo CSIRT para o BESC. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Dieison Grumovski

NAZARIO, D. C.; ALVES, O. C.;MARTINS, R. F.. Especificação e implementação de um protótipo de middleware para gerenciar dados coletados através da tecnologia RFID. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Marcos Steckert Pessoa

MARTINS, R. F.; MENEGAZZO, C. T.; NAZARIO, D. C.. Proposta de uma infra-estrutura de rede sem fio para ambientes universitários. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Juan Rodolpho Basso

MIERS, C. C.; Pillon, M. A.; ALVES, O. C.;MARTINS, R. F.. Proposta de um modelo para mobilidade em redes que utilizam padrão IEEE 802.11 com protocolo IP versão 6. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Ademir Camillo Junior

MARTINS, R. F.; PARPINELLI, R. S.; ALVES, O. C.; MIERS, C. C.. Estudo e desenvolvimento de uma aplicação para ambientes clínico-hospitalares, considerando o uso de dispositivos móveis utilizando redes de comunicação sem fio. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Rafael Amadigi Dal Santo

MARTINS, R. F.; MIERS, C. C.; Pillon, M. A.; ALVES, O. C.. Uma infra-estrutura de QoS para o transporte de fluxos multimídia baseados na transmissão de vídeo multicast. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Robson Eli Strobel

MIERS, C. C.; Pillon, M. A.; ALVES, O. C.;MARTINS, R. F.. Uma infraestrutura de rede sem fio para ambientes clínico-hospitalares. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Rodolfo Pscheidt Júnior

Pillon, M. A.; FIORESE, A.; MIERS, C. C.;MARTINS, R. F.. Proposta de um proxy híbrido em ambientes de coexistência IPv4 E IPv6. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Ramon Cemin

DIAS, J. S.; MIERS, C. C.;MARTINS, R. F.; ALVES, O. C.. Implementação e avaliação de um método de execução segura de código. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Aluno: Juliana Patricia Detroz

MARTINS, R. F.; GASPARINI, I.; FERNANDES, E. M. L.; PARPINELLI, R. S.. Utilização do paradigma da lógica bayesiana no desenvolvimento de um ambiente de avaliação através da Internet. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina.

Orientou

Maurício Ferreira da Silva

Implementação de uma Arquitetura de Controle Distribuída de VANTs baseada em SEDs; Início: 2022; Dissertação (Mestrado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina, Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina; (Coorientador);

Victor Hugo Gomes

Uma implementação para o planejamento e execução de voo autônomo de VANTs; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Caio Manceira Bonfante

Uma solução para monitoramento de voo de veículos áereos não tripulados; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Bruno Pereira Damasceno

Uma ferramenta baseada em tablets para coleta de informações de pesquisa de campo, com foco na gestão eletrônica de documentos; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Rafael Wruck

Especificação e desenvolvimento de uma plataforma para orientação de um robô móvel autônomo, baseada em sensores e redes sem fio; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Rodrigo Luís dos Santos

Uso de recursos da mobilidade computacional em aplicações médico-hospitalares; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Monique Madeira Pereira

Estudo e desenvolvimento de uma aplicação para o monitoramento remoto de sistemas de segurança doméstica, utilizando dispositivos móveis; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

[Nome removido após solicitação do usuário]

Uma proposta de malha de rede IEEE 802; 11 para monitoramento de ambientes residenciais utilizando redes locais; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Douglas Dall Agnolo

Proposta de melhoria na identificação de pessoas na biblioteca universitária; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Marcos Steckert Pessoa

Proposta de uma infra-estrutura de rede sem fio para ambientes universitários; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Lucas Pauli Simões

Uso de um veículo automatizado para o monitoramento de ambientes residenciais; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Nilcimar Neitzel

Proposta de uma abordagem para detecção de plágio; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Rafael Amadigi Dal Santo

Uma infra-estrutura de QoS para o transporte de fluxos multimídia baseados na transmissão de vídeo multicast; 2006; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Ademir Camillo Junior

Estudo e desenvolvimento de uma aplicação para ambientes clínico-hospitalares, considerando o uso de dispositivos móveis utilizando redes de comunicação sem fio; 2006; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Juliana Patricia Detroz

Utilização do paradigma da lógica bayesiana no desenvolvimento de um ambiente de avaliação através da Internet; 2005; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Caio Manceira Bonfante

Relatório de estágio (graduação): Implementação de um protótipo para monitoramento de rondas usando Arduíno e Android; 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Marco Luidgi Nicolletti

Relatório de estágio (graduação): Desenvolvimento de um sistema de controle de patrimônio; 2013; Orientação de outra natureza; (Análise e Desenvolvimento de Sistemas) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Luiz Felipe Neitzke Alves

Relatório de estágio (graduação): Implementação de um sistema de fechadura eletrônica usando Arduino; 2013; Orientação de outra natureza; (Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Takanori Ogawa

Relatório de estágio (graduação): Análise e implementação de nova solução de firewall; 2012; Orientação de outra natureza; (Análise e Desenvolvimento de Sistemas) - Universidade do Estado de Santa Catarina; Orientador: Ricardo Ferreira Martins;

Produções bibliográficas

LEAL, A. B. ; SOUSA, A. L. ; MARTINS, R. F. ; Sá, C.C. . Proposta de um Sistema de Apoio à Tomada de Decisão para o Monitoramento Remoto de Centrais de Alarme Patrimoniais. Revista Brasileira de Computação Aplicada , v. 3, p. 17-29, 2011.
CAMARGO, M. S. de ; SCHEFFEL, R. M. ; MARTINS, R. F. . Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , Elsevier Science B. V., v. 14, p. 62-85, 1998.
LEAL, A. B. ; SOUSA, A. L. ; MARTINS, R. F. . Monitoramento de Centrais de Alarmes Patrimoniais. 1. ed. Novas Edições Acadêmicas, 2017. v. 1. 148p .
Krischanski, A. ; LOPES, Y. K. ; LEAL, A. B. ; MARTINS, R. F. ; Roberto Silvio Ubertino Rosso Junior . Multi-Instance Task in Swarm Robotics: Sorting Groups of Robots or Objects into Clusters with Minimalist Controllers. In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023, Detroit. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023.
FLORENCIO, JONATHAN LOPES ; LEAL, ANDRE BITTENCOURT ; MARTINS, RICARDO FERREIRA ; LOPES, YURI KASZUBOWSKI . A Framework for Automatic Coordination of Request-Oriented Deployment of Multi-UAV with Cost Optimization. In: 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC), 2018, London. 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC), 2018. p. 1.
MARTINS, RICARDO F. ; DE ALMEIDA, GIAN L. N. ; LEAL, ANDRE B. . Towards automatic code generation for UAV mission planning using decision sensors. In: 2017 International Conference on Unmanned Aircraft Systems (ICUAS), 2017, Miami. 2017 International Conference on Unmanned Aircraft Systems (ICUAS), 2017. p. 682-689.
MARTINS, R. F. ; ALMEIDA, G. L. N. ; LEAL, A. B. . Planejamento de missões de VANTs utiizando modelagem por SEDs e sensores de decisão. In: Simpósio Brasileiro de Automação Inteligente, 2017, Porto Alegre - RS. XIII Simpósio Brasileiro de Automação Inteligente, 2017.
LEAL, A. B. ; NOVELETTO, F. ; NASCIMENTO, G. ; PEDROSO, M. ; MARTINS, R. F. ; WEINERT, R. L. . Inclusão Social por Intermédio da Ciência e Tecnologia. In: 32º Seminário de Extensão Universitária da Região Sul - SEURS, 2014, Curitiba - PR. Anais do 32º Seminário de Extensão Universitária da Região Sul - SEURS, 2014. p. 1-6.
SOUSA, A. L. ; LEAL, A. B. ; MARTINS, R. F. . Sistema de Apoio à Decisão para o Monitoramento Remoto de Centrais de Alarmes Patrimoniais. In: XVIII Congresso Brasileiro de Automática - CBA 2010, 2010, Bonito - MS. Anais do XVIII Congresso Brasileiro de Automática - CBA 2010, 2010. p. 542-549.
Pillon, M. A. ; MARTINS, R. F. ; VOLPATO, F. ; SOUSA, A. . Proposta de baixo custo para controle de equipamentos elétricos residenciais através de dispositivos móveis. In: Computer On The Beach 2010, 2010, Florianópolis - SC. Computer On The Beach 2010, 2010.
Pillon, M. A. ; PAIVA, V. R. ; MARTINS, R. F. . Detecção de Intrusos via WebCam com Alerta por Mensagens Eletrônicas. In: V SULCOMP - Congresso Sul Brasileiro de Computação, 2010, Criciuma - SC. V SULCOMP - Congresso Sul Brasileiro de Computação, 2010.
SOUSA, A. L. ; LEAL, A. B. ; Sá, C.C. ; MARTINS, R. F. . Sistema de Apoio à Tomada de Decisão para o Monitoramento de Alarmes Patrimoniais Utilizando Indução de Árvores de Decisão. In: IX Simpósio Brasileiro de Automação Inteligente (SBAI 2009), 2009, Brasília - DF. IX Simpósio Brasileiro de Automação Inteligente, 2009. v. 9. p. 25-30.
SOUSA, A. L. ; MARTINS, R. F. ; LEAL, A. B. ; Sá, C.C. . Proposta de um Sistema de Apoio à Tomada de Decisão para o Monitoramento Remoto de Centrais de Alarme Patrimoniais. In: Simpósio de Computação Aplicada (SCA 2009), 2009, Passo Fundo - RS. Simpósio de Computação Aplicada (SCA 2009), 2009. p. 1-15.
MARTINS, R. F. ; KOLIVER, C. ; FARINES, J.-M. . Um Mecanismo de Controle Adaptativo com Requisitos de Justiça. In: 23o. Simpósio Brasileiro de Redes de Computadores, 2005, Fortaleza. Anais do SBRC 2005, 2005. v. 1.
MARTINS, R. F. ; LEITE, C. A. B. B. ; FARINES, J.-M. . Towards Quality Evaluation and Improvement of a MPEG Video Stream. In: 3rd IEEE Latin American Network Operations and Management Symposium, 2003, Foz do Iguaçu. Proc. of LANOMS 2003, 2003. v. 1. p. 175-182.
CAMARGO, M. S. de ; MARTINS, R. F. ; SCHEFFEL, R. M. ; FARINES, J.-M. . Specification, Verification and Validation of Time-Dependent Systems using a Timed Process Algebra Approach. In: I Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre. Anais do I Workshop Brasileiro de Métodos Formais, 1998. v. 1. p. 17-33.
MARTINS, R. F. . E-LOTOS - Aprimoramentos da linguagem LOTOS. In: II Workshop do Projeto DAMD - Design de Aplicações Multimídia Distribuídas, 1997, Florianópolis. Anais do II Workshop do Projeto DAMD, 1997.
MARTINS, R. F. ; CAMARGO, M. S. de ; FARINES, J.-M. . Uma ferramenta para auxílio no processo de Verificação de Especificações escritas em RT-LOTOS. In: Simpósio Brasileiro de Engenharia de Software, 1996, São Carlos. X SBES - Simpósio Brasileiro de Engenharia de Software. São Paulo: Divisão de Artes Gráficas da Coordenadoria de Comunicação Social da USP, 1996. p. 259-274.
LEAL, A. B. ; WATANABE, A. T. Y. ; MARTINS, R. F. ; BELOLI, A. S. R. ; FLORENCIO, J. L. ; PEDRINI, R. . Robótica e Educação: Aproximando o Ensino Médio do Superior. In: 6º Congresso Nacional de Extensão Universitária, 2012, Londrina - PR. 6º Congresso Nacional de Extensão Universitária, 2012. p. 1-2.
RAMOS, F. ; LEAL, A. B. ; MARTINS, R. F. . Ambiente de coordenação de missões de VANTs. In: 29º Seminário de Iniciação Científica da UDESC - SIC 2019, 2019, Joinville. Anais do 29º Seminário de Iniciação Científica da UDESC, 2019.
FERREIRA, V. L. ; MARTINS, R. F. ; LEAL, A. B. . Implementação de Sensores Complementares para Auxílio à Tomada de Decisões em Missões de VANTs. In: 28º Seminário de Iniciação Científica da UDESC, 2018, Joinville. Anais do 28º Seminário de Iniciação Científica da UDESC, 2018. p. 1-2.
ALMEIDA, G. L. N. ; MARTINS, R. F. ; LEAL, A. B. . Caracterização de pontos de tomada de decisão em missões de VANTs modeladas por autômatos de estados finitos. In: 26° Seminário de Iniciação Científica - SIC, 2016, Joinville - SC. 26° Seminário de Iniciação Científica - SIC, 2016.
NAKATA, G. T. ; MARTINS, R. F. ; LEAL, A. B. . Desenvolvimento de sistemas de simulação e monitoramento de voo de VANTs. In: 26° Seminário de Iniciação Científica - SIC, 2016, Joinville - SC. 26° Seminário de Iniciação Científica - SIC, 2016.
BERNARDI, G. V. ; MARTINS, R. F. ; LEAL, A. B. . Localização e controle de posicionamento de VANTs. In: 26° Seminário de Iniciação Científica - SIC, 2016, Joinville - SC. 26° Seminário de Iniciação Científica - SIC, 2016.
MARTINS, R. F. ; ALMEIDA, G. L. N. ; LEAL, A. B. . Towards Automatic Code Generation for UAV Mission Planning using Decision Sensors. 2017. (Apresentação de Trabalho/Conferência ou palestra).
ALMEIDA, G. L. N. ; MARTINS, R. F. ; LEAL, A. B. . Caracterização de pontos de tomada de decisão em missões de VANTs modeladas por autômatos de estados finitos. 2016. (Apresentação de Trabalho/Seminário).
BERNARDI, G. V. ; MARTINS, R. F. ; LEAL, A. B. . Localização e controle de posicionamento de VANTs. 2016. (Apresentação de Trabalho/Seminário).
Souza, A. L. de ; LEAL, A. B. ; MARTINS, R. F. . Sistema de Apoio à Decisão para o Monitoramento Remoto de Centrais de Alarmes Patrimoniais. 2010. (Apresentação de Trabalho/Congresso).
MARTINS, R. F. ; KOLIVER, C. ; FARINES, J.-M. . Um Mecanismo de Controle Adaptativo com Requisitos de Justiça. 2005. (Apresentação de Trabalho/Simpósio).
MARTINS, R. F. ; LEITE, C. A. B. B. ; FARINES, J.-M. . Towards Quality Evaluation and Improvement of a MPEG Video Stream. 2003. (Apresentação de Trabalho/Simpósio).
MARTINS, R. F. . Aprimoramentos da linguagem LOTOS. 1997. (Apresentação de Trabalho/Outra).
MARTINS, R. F. ; CAMARGO, M. S. de ; FARINES, J.-M. . Uma ferramenta para auxílio no processo de Verificação de Especificações escritas em RT-LOTOS. 1996. (Apresentação de Trabalho/Simpósio).

Outras produções

ALMEIDA, G. L. N. ; MARTINS, R. F. ; LEAL, A. B. ; LOPES, Y. K. . nadzoru::VANTs. 2015.

Projetos de pesquisa

2015 - 2019

Criação de uma infraestrutura para o desenvolvimento de pesquisas sobre o uso de VANTs em aplicações de interesse para o Estado de Santa Catarina, Descrição: O uso de Veículos Aéreos Não Tripulados na sociedade vem se destacando, sendo possível observar diversas áreas de aplicação, tais como: operações de busca e resgate; inspeção de turbinas eólicas e linhas de transmissão de energia elétrica; planejamento e execução obras (construção civil); análise e acompanhamento de cultivos (agricultura); entre outras. Em todos esses exemplos, existem desafios em comum, pois questões relacionadas ao controle de estabilidade, planejamento de voo, acompanhamento e ajuste de trajetória, bem como o gerenciamento de situações de falha, são fundamentais para garantir a realização de um voo seguro. Para realizar qualquer missão, um VANT necessita de requisitos de sistemas robóticos, no sentido de a operação ser realizada de forma parcial ou totalmente autônoma, sendo necessário o uso de sensores embarcados para coletar informações relevantes a tomada de decisões em pleno voo. Neste projeto, serão consideradas duas frentes de investigação: controle de VANTs e planejamento/execução de voos autônomos em VANTs. Na primeira, o objetivo consiste em investigar a possibilidade de desenvolvimento de um sistema embarcado de uma aeronave que, na prática, apresente usabilidade suficiente para que o usuário não perceba mudanças na utilização, devido a variações paramétricas normais ao voo. Para isso, objetiva-se apresentar uma solução de instrumentação e de sistema embarcado para uma aeronave que apresenta variações paramétricas durante o voo, como por exemplo o carregamento de um tanque para pulverização de inseticidas. Já a segunda consiste em investigar o uso de técnicas de verificação formal para fins de planejamento de missões com dois ou mais VANTs. Serão estudadas e desenvolvidas técnicas para o planejamento de missões conjuntas, pois toda a diversidade de aplicações associada a VANTs depende de um controle preciso quanto a interação de aeronaves que podem atuar numa região próxima. De forma análoga ao controle de tráfego aéreo de uma região, onde um controlador de voo deve acompanhar qualquer aeronave que seja identificada no seu espaço aéreo, os VANTs que ocupam regiões comuns devem adotar um mecanismo de controle de tráfego aéreo que verifique permanentemente a relação entre os seus planos de voo. Será proposto o uso de modelos e técnicas de verificação formais estáticas, considerando o detalhamento das missões registradas, procurando identificar regiões de conflito. Outra forma de verificação, agora dinâmica, deverá ser realizada, considerando o momento que cada missão foi iniciada, e a relação entre elas (quanto ao posicionamento dos veículos). As missões serão modeladas através de teorias baseadas em especificações formais, como Autômatos e Redes de Petri. Já o processo de verificação deverá contemplar as necessidades estáticas, onde os conceitos e propriedades associados a matemática discreta serão uteis, e as necessidades dinâmicas demandam o uso de métodos de verificação formal baseados no domínio do tempo... , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado profissional: (1) / Doutorado: (1) . , Integrantes: Ricardo Ferreira Martins - Integrante / André Bittencourt Leal - Coordenador / Mariana Santos Matos Cavalca - Integrante.
2008 - 2010

MCR - Monitoração e Controle Residencial automático modelado a partir do comportamento dos moradores ou de intrusos, Descrição: Durante as décadas de 80 e 90, muitas produções cinematográficas mostraram aplicações de automação residencial, onde equipamentos tomavam decisões ou, simplesmente, sugeriam ações aos seus proprietários. Atualmente, devido ao avanço da tecnologia de sistemas embarcados, redes de computadores e sistemas distribuídos, estes equipamentos realmente obtiveram vida . É possível encontrar sistemas de processamento autônomo em relógios, canetas, chaveiros, eletrodomésticos, etc. Mesmo assim, a automação residencial restringe-se, ainda hoje, à observação remota e acionamento de alguns equipamentos. São muitas as aplicações promovidas por estes equipamentos, por exemplo, a acessibilidade e o fornecimento de sistemas de segurança. Sensores instalados em uma determinada área auxiliam as pessoas com necessidades especiais a efetuarem tarefas do dia-a-dia ou identificam intrusos e aberturas violadas. Caso o inesperado aconteça, o sistema pode comunicar ao responsável externo à casa que a pessoa com necessidades especiais está precisando de ajuda ou que o imóvel está sob suspeita de invasão. Neste projeto, tem-se como objetivo a investigação de tecnologias relacionadas à implantação de sistemas de automação residencial vinculadas às áreas de redes de computadores e sistemas distribuídos. O funcionamento do sistema depende, sobretudo, da harmonia na integração: dos sensores de captação com os atores de atuação de eventos, dos sensores de captação de eventos entre eles e dos atores de atuação de eventos entre eles. Portanto, a necessidade de comunicação entre estes elementos é obvia, porém as suas ligações não são triviais, variando conforme o meio de comunicação e o ambiente. Existem trabalhos que já abordaram o estudo de infra-estrutura de redes de computadores sem fio em ambientes específicos, tais como hospitais, e a preocupação com o bem-estar dos indivíduos vem sendo foco quando são observadas as condições do dia-a-dia dos ambientes residenciais das pessoas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado profissional: (1) . , Integrantes: Ricardo Ferreira Martins - Integrante / Maurício Aronne Pillon - Coordenador / Claudio Cesar de Sá - Integrante / Alex Luis de Souza - Integrante.

Histórico profissional

Endereço profissional

Universidade do Estado de Santa Catarina, Centro de Ciências Tecnológicas, Departamento de Ciência da Computação. , Campus Universitário Prof. Avelino Marcante s/n - Bloco F - Sala F209B, Bom Retiro, 89223100 - Joinville, SC - Brasil, Telefone: (47) 34817832, URL da Homepage:

Experiência profissional

1997 - Atual

Universidade do Estado de Santa Catarina

Vínculo: Servidor Público, Enquadramento Funcional: Professor Efetivo, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

01/2015
Pesquisa e desenvolvimento, Centro de Ciências Tecnológicas.Linhas de pesquisa
08/1997
Ensino, Bacharelado em Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Arquitetura de Computadores, Empreendedorismo em Informática, Introdução à Ciência da Computação, Linguagens Formais e Compiladores, Linguagens Formais e Máquinas, Processamento de Dados, Redes de Computadores, Sistemas Multimídia

1996 - 1997

Universidade Federal de Santa Catarina

Vínculo: Outro, Enquadramento Funcional: Outro (Bolsista DTI - CNPq), Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/1996 - 07/1997
Pesquisa e desenvolvimento, Centro Tecnológico, Departamento de Engenharia Elétrica.Linhas de pesquisa

1993 - 1993

Companhia de Telecomunicações do Brasil Central

Vínculo: Outro, Enquadramento Funcional: Engenheiro, Carga horária: 20

Atividades

03/1993 - 12/1993
Serviços técnicos especializados , Cso, Uberlândia.Serviço realizado, Sistema de TeleSupervisão (atualização e documentação).