Cargando…
Supervisory Control of Concurrent Systems A Petri Net Structural Approach /
Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specificatio...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boston, MA :
Birkhäuser Boston : Imprint: Birkhäuser,
2006.
|
| Edición: | 1st ed. 2006. |
| Colección: | Systems & Control: Foundations & Applications,
|
| Temas: | |
| Acceso en línea: | Texto Completo |