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 0 additions and 4 deletions
enduser/Discrete-Event-Controller-Synthesis.md
View page @ 8f8dd288
MTSA supports a synthesising behaviour models that control a given plant to satisfy a given property. The plant is defined using an FSP composite process. The property is defined using the controllerSpec keyword. MTSA supports a synthesising behaviour models that control a given plant to satisfy a given property. The plant is defined using an FSP composite process. The property is defined using the controllerSpec keyword.
```
controller ||CONTROLLER = (PLANT)~{SPECIFICATIONS}.
```
# GR1 # GR1
For GR1 controller synthesis specification includes various items For GR1 controller synthesis specification includes various items
......