On high-quality synthesis

Orna Kupferman*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations

Abstract

In the synthesis problem, we are given a specification ψ over input and output signals, and we synthesize a system that realizes ψ: with every sequence of input signals, the system associates a sequence of output signals so that the generated computation satisfies ψ. The above classical formulation of the problem is Boolean. First, correctness is Boolean: a computation satisfies the specification ψ or does not satisfy it. Then, other important and interesting measures like the size of the synthesized system, its robustness, price, and so on, are ignored. The paper surveys recent efforts to address and formalize different aspects of quality of synthesized systems. We start with multi-valued specification formalisms, which refine the notion of correctness and enable the designer to specify quality, and continue to the quality measure of sensing: the detail in which the inputs should be read in order to generate a correct computation. The first part is based on the articles [1-3]. The second part is based on [4,5].

Original languageAmerican English
Title of host publicationComputer Science - Theory and Applications - 11th International Computer Science Symposium in Russia, CSR 2016, Proceedings
EditorsGerhard J. Woeginger, Alexander S. Kulikov
PublisherSpringer Verlag
Pages1-15
Number of pages15
ISBN (Print)9783319341705
DOIs
StatePublished - 2016
Event11th International Computer Science Symposium in Russia, CSR 2016 - St. Petersburg, Russian Federation
Duration: 9 Jun 201613 Jun 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9691
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference11th International Computer Science Symposium in Russia, CSR 2016
Country/TerritoryRussian Federation
CitySt. Petersburg
Period9/06/1613/06/16

Bibliographical note

Funding Information:
The research leading to these results has received funding from the European Research Council under the European Union’s Seventh Framework Programme (FP7/2007-2013)/ERC grant agreement no. 278410, and from The Israel Science Foundation (grant no. 1229/10).

Publisher Copyright:
© Springer International Publishing Switzerland 2016.

Fingerprint

Dive into the research topics of 'On high-quality synthesis'. Together they form a unique fingerprint.

Cite this