Programação de veículos autônomos com linguagem BZR (Parte 2)

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! 🙂

Anúncios
Leia Mais "Programação de veículos autônomos com linguagem BZR (Parte 2)"

Programação de veículos autônomos com linguagem BZR (Parte 1)

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)"

Gardenino (Irrigação Automatizada)

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)"