The Unknown Component Problem : Theory and Applications

By: Tiziano Villa, Nina Yevtushenko, Robert K. Brayton

Write A Review

Hardcover | 1 March 2008

At a Glance

Hardcover
328 Pages

Dimensions(cm)
25.4 x 15.24 x 2.54

Hardcover

$299.00

or 4 interest-free payments of $74.75 with

Ships in 5 to 7 business days

Consider the problem of designing a component that combined with a known part of a system, called the context, conforms to a given overall specification. This question arises in several applications ranging from logic synthesis to the design of discrete controllers. We cast the problem as solving abstract equations over languages and study the most general (largest) solutions under the synchronous and parallel composition operators.

We also specialize such equations to languages associated with important classes of automata used for modeling systems, e.g., regular languages as counterparts of finite automata, FSM languages as counterparts of FSMs. Then we operate algorithmically on those languages through their automata and study how to solve effectively their language equations. We investigate the largest subsets of solutions closed with respect to various language properties; in particular, classes of the largest compositional solutions (defined by properties exhibited by the composition of the solution and of the context).

We provide the first algorithm to compute the largest compositionally progressive solution of synchronous equations. This approach unifies in a seamless frame previously reported techniques.

As an application we solve the classical problem of synthesizing a converter between a mismatched pair of protocols, using their specifications, as well as those of the channel and the required service.

We provide a detailed account of previous approaches developed in different scientific communities, including contributions from design automation of sequential circuits to discrete event systems modeling and synthesis.

Industry Reviews

From the reviews:

"Synthesis is a hard computational area that is now becoming accessible, thanks to increasing computational power. It is good to have a book from experts that surveys the techniques available." (K. Lodaya, ACM Computing Reviews, November, 2012)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.