/Juarobot

Supervisory Control Theory with the Heptagon/BZR compiler applied to the synthesis of a robot.

Primary LanguageCMIT LicenseMIT

About

Federal Rural University of Pernambuco
Master's Degree Programme in Applied Informatics
Computational Infrastructure Research Laboratory

This repository presents the modeling of a controller based on the Supervisory Control Theory. After modeling in BZR language, the controller was synthesized using the Heptagon/BZR and Sigali tools. The controller was deployed in an Arduino UNO to control the movement of a 4WD Robot Car using a distance sensor (SR-04).

A tutorial for the development process is presented in our web site (Portuguese).

Robot

Robot photo

Support

Reach out to me at one of the following places!

License

License