Code of my course on discrete control synthesis.
control-systems
control-theory
heptagon
sigali
discrete-event-systems
heptagon-bzr
discrete-control-synthesis
-
Updated
Oct 10, 2019 - C
Code of my course on discrete control synthesis.
Controller of a smart home using discrete controller synthesis techniques Heptagon/BZR.
PGIA7336 Course - Discrete Event System - Supervisory Control Theory with the Heptagon/BZR compiler.
Add a description, image, and links to the sigali topic page so that developers can more easily learn about it.
To associate your repository with the sigali topic, visit your repo's landing page and select "manage topics."