- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Supervisory Control of Concurrent Systems
A Petri Net Structural Approach
Marian Iordache, Panos J Antsaklis
259,45 €
+ 518 points
Description
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 specifications represented in the discrete-event framework. Highlighting recent progress in the design of supervisors by structural methods, the book represents a novel contribution to the field. One of the main features of the presentation is the demonstration that structural methods can address a variety of supervisor specifications under diverse supervision settings. The work is self-contained and includes necessary background on Petri nets and supervision. The text requires only basic knowledge of undergraduate-level discrete mathematics. It is accessible to a broad audience of graduate students, researchers, and developers from various engineering fields.
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 286
- Langue:
- Anglais
- Collection :
Caractéristiques
- EAN:
- 9780817643577
- Date de parution :
- 09-06-06
- Format:
- Livre relié
- Format numérique:
- Ongenaaid / garenloos gebonden
- Dimensions :
- 158 mm x 244 mm
- Poids :
- 544 g
Seulement chez Librairie Club
+ 518 points sur votre carte client de Librairie Club
Cadeau
Cadeau
Les avis
Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.