Consider these popular products
- $15.35 List price $24.95Save $9.60
- $16.96 Was $18.11Save $1.15
- $122.72 List price $134.00Save $11.28
- $23.86 List price $32.95Save $9.09
- $24.16 List price $34.95Save $10.79
- $7.76 Was $9.95Save $2.19
- $47.20 Was $55.97Save $8.77
- $16.81 Was $18.78Save $1.97
- $19.35 List price $24.99Save $5.64
About this item
About this item
Important Made in USA Origin Disclaimer: For certain items sold by Walmart on Walmart.com, the displayed country of origin information may not be accurate or consistent with manufacturer information. For updated, accurate country of origin data, it is recommended that you rely on product packaging or manufacturer information.
"Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today's industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including schedulingand optimization), fault diagnosis and diagnosability analysis, and reconfiguration.Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers h
The book gives an overview of the most important solutions to a series of problems that usually occur in manufacturing systems, focusing on those solutions that are based on a formal model of the system. The main problems considered are modeling and simulation, supervisory control (including deadlock prevention), performance evaluation (including scheduling and optimization), fault diagnosis, and reconfiguration. The book also presents formal methods in detail for specific problems in the above framework. All are illustrated with examples from manufacturing. The book assumes some knowledge of systems theory and discrete event systems theory but provides introductory material on each formalism (Petri nets, automata, and max-plus algebra), making the book suitable also for readers who are not experts on formalisms.
|Number of Pages:||698|
|Author:||Seatzu, Carla , Campos, Javier , Xie, Xiaolan|
|Series Title:||Industrial Information Technology|
|Publisher:||Taylor & Francis|
|Assembled Product Dimensions (L x W x H):||7.50 x 10.50 x 1.50 Inches|
Ask a question
If you would like to share feedback with us about pricing, delivery or other customer service issues, please contact customer service directly.
Questions will be checked against our question guidelines and posted within five to seven business days.