Conference icon

Conference

Optimal assumptions for synthesis

Abstract:

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 can lead to assumptions that are stronger than necessary. As a consequence the generated controllers are suboptimal in terms of robustness. In this work, given a specification, we identify the weake...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Publisher's version

Actions


Access Document


Files:
Publisher copy:
10.4230/LIPIcs.CONCUR.2016.8

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Publisher:
Schloss Dagstuhl Publisher's website
Volume:
59
Pages:
Article No. 8; pp. 8:1–8:15
Series:
Leibniz International Proceedings in Informatics
Publication date:
2016
DOI:
ISSN:
1868-8969
URN:
uuid:e552283e-9f8b-4700-b546-476d2efb7862
Source identifiers:
631070
Local pid:
pubs:631070
ISBN:
978-3-95977-017-0

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP