Supervisory Control of Concurrent Systems: A Petri Net Structural Approach - Couverture rigide

Iordache, Marian; Antsaklis, Panos J.

Couverture rigide

ISBN 10 : 0817643575 ISBN 13 : 9780817643577

Editeur : Birkhauser Boston Inc, 2006

Synopsis

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.

Détails de l'édition

• Éditeur: Birkhauser Boston Inc
• Date d'édition: 2006
• Langue: anglais
• ISBN 10: 0817643575
• ISBN 13: 9780817643577
• Reliure: Relié
• Nombre de pages: 302
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible