Book description
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 scheduling and 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 handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems.
Table of contents
- Cover
- Half Title
- Title Page
- Copyright Page
- Table of Contents
- Preface
- Editors
- Contributors
-
PART I Modelling and Simulations of Manufacturing Systems
- Chapter 1 Modelling Manufacturing Systems with Place/Transition Nets and Timed Petri Nets
- Chapter 2 Modelling Manufacturing Systems in a Dioid Framework
- Chapter 3 Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets
- Chapter 4 Hybrid Models for the Control and Optimization of Manufacturing Systems
- Chapter 5 Freight Transportation in Distributed Logistic Chains
-
PART II Supervisory Control of Manufacturing Systems
- Chapter 6 Deadlock Avoidance Policies for Automated Manufacturing Systems Using Finite State Automata
- Chapter 7 Structural Deadlock Prevention Policies for Flexible Manufacturing Systems: A Petri Net Outlook
- Chapter 8 Deadlock Avoidance Policies in Production Systems by a Digraph Approach
- Chapter 9 Supervisory Control of Manufacturing Systems Using Petri Nets
- Chapter 10 Supervisory Control of Manufacturing Systems Using Extended Finite Automata
- Chapter 11 Inference-Based and Modular Decentralized Control of Manufacturing Systems with Event-Driven Dynamics
- Chapter 12 Model Predictive Control of Manufacturing Systems with Max-Plus Algebra
-
PART III Performance Evaluation of Manufacturing Systems and Supply Chains
- Chapter 13 Performance Evaluation of Flexible Manufacturing Systems by Coloured Timed Petri Nets and Timed State Space Generation
- Chapter 14 Performance Evaluation and Control of Manufacturing Systems: A Continuous Petri Nets View
- Chapter 15 Performance Evaluation of Flexible Manufacturing Systems with Timed Process Algebra
- Chapter 16 Lean Buffer Design in Production Systems
- Chapter 17 Inventory Allocation and Cycle Time Estimation in Manufacturing and Supply Systems
- Chapter 18 Minimizing Total Place Capacity under Throughput Constraint for a Weighted Timed Event Graph
- Chapter 19 Scheduling of Semiconductor Manufacturing Systems Using Petri Nets
- Chapter 20 Model Synthesis, Planning, Scheduling and Simulation of Health-Care Delivery Systems Using Petri Nets
- PART IV Fault Diagnosis of Manufacturing Systems
- Index
Product information
- Title: Formal Methods in Manufacturing
- Author(s):
- Release date: September 2018
- Publisher(s): CRC Press
- ISBN: 9781351832038
You might also like
book
Manufacturing Mastery
While there are those who say manufacturing is dying, it is not and will not. Without …
book
SOAR Selling: How To Get Through to Almost Anyone—the Proven Method for Reaching Decision Makers
A BREAKTHROUGH FORMULA FOR REACHING TOP DECISION MAKERS AND INFLUENCERS " -- Marcus Buckingham, New York …
book
Adaptive Learning Methods for Nonlinear System Modeling
Adaptive Learning Methods for Nonlinear System Modeling presents some of the recent advances on adaptive algorithms …
book
Advanced Theory of Constraint and Motion Analysis for Robot Mechanisms
provides a complete analytical approach to the invention of new robot mechanisms and the analysis of …