#

sigali

Here are 2 public repositories matching this topic...

jualabs / dcs

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

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

Improve this page

Add a description, image, and links to the sigali topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sigali topic, visit your repo's landing page and select "manage topics."