Items related to The Unknown Component Problem: Theory and Applications

The Unknown Component Problem: Theory and Applications - Softcover

 
9781489973948: The Unknown Component Problem: Theory and Applications

Synopsis

The authors of this book cast the problem as solving abstract equations over language and study the most general (largest) solutions under the synchronous and parallel composition operators. They also apply 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. The authors 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). The first algorithm to compute the largest compositionally progressive solution of synchronous equations is provided. This approach unifies in a seamless frame previously reported techniques.

"synopsis" may belong to another edition of this title.

From the Back Cover

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.

"About this title" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2014
  • ISBN 10 148997394X
  • ISBN 13 9781489973948
  • BindingPaperback
  • LanguageEnglish
  • Number of pages328

Buy Used

Condition: As New
Like New
View this item

£ 9 shipping within United Kingdom

Destination, rates & speeds

Buy New

View this item

FREE shipping within United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9780387345321: The Unknown Component Problem: Theory and Applications

Featured Edition

ISBN 10:  0387345329 ISBN 13:  9780387345321
Publisher: Springer, 2011
Hardcover

Search results for The Unknown Component Problem: Theory and Applications

Stock Image

Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre; Sangiovanni-Vincentelli, Alberto
Published by Springer, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9781489973948_new

Contact seller

Buy New

£ 139.22
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Tiziano Villa|Nina Yevtushenko|Robert K. Brayton|Alan Mishchenko|Alexandre Petrenko|Alberto Sangiovanni-Vincentelli
Published by Springer US, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
New Kartoniert / Broschiert
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 systemsPresents different types of mathematical models that can be used to specify the . Seller Inventory # 4212661

Contact seller

Buy New

£ 119.29
Convert currency
Shipping: £ 21.26
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Tiziano Villa
Published by Springer US Jan 2014, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 328 pp. Englisch. Seller Inventory # 9781489973948

Contact seller

Buy New

£ 140.61
Convert currency
Shipping: £ 9.36
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Tiziano Villa
Published by Springer US, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9781489973948

Contact seller

Buy New

£ 144.11
Convert currency
Shipping: £ 11.90
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Tiziano Villa
ISBN 10: 148997394X ISBN 13: 9781489973948
New Taschenbuch
Print on Demand

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch. Seller Inventory # 9781489973948

Contact seller

Buy New

£ 140.61
Convert currency
Shipping: £ 29.77
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre; Sangiovanni-Vincentelli, Alberto
Published by Springer, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar2716030158356

Contact seller

Buy New

£ 135.39
Convert currency
Shipping: £ 55.23
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Tiziano Villa Robert K. Brayton Nina Yevtushenko
Published by Springer, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 328. Seller Inventory # 26127711656

Contact seller

Buy New

£ 190.08
Convert currency
Shipping: £ 6.63
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Villa Tiziano Brayton Robert K. Yevtushenko Nina
Published by Springer, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
New Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Print on Demand pp. 328 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 132843127

Contact seller

Buy New

£ 195.34
Convert currency
Shipping: £ 3.35
Within United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Villa, Tiziano, Yevtushenko, Nina, Brayton, Robert K., Mishc
Published by Springer, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
Used Paperback

Seller: dsmbooks, Liverpool, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Paperback. Condition: Like New. Like New. book. Seller Inventory # D7F7-3-M-148997394X-6

Contact seller

Buy Used

£ 190.53
Convert currency
Shipping: £ 9
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Villa Tiziano Brayton Robert K. Yevtushenko Nina
Published by Springer, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
New Softcover
Print on Demand

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. PRINT ON DEMAND pp. 328. Seller Inventory # 18127711650

Contact seller

Buy New

£ 209.58
Convert currency
Shipping: £ 6.76
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket