The Unknown Component Problem: Theory And Applications da Villa, Tiziano/ Brayton, Robert K./ Mishchenko, Alan/ Petrenko, Alexandre/ Sangiovanni-Vincentelli, Alberto: Brand New Hardcover (2011)

Riguardo questo articolo

311 pages. 10.00x6.00x1.00 inches. In Stock.

Codice articolo x-0387345329

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: The Unknown Component Problem: Theory And Applications
Editore: Springer-Verlag New York Inc
Data di pubblicazione: 2011
Lingua: Inglese
ISBN 10: 0387345329
ISBN 13: 9780387345321
Rilegatura: Hardcover
Condizione: Brand New

Descrizione articolo

Riassunto

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.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.