Supremica

Supremica is a tool that helps engineers to develop efficient, robust control systems. Supremica is available for free for education and research.

Supremica is a tool for formal verification and synthesis for control systems

Typical situation of how Supremica can be used:

  1. Build a model of the uncontrolled system.
  2. Build specifications of how the closed-loop control system is supposed to behave.
  3. Let Supremica generate a supervisor that restricts the uncontrolled system such that the closed-loop system fulfills the specifications.
  4. Let Supremica generate executable code that can be executed by any IEC 61131 compatible PLC.

Screenshot of Supremica running an Automated Guided Vehicle simulation.