Supervisory Control of Concurrent Systems A Petri Net Structural Approach / by Marian V. Iordache, Panos J. Antsaklis.

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...

Full description

Saved in:
Bibliographic Details
Main Author: Iordache, Marian V.
Corporate Author: SpringerLink (Online service)
Other Authors: Antsaklis, Panos J.
Format: Electronic eBook
Language:English
Published: Boston, MA : Birkhäuser Boston, 2006.
Series:Systems & control.
Subjects:
Engineering.
Computer simulation.
Mathematics.
System theory.
Engineering mathematics.
Industrial engineering.
Online Access: Full text (Wentworth users only).

Internet

Full text (Wentworth users only).

Similar Items