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

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.