Articoli correlati a The Unknown Component Problem: Theory and Applications

The Unknown Component Problem: Theory and Applications - Brossura

 
9781489973948: The Unknown Component Problem: Theory and Applications

Sinossi

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.

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

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.

  • EditoreSpringer
  • Data di pubblicazione2014
  • ISBN 10 148997394X
  • ISBN 13 9781489973948
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero di pagine328
  • Contatto del produttorenon disponibile

Compra usato

Condizioni: come nuovo
Like New
Visualizza questo articolo

EUR 29,67 per la spedizione da Regno Unito a Italia

Destinazione, tempi e costi

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9780387345321: The Unknown Component Problem: Theory And Applications

Edizione in evidenza

ISBN 10:  0387345329 ISBN 13:  9780387345321
Casa editrice: Springer-Nature New York Inc, 2011
Rilegato

Risultati della ricerca per The Unknown Component Problem: Theory and Applications

Immagini fornite dal venditore

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

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Kartoniert / Broschiert. Condizione: 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 . Codice articolo 4212661

Contatta il venditore

Compra nuovo

EUR 136,16
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Tiziano Villa
Editore: Springer US Jan 2014, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: 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. Codice articolo 9781489973948

Contatta il venditore

Compra nuovo

EUR 160,49
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

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

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: 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. Codice articolo 9781489973948

Contatta il venditore

Compra nuovo

EUR 160,49
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Tiziano Villa
Editore: Springer US, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: 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. Codice articolo 9781489973948

Contatta il venditore

Compra nuovo

EUR 164,49
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre; Sangiovanni-Vincentelli, Alberto
Editore: Springer, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9781489973948_new

Contatta il venditore

Compra nuovo

EUR 170,18
Convertire valuta
Spese di spedizione: EUR 10,67
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre; Sangiovanni-Vincentelli, Alberto
Editore: Springer, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
Nuovo Brossura

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

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Mar2716030158356

Contatta il venditore

Compra nuovo

EUR 161,19
Convertire valuta
Spese di spedizione: EUR 65,75
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Tiziano Villa Robert K. Brayton Nina Yevtushenko
Editore: Springer, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
Nuovo Brossura

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

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 328. Codice articolo 26127711656

Contatta il venditore

Compra nuovo

EUR 226,29
Convertire valuta
Spese di spedizione: EUR 7,89
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Foto dell'editore

Villa Tiziano Brayton Robert K. Yevtushenko Nina
Editore: Springer, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
Nuovo Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: 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. Codice articolo 132843127

Contatta il venditore

Compra nuovo

EUR 233,47
Convertire valuta
Spese di spedizione: EUR 10,50
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Foto dell'editore

Villa Tiziano Brayton Robert K. Yevtushenko Nina
Editore: Springer, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
Nuovo Brossura
Print on Demand

Da: Biblios, Frankfurt am main, HESSE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. PRINT ON DEMAND pp. 328. Codice articolo 18127711650

Contatta il venditore

Compra nuovo

EUR 239,97
Convertire valuta
Spese di spedizione: EUR 7,95
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Foto dell'editore

Villa, Tiziano, Yevtushenko, Nina, Brayton, Robert K., Mishc
Editore: Springer, 2014
ISBN 10: 148997394X ISBN 13: 9781489973948
Antico o usato Paperback

Da: dsmbooks, Liverpool, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Like New. Like New. book. Codice articolo D7F7-3-M-148997394X-6

Contatta il venditore

Compra usato

EUR 226,84
Convertire valuta
Spese di spedizione: EUR 29,67
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello