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...
| Үндсэн зохиолч: | |
|---|---|
| Формат: | Conference item |
| Хэвлэсэн: |
Schloss Dagstuhl
2016
|