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...
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Boston, MA :
Birkhäuser Boston
2006.
Cham : Springer Nature |
| Collection: | Systems & Control: Foundations & Applications
|
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Supervisory Control of Concurrent Systems, Texte imprimé, 9780817670771 • Supervisory Control of Concurrent Systems, Texte imprimé, 9780817643577 |