Diego Bezerra's repositories
Smart-Environment
Controller of a smart home using discrete controller synthesis techniques Heptagon/BZR.
Federal University of Pernambuco
Recife, Brazil
https://br.linkedin.com/in/diegodefb
Controller of a smart home using discrete controller synthesis techniques Heptagon/BZR.