Discrete Event Controller Synthesis

This is an old version of this page. You can view the most recent version or browse the history.

MTSA supports a synthesising behaviour models that control a given plant to satisfy a given property.