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
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Forschelen, Stefan T.J.; van de Mortel-Fronczak, Joanna M.; Su, Rong; Rooda, Jacobus E.: Application of supervisory control theory to theme park vehicles (2012)