The Unknown Component Problem

Theory and Applications

Authors: Villa, T., Yevtushenko, N., Brayton, R.K., Mishchenko, A., Petrenko, A., Sangiovanni-Vincentelli, A.

  • Provides a complete account by a unified mathematical model of a synthesis problem that appears in different areas of computer science and design of electronic systems
  • Presents different types of mathematical models that can be used to specify the components of a system
  • Casts the problem of computing the unknown component in the common frame of solving equations over languages and automata
see more benefits

Buy this book

eBook $129.00
price for USA in USD (gross)
  • ISBN 978-0-387-68759-9
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $219.99
price for USA in USD
  • ISBN 978-0-387-34532-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $169.99
price for USA in USD
  • ISBN 978-1-4899-7394-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Rent the eBook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
About this book

The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations are specialized to languages associated with important classes of automata used for modeling systems.

The book is a blend of theory and practice, which includes a description of a software package with applications to sequential synthesis of finite state machines. Specific topologies interconnecting the components, exact and heuristic techniques, and optimization scenarios are studied. Finally the scope is enlarged to domains like testing, supervisory control, game theory and synthesis for special omega languages. The authors present original results of the authors along with an overview of existing ones.

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)


Table of contents (19 chapters)

  • Synopsis

    Villa, Tiziano (et al.)

    Pages 1-5

  • Equations Over Languages and Finite Automata

    Villa, Tiziano (et al.)

    Pages 9-36

  • Equations Over Finite State Machines

    Villa, Tiziano (et al.)

    Pages 37-71

  • Equations Over ω-Automata

    Villa, Tiziano (et al.)

    Pages 73-84

  • A Survey of Relevant Literature

    Villa, Tiziano (et al.)

    Pages 85-105

Buy this book

eBook $129.00
price for USA in USD (gross)
  • ISBN 978-0-387-68759-9
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $219.99
price for USA in USD
  • ISBN 978-0-387-34532-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $169.99
price for USA in USD
  • ISBN 978-1-4899-7394-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Rent the eBook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
The Unknown Component Problem
Book Subtitle
Theory and Applications
Authors
Copyright
2012
Publisher
Springer US
Copyright Holder
Springer Science+Business Media, LLC
eBook ISBN
978-0-387-68759-9
DOI
10.1007/978-0-387-68759-9
Hardcover ISBN
978-0-387-34532-1
Softcover ISBN
978-1-4899-7394-8
Edition Number
1
Number of Pages
XVI, 312
Topics