#

heptagon-bzr

Here are 4 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

ddefb / PGIA7336

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

rohankalbag / model-based-embedded-system-design

Embedded Systems - Spring Semester 2023 - Indian Institute of Technology Bombay

arduino atmega328p embedded-systems lustre finite-state-automata embedded-c yakindu-statechart model-based-design heptagon-bzr

Updated May 10, 2023
C

Improve this page

Add a description, image, and links to the heptagon-bzr 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 heptagon-bzr topic, visit your repo's landing page and select "manage topics."