The Unknown Component Problem: Theory and Applications
暫譯: 未知組件問題:理論與應用
Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
- 出版商: Springer
- 出版日期: 2011-11-15
- 售價: $6,000
- 貴賓價: 9.5 折 $5,700
- 語言: 英文
- 頁數: 312
- 裝訂: Hardcover
- ISBN: 0387345329
- ISBN-13: 9780387345321
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
商品描述(中文翻譯)
《未知元件的問題:理論與應用》探討了設計一個元件的問題,該元件與系統的已知部分結合時,能符合整體規範。作者通過在一種語言上解決抽象方程來處理這個問題。當使用同步和並行組合運算子時,研究了最一般的解。這些抽象方程被專門化為與用於建模系統的重要自動機類別相關的語言。這本書融合了理論與實踐,包含了一個軟體包的描述,該軟體包應用於有限狀態機的序列合成。研究了連接元件的特定拓撲、精確和啟發式技術以及優化場景。最後,範疇擴展到測試、監控控制、博弈論和特殊 omega 語言的合成等領域。作者呈現了原創的研究結果以及現有結果的概述。