The Unknown Component Problem Theory and Applications /

• Κύριοι συγγραφείς: Villa, Tiziano (Συγγραφέας), Yevtushenko, Nina (Συγγραφέας), Brayton, Robert K. (Συγγραφέας), Mishchenko, Alan (Συγγραφέας), Petrenko, Alexandre (Συγγραφέας), Sangiovanni-Vincentelli, Alberto (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2012.
• Θέματα: Engineering.; Logic design.; Electrical engineering.; Electronic circuits.; Circuits and Systems.; Logic Design.; Electrical Engineering.

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...

Πίνακας περιεχομένων:

• 1. Synopsis
• 2. Equations over Languages and Finate Automata
• 3. Equations over Finite State Machines
• 4. Equations Over w-Automata
• 5. A Survey of Relevant Literature
• 6. Implementation of Automata Manipulations
• 7. Manipulations of FSMs Represented as Sequential Circuits
• 8. The Software Package BALM
• 9. Fundamental Operations in BALM
• 10. Computation of Flexibility in Sequential Networks
• 11. Computation of Sequential Flexibility in Netlists by Windowing
• 12. Computation of Sequential Flexibility in Networks of FSMs by Windowing
• 13. Language Solving Using Simulation Relations
• 14. Exploitation of Flexibility in Sequential Networks
• 15. Supervisory Control
• 16. Testing
• 17. Synthesis of Strategies for Games
• 18. Extending BALM to Synchronous Equations Over co-Büchi Specifications
• 19. Conclusions and Open Problems.