MATLAB and Simulink Based Books

Supervisory Control of Concurrent System

Supervisory Control of Concurrent Systems: A Petri Net Structural Approach

Written for graduate students and practicing engineers, this book presents the theory and practice of using various tools for correct-by-construction design. These tools can be used to simplify design verification. The text uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and demonstrates that structural methods can address a variety of supervisor specifications under diverse settings.

A companion set of MATLAB M-files is available for download.  (Optimization Toolbox is required.)

Companion software available Retrieve Companion Software

MATLAB Courseware

Teaching materials based on MATLAB and Simulink

Find full courses & labs

Trials Available

Try the latest control systems products.

Get trial software

About This Book

Marian V. Iordache, LeTourneau University
Panos J. Antsaklis, University of Notre Dame

Birkhäuser, 2006

ISBN: 0-8176-4357-5
Language: English