jualabs / dcs Star 4 Code Issues Pull requests 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
ddefb / Smart-Environment Star 2 Code Issues Pull requests Controller of a smart home using discrete controller synthesis techniques Heptagon/BZR. controller allegro smart-home synthesis dcs bzr sigali discrete-event-systems heptagon-bzr Updated Sep 17, 2019 C
ddefb / PGIA7336 Star 1 Code Issues Pull requests PGIA7336 Course - Discrete Event System - Supervisory Control Theory with the Heptagon/BZR compiler. control-systems iot-application precision-agriculture heptagon sigali discrete-event-systems heptagon-bzr Updated Sep 9, 2019 Python