|
|
|
MTSA supports a synthesising behaviour models that control a given plant to satisfy a given property.
|
|
|
|
|
|
|
|
* [Supervisory Control](enduser/supervisoryControl)
|
|
|
|
* [Reactive Synthesis](enduser/reactiveSynthesis)
|
|
|
|
* [DCS](enduser/DCS) |
|
|
\ No newline at end of file |
