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.)
Seleziona un sito web
Seleziona un sito web per visualizzare contenuto tradotto dove disponibile e vedere eventi e offerte locali. In base alla tua area geografica, ti consigliamo di selezionare: .
Puoi anche selezionare un sito web dal seguente elenco:
Come ottenere le migliori prestazioni del sito
Per ottenere le migliori prestazioni del sito, seleziona il sito cinese (in cinese o in inglese). I siti MathWorks per gli altri paesi non sono ottimizzati per essere visitati dalla tua area geografica.
Americhe
- América Latina (Español)
- Canada (English)
- United States (English)
Europa
- 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)