Synthesis from component libraries with costs

Guy Avni, Orna Kupferman

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

10 Scopus citations


Synthesis is the automated construction of a system from its specification. In real life, hardware and software systems are rarely constructed from scratch. Rather, a system is typically constructed from a library of components. Lustig and Vardi formalized this intuition and studied LTL synthesis from component libraries. In real life, designers seek optimal systems. In this paper we add optimality considerations to the setting. We distinguish between quality considerations (for example, size - the smaller a system is, the better it is), and pricing (for example, the payment to the company who manufactured the component). We study the problem of designing systems with minimal quality-cost and price. A key point is that while the quality cost is individual - the choices of a designer are independent of choices made by other designers that use the same library, pricing gives rise to a resource-allocation game - designers that use the same component share its price, with the share being proportional to the number of uses (a component can be used several times in a design). We study both closed and open settings, and in both we solve the problem of finding an optimal design. In a setting with multiple designers, we also study the game-theoretic problems of the induced resource-allocation game.

Original languageAmerican English
Title of host publicationConcurrency Theory - 25th International Conference, CONCUR 2014, Proceedings
PublisherSpringer Verlag
Number of pages17
ISBN (Print)9783662445839
StatePublished - 2014
Event25th International Conference on Concurrency Theory, CONCUR 2014 - Rome, Italy
Duration: 2 Sep 20145 Sep 2014

Publication series

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


Conference25th International Conference on Concurrency Theory, CONCUR 2014


Dive into the research topics of 'Synthesis from component libraries with costs'. Together they form a unique fingerprint.

Cite this