Skip to main content
SpringerLink
Log in

The Unknown Component Problem

Theory and Applications

  • Book
  • © 2012

Overview

Authors:
  1. Tiziano Villa

    1. Dipto. Ingegneria Elettrica,, Gestionale e Meccanica (DIEGM), Università di Udine, Udine, Italy

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Nina Yevtushenko

    1. Dept. of EECS, Tomsk State University, Tomsk, Russian Federation

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Robert K. Brayton

    1. Dept. Electrical Engineering &, Computer Science, University of California, Berkeley, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  4. Alan Mishchenko

    1. Dept. Electrical Engineering &, Computer Science (EECS), University of California, Berkeley, Berkeley, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  5. Alexandre Petrenko

    1. (CRIM), Computer Research Institute of Montreal, Montreal, Canada

    View author publications

    You can also search for this author in PubMed   Google Scholar

  6. Alberto Sangiovanni-Vincentelli

    1. Dept. Electrical Engineering &, Computer Science (EECS), University of California, Berkeley, Berkeley, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • 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
  • Includes supplementary material: sn.pub/extras

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 chapters)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Synopsis

    • Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
    Pages 1-5

  3. Theory of Equations Over Languages and Automata

    1. Front Matter

      Pages 7-8
      Download chapter PDF

  4. Theory of Equations over Languages and Automata

    1. Equations Over Languages and Finite Automata

      • Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
      Pages 9-36

    2. Equations Over Finite State Machines

      • Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
      Pages 37-71

    3. Equations Over ω-Automata

      • Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
      Pages 73-84

    4. A Survey of Relevant Literature

      • Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
      Pages 85-105

  5. Algorithms for Solving FSM Equations: BALM

    1. Front Matter

      Pages 107-108
      Download chapter PDF

  6. Algorithms for Solving FSM Equations - BALM

    1. Implementation of Automata Manipulations

      • Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
      Pages 109-120

    2. Manipulations of FSMs Represented as Sequential Circuits

      • Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
      Pages 121-135

    3. The Software Package BALM

      • Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
      Pages 137-155

    4. Fundamental Operations in BALM

      • Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
      Pages 157-169

  7. Application to Sequential Synthesis

    1. Front Matter

      Pages 171-172
      Download chapter PDF

    2. Computation of Flexibility in Sequential Networks

      • Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
      Pages 173-184

    3. Computation of Sequential Flexibility in Netlists by Windowing

      • Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
      Pages 185-194

    4. Computation of Sequential Flexibility in Networks of FSMs by Windowing

      • Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
      Pages 195-210

    5. Language Solving Using Simulation Relations

      • Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
      Pages 211-225

    6. Exploitation of Flexibility in Sequential Networks

      • Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
      Pages 227-243

  8. More Applications of the Unknown Component Problem

    1. Front Matter

      Pages 245-246
      Download chapter PDF

    2. Supervisory Control

      • Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
      Pages 247-265
Back to top

Keywords

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)

Authors and Affiliations

  • Dipto. Ingegneria Elettrica,, Gestionale e Meccanica (DIEGM), Università di Udine, Udine, Italy

    Tiziano Villa

  • Dept. of EECS, Tomsk State University, Tomsk, Russian Federation

    Nina Yevtushenko

  • Dept. Electrical Engineering &, Computer Science, University of California, Berkeley, USA

    Robert K. Brayton

  • Dept. Electrical Engineering &, Computer Science (EECS), University of California, Berkeley, Berkeley, USA

    Alan Mishchenko, Alberto Sangiovanni-Vincentelli

  • (CRIM), Computer Research Institute of Montreal, Montreal, Canada

    Alexandre Petrenko

Bibliographic Information

  • Book Title: The Unknown Component Problem

  • Book Subtitle: Theory and Applications

  • Authors: Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli

  • DOI: https://doi.org/10.1007/978-0-387-68759-9

  • Publisher: Springer New York, NY

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer Science+Business Media, LLC 2012

  • Hardcover ISBN: 978-0-387-34532-1Published: 15 November 2011

  • Softcover ISBN: 978-1-4899-7394-8Published: 25 January 2014

  • eBook ISBN: 978-0-387-68759-9Published: 16 November 2011

  • Edition Number: 1

  • Number of Pages: XVI, 312

  • Topics: Circuits and Systems, Logic Design, Electrical Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation