Skip to content

GitLab

Discrete Event Controller Synthesis · Changes

Page history
Update Discrete Event Controller Synthesis authored by Sebastian Uchitel's avatar Sebastian Uchitel
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 0 deletions
enduser/Discrete-Event-Controller-Synthesis.md
View page @ c594c0d8
MTSA supports a synthesising behaviour models that control a given plant to satisfy a given property.
* [Supervisory Control](enduser/supervisoryControl) * [Supervisory Control](enduser/supervisoryControl)
* [Reactive Synthesis](enduser/reactiveSynthesis) * [Reactive Synthesis](enduser/reactiveSynthesis)
* [DCS](enduser/DCS) * [DCS](enduser/DCS)
\ No newline at end of file