Skip to content
/ Juarobot Public

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

License

Notifications You must be signed in to change notification settings

ddefb/Juarobot

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

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

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published