sigali

There are 3 repositories under sigali topic.

  • jualabs/dcs

    Code of my course on discrete control synthesis.

    Language:C4300

  • ddefb/Smart-Environment

    Controller of a smart home using discrete controller synthesis techniques Heptagon/BZR.

    Language:C2100

  • ddefb/PGIA7336

    PGIA7336 Course - Discrete Event System - Supervisory Control Theory with the Heptagon/BZR compiler.

    Language:Python1100