Supervisory Control of Concurrent Systems: A Petri Net Structural Approach
Marian V. Iordache, LeTourneau University;
Panos J. Antsaklis, University of Notre Dame
Birkhäuser, 2006
ISBN: 0-8176-4357-5;
Language: English
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.)
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a web site from the following list
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)