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...
| Hlavní autor: | |
|---|---|
| Médium: | Conference item |
| Vydáno: |
Schloss Dagstuhl
2016
|