SuSyNA

SuSyNA: This page contains information about the Supervisor Synthesis for Nondeterministic Automata (SuSyNA) tools. It contains a set of algorithms to compute event-based supervisors from plants and requirements.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element