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.)
Web サイトの選択
Web サイトを選択すると、翻訳されたコンテンツにアクセスし、地域のイベントやサービスを確認できます。現在の位置情報に基づき、次のサイトの選択を推奨します:
また、以下のリストから Web サイトを選択することもできます。
最適なサイトパフォーマンスの取得方法
中国のサイト (中国語または英語) を選択することで、最適なサイトパフォーマンスが得られます。その他の国の MathWorks のサイトは、お客様の地域からのアクセスが最適化されていません。
南北アメリカ
- América Latina (Español)
- Canada (English)
- United States (English)
ヨーロッパ
- 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)