Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Supervisory Control of Concurrent Systems: A Petri Net Structural Approach

Supervisory Control of Concurrent Systems: A Petri Net Structural Approach

Iordache, Marian
Antsaklis, Panos J.

Hardcover

Series: Systems & Control: Foundations & Applications

Technology & EngineeringGeneral ComputersGeneral Mathematics

ISBN10: 0817643575
ISBN13: 9780817643577
Publisher: Springer Nature
Published: Jun 9 2006
Pages: 286
Weight: 1.20
Height: 0.73 Width: 6.24 Depth: 9.60
Language: English

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.

Also in

Technology & Engineering

View All