Neste post, depois do processo de modelagem e síntese do controlador (Post anterior), o objetivo agora é integrar ao Arduino o código gerado pelo Heptagon/BZR. Let’s go! 🙂
Leia mais Programação de veículos autônomos com linguagem BZR (Parte 2)O Heptagon é um software para a modelagem de sistemas de eventos discretos (SEDs) que utiliza a linguagem BZR para a verificação das propriedades dos SEDs e síntese de controladores para SEDs. Neste post apresentaremos em duas partes o desenvolvimento de um veículo autônomo utilizando o Heptagon/BZR, sintetizando automaticamente o controlador e integrando o código gerado ao Arduino.
Leia mais Programação de veículos autônomos com linguagem BZR (Parte 1)O projeto Gardenino permite a automação da irrigação de plantações de pequeno porte, tais como hortas domésticas. Baseado em horários pré-definidos e na presença de água em um reservatório, realiza-se o acionamento do relé, que por sua vez liga a bomba para a irrigação da horta. Uma mensagem pelo twitter é enviada automaticamente com uma […]
Leia mais Gardenino (Irrigação Automatizada)O HUBIr tem como objetivo facilitar o manuseio de um ou mais dispositivo comandados por tecnologia de infravermelho, podendo ser aplicado em ambientes residenciais ou corporativos. Utiliza o kit de desenvolvimento NodeMCU, baseada no modulo ESP8266, e tecnologias de Internet of Thing.
Leia mais HUBIr – Controle dispositivos através de comandos Infravermelho
Juá Labs 