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).
Reach out to me at one of the following places!
- MIT license
- Copyright 2019 © Diego Bezerra.