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.)
Seleccione un país/idioma
Seleccione un país/idioma para obtener contenido traducido, si está disponible, y ver eventos y ofertas de productos y servicios locales. Según su ubicación geográfica, recomendamos que seleccione: .
También puede seleccionar uno de estos países/idiomas:
Cómo obtener el mejor rendimiento
Seleccione China (en idioma chino o inglés) para obtener el mejor rendimiento. Los sitios web de otros países no están optimizados para ser accedidos desde su ubicación geográfica.
América
- 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)