Marcus Vinícius de Faria Santos

Idiomas

Áreas de atuação

Participação em eventos

Produções bibliográficas

• Santos, Marcus ; FILHO, MADIEL CONSERVA ; SAMPAIO, AUGUSTO . A Model-based Approach to the Development and Verification of Robotic Systems for Competitions. In: 2023 Latin American Robotics Symposium (LARS), 2023 Brazilian Symposium on Robotics (SBR), and 2023 Workshop on Robotics in Education (WRE), 2023, Salvador. 2023 Latin American Robotics Symposium (LARS), 2023 Brazilian Symposium on Robotics (SBR), and 2023 Workshop on Robotics in Education (WRE), 2023. p. 236.

• SANTOS, M. V. F. ; GARROCHO, C. T. B. . Abrindo e Fechando Portas IoT no Nevoeiro com Blockchain. In: Seminário de Iniciação Científica e Extensão, 2019, Ouro Branco. IV Seminário de Iniciação Científica e Extensão, 2019.

• VIEIRA, V. M. R. ; SANTOS, M. V. F. ; GARROCHO, C. T. B. . SeLPI: Um Middleware para a Intermediação da Execução de Serviços para Dispositivos da Internet das Coisas de Baixa Performance. In: VIII Seminário de Iniciação Científica, 2019, Ribeirão das Neves. VIII Seminário de Iniciação Científica, 2019.

• SANTOS, M. V. F. ; CONSERVA FILHO, M. ; SAMPAIO, A. C. A. . Model-based Approach to the Development and Verification of Robotic Systems for Competitions. 2023. (Apresentação de Trabalho/Simpósio).

Projetos de pesquisa

• 2022 - Atual

  Modelagem, Simulação, Verificação e Implementação de um Sistema de Decisão para Robôs Móveis Autônomos: um estudo de caso aplicado à confecção, prototipação e aplicação de veículos aéreos não tripulados (VANTs), Descrição: Com a evolução da tecnologia, a rápida expansão da 4 Revolução Industrial e a crescente demanda por melhorias, como aceleração, monitoramento, controle e automação, em aplicações, novos sistemas e áreas de pesquisa têm obtido cada vez mais relevância, dentre elas: os Robôs Móveis Autônomos (em inglês, Autonomous Mobile Robots - AMRs). AMRs possuem grande variedade de formas e aplicações, e sua implementação requer a integração de múltiplos campos de conhecimento como cinemática, dinâmica, sistemas de controle, visão computacional, mapeamento e localização, aprendizagem de máquinas, modelos probabilísticos, dentre outros. Um sistema de navegação autônoma para um robô móvel pode ser representado por uma combinação de múltiplos subsistemas que implementam diferentes funcionalidades com base em características, capacidades e objetivos da plataforma robótica. Um esquema de navegação inclui sensores captam informações a respeito do ambiente físico e seus dados são tratados e interpretados, juntamente com informações prévias sobre este ambiente, a fim de obter um mapa do local e as devidas localização e orientação do robô neste mapa. Tendo conhecimento sobre sua atual posição e recebendo comandos sobre as tarefas que deve executar, é realizado o planejamento da trajetória a ser percorrida, sendo este interpretado por algoritmos de controle e transformado em comandos para os atuadores, executando, assim, ações físicas e realizando a movimentação do robô ou de veículo não tripulado (VANT). Os papéis de cognição e comando do sistema são comumente implementados por máquinas de estados finitas, utilizando informações do subsistema de percepção para definir transições e estados e resultando em ações que fornecem comandos para o sistema de navegação e demais atuadores. Neste contexto, foi desenvolvida linguagem RoboChart, uma linguagem de domínio-específico baseada em Unified Modeling Language (UML), porém com um conjunto restrito de construtores para a simplificação de semânticas e automação de lógicas, com o objetivo de aplicar técnicas modernas de verificação de sistemas. O processo de modelagem de máquinas de estados conta com o uso de diversos conceitos, regras e terminologias, mas, apesar de apresentarem propriedades para garantir robustez, versatilidade e escalabilidade, estes autômatos ainda podem ocasionar situações indesejáveis como deadlocks, livelocks e timelocks. Tais condições são comumente provocadas por inconsistências na implementação e, quanto maior a complexidade do sistema, mais difícil se torna a previsão destes eventos por parte do desenvolvedor, requerendo análises exaustivas e, por vezes, ineficientes. Por isso, a definição de restrições, a formalização de semânticas e sintaxes precisas, e o conhecimento sobre as capacidades e limitações do sistema são essenciais para evitar estes efeitos. Além disso, o uso de ferramentas de simulação, análise e verificação são de grande contribuição na modelagem destes sistemas. Mesmo após testes e simulações, o processo de implantação de uma máquina de estados em uma plataforma robótica ainda exige adaptações e ajustes para lidar com as diferenças de realidade entre a simulação, a plataforma e o ambiente. Assim, a validação do autômato no ambiente real também é uma etapa indispensável para a avaliação da modelagem realizada. Este projeto tem como principal objetivo a especificação do controle de um veículo aéreo não tripulado (VANT) usando a linguagem RoboChart por suas variáveis, eventos e operações. Adicionalmente, os autômatos modelados serão validados por simulação do VANT.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Doutorado: (1) . , Integrantes: Marcus Vinícius de Faria Santos - Integrante / Madiel Conserva Filho - Integrante / Augusto Cezar Alves Sampaio - Coordenador., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Bolsa.

• 2019 - 2021

  Brigadista Aéreo, Descrição: O projeto objetivava a construção de um drone que auxiliasse os membros da brigada de incêndio voluntária Carcará, da cidade de Ouro Branco - MG, a combater incêndios florestais no Parque Estadual da Serra de Ouro Branco. O drone, para isso, contaria com diversos módulos que poderiam ser encaixados ou removidos e, com isso, alterar suas funções, indo desde auxílio no transporte de marmitas até monitoramento aéreo.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Marcus Vinícius de Faria Santos - Coordenador / Rodrigo Barbosa Teixeira - Integrante., Financiador(es): Gerdau Açominas - Auxílio financeiro.

• 2019 - 2019

  Projeto, Desenvolvimento e Avaliação de um Middleware para Gerenciamento e Execução de Serviços em Dispositivos da Nuvem, Névoa, Orvalho e Coisas, Descrição: Um grande volume de dados (big data) gerado pelos dispositivos da Internet das Coisas (IoT), é esperado nos próximos anos. Este cenário cria desafios para enviar, processar e armazenar todos os dados na nuvem. Para resolver tais desafios, trabalhos recentes propõem uma descentralização do processamento e armazenamento em dispositivos próximos do usuário. Entretanto, nem sempre um dispositivo próximo do usuário pode executar serviços com o mesmo desempenho que dispositivos da nuvem e névoa. Com o objetivo de identificar o dispositivo ideal para execução de um serviço, é proposto o desenolvimento de um middleware capaz de gerenciar e intermediar a execução de serviços em dispositivos da nuvem, névoa, orvalho e coisas. Para avaliar a viabilidade do middleware, é proposto uma prova de conceito voltada a IoT, na qual será possível avaliar na prática a execução de serviços com a intermediação do middleware proposto. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Marcus Vinícius de Faria Santos - Integrante / Charles Tim Batista Garrocho - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Prêmios