/Smart-Environment

Controller of a smart home using discrete controller synthesis techniques Heptagon/BZR.

Primary LanguageC

About

This repository presents a reproduction of the scenario presented by Zhao et al (2013). After modeling in BZR language, the controller was synthesized using the Heptagon/BZR and Sigali tools. The GUI was developed using the cross-platform library mainly aimed at video game and multimedia programming: Allegro.

Screenshot

Screenshot

Clone

clone this repo to your local machine using

$ git clone `https://github.com/ddefb/Smart-Environment`

Setup

For run this project with the stable branch, run the commands above in you terminal:

add this repository first:

$ sudo add-apt-repository ppa:allegro/5.2

now update and install the Allegro packages:

$ sudo apt-get update
$ sudo apt-get install liballegro5-dev

Build and run the binary file

go to PGIA7336/P5 folder

$ cd ~/PGIA7336/P5

and run the make command:

$ make

run the command above to execute the binary file:

$ ./_main

License

License