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