The unknown component problem : theory and applications
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...
Guardado en:
| Autores principales: | , , , , , |
|---|---|
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
New York, NY :
Springer US : Imprint: Springer
[20..].
Cham : Springer Nature |
| Acceso en línea: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • The Unknown Component Problem, Texte imprimé, 9780387345321 |
Tabla de Contenidos:
- 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