Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: heptagon-bzr
rohankalbag/cs684-iitb
Embedded Systems - Spring Semester 2023 - Indian Institute of Technology Bombay
Language: C - Size: 806 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - 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: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0
ddefb/Smart-Environment
Controller of a smart home using discrete controller synthesis techniques Heptagon/BZR.
Language: C - Size: 973 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0
jualabs/dcs
Code of my course on discrete control synthesis.
Language: C - Size: 2.33 MB - Last synced: over 1 year ago - Pushed: over 4 years ago - Stars: 2 - Forks: 0