Supremica - 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:

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