2012

The Unknown Component Problem

Theory and Applications

ISBN: 978-0-387-34532-1 (Print) 978-0-387-68759-9 (Online)
Download Book (5,346 KB) As a courtesy to our readers the eBook is provided DRM-free. However, please note that Springer uses effective methods and state-of-the art technology to detect, stop, and prosecute illegal sharing to safeguard our authors’ interests.

Table of contents (19 chapters)

  1. Front Matter

    Pages i-xv

  2. Book Chapter

    Pages 1-5

    Synopsis

  3. Theory of Equations over Languages and Automata

    1. Front Matter

      Pages 7-8

    2. Book Chapter

      Pages 9-36

      Equations Over Languages and Finite Automata

    3. Book Chapter

      Pages 37-71

      Equations Over Finite State Machines

    4. Book Chapter

      Pages 73-84

      Equations Over ω-Automata

    5. Book Chapter

      Pages 85-105

      A Survey of Relevant Literature

  4. Algorithms for Solving FSM Equations - BALM

    1. Front Matter

      Pages 107-108

    2. Book Chapter

      Pages 109-120

      Implementation of Automata Manipulations

    3. Book Chapter

      Pages 121-135

      Manipulations of FSMs Represented as Sequential Circuits

    4. Book Chapter

      Pages 137-155

      The Software Package BALM

    5. Book Chapter

      Pages 157-169

      Fundamental Operations in BALM

  5. Application to Sequential Synthesis

    1. Front Matter

      Pages 171-172

    2. Book Chapter

      Pages 173-184

      Computation of Flexibility in Sequential Networks

    3. Book Chapter

      Pages 185-194

      Computation of Sequential Flexibility in Netlists by Windowing

    4. Book Chapter

      Pages 195-210

      Computation of Sequential Flexibility in Networks of FSMs by Windowing

    5. Book Chapter

      Pages 211-225

      Language Solving Using Simulation Relations

    6. Book Chapter

      Pages 227-243

      Exploitation of Flexibility in Sequential Networks

  6. More Applications of the Unknown Component Problem

    1. Front Matter

      Pages 245-246

    2. Book Chapter

      Pages 247-265

      Supervisory Control

    3. Book Chapter

      Pages 267-274

      Testing

    4. Book Chapter

      Pages 275-281

      Synthesis of Strategies for Games

    5. Book Chapter

      Pages 283-297

      Extending BALM to Synchronous Equations Over co-Büchi Specifications

    6. Book Chapter

      Pages 299-300

      Conclusions and Open Problems

  7. Back Matter

    Pages 301-311