TY - BOOK ID - 14302659 TI - The unknown component problem : theory and application PY - 2012 SN - 0387345329 9786613443823 1283443821 0387687599 148997394X PB - New York : Springer, DB - UniCat KW - Electronic circuit design KW - Logic design KW - System design KW - Engineering & Applied Sciences KW - Electrical & Computer Engineering KW - Technology - General KW - Electrical Engineering KW - Technology. KW - Engineering. KW - Construction KW - Applied science KW - Arts, Useful KW - Science, Applied KW - Useful arts KW - Logic design. KW - Electrical engineering. KW - Electronic circuits. KW - Circuits and Systems. KW - Logic Design. KW - Electrical Engineering. KW - Industrial arts KW - Technology KW - Science KW - Material culture KW - Systems engineering. KW - Computer engineering. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Logic circuits KW - Machine theory KW - Switching theory KW - Engineering systems KW - System engineering KW - Engineering KW - Industrial engineering KW - System analysis KW - Computers KW - Design and construction KW - Electric engineering KW - Electron-tube circuits KW - Electric circuits KW - Electron tubes KW - Electronics UR - https://www.unicat.be/uniCat?func=search&query=sysid:14302659 AB - 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. ER -