Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)

Iordache, Marian; Antsaklis, Panos J.

ISBN 10: 0817643575 / ISBN 13: 9780817643577

Edité par Birkhäuser, 2006

A propos de cet article

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.

N° de réf. du vendeur SHAK122848

Détails bibliographiques

• Titre: Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)
• Éditeur: Birkhäuser
• Date de parution: 2006
• Langue: anglais
• ISBN à 10 chiffres: 0817643575
• ISBN à 13 chiffres: 9780817643577
• Reliure: Couverture rigide
• État de l'article: Neuf

A propos de ce titre

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.