Optimal assumptions for synthesis
Controller synthesis is the automatic construction a correct system from its specification. This often requires assumptions about the behaviour of the environment. It is difficult for the designer to identify the assumptions that ensures the existence of a correct controller, and doing so manually c...
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
Schloss Dagstuhl
2016
|