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...
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Boston, MA :
Birkhäuser Boston
2006.
Cham : Springer Nature |
| Serie: | Systems & Control: Foundations & Applications
|
| Accesso online: | 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: | • Supervisory Control of Concurrent Systems, Texte imprimé, 9780817670771 • Supervisory Control of Concurrent Systems, Texte imprimé, 9780817643577 |
Sommario:
- An Introduction to Petri Nets
- The Supervision of Petri Nets
- Enforcing General Specifications
- Decentralized Supervision of Petri Nets
- Deadlock and Liveness Properties of Petri Nets
- Liveness Enforcement in Petri Nets: A Structural Approach. Part I
- Liveness Enforcement in Petri Nets: A Structural Approach. Part II
- DES Control of Concurrent Hybrid Systems
- Hybrid System Level Control.