Topic: "heptagon-bzr"
jualabs/dcs
Code of my course on discrete control synthesis.
Language: C - Size: 2.33 MB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0
ddefb/Smart-Environment
Controller of a smart home using discrete controller synthesis techniques Heptagon/BZR.
Language: C - Size: 973 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
ddefb/PGIA7336
PGIA7336 Course - Discrete Event System - Supervisory Control Theory with the Heptagon/BZR compiler.
Language: Python - Size: 25.3 MB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
rohankalbag/model-based-embedded-system-design
Embedded Systems - Spring Semester 2023 - Indian Institute of Technology Bombay
Language: C - Size: 806 KB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
