Formal Methods in Manufacturing

Formal Methods in Manufacturing

by Javier Campos, Carla Seatzu, Xiaolan Xie
Released September 2018
Publisher(s): CRC Press
ISBN: 9781351832038

Read it now on the O’Reilly learning platform with a 10-day free trial.

O’Reilly members get unlimited access to books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial

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

  1. Cover
  2. Half Title
  3. Title Page
  4. Copyright Page
  5. Table of Contents
  6. Preface
  7. Editors
  8. Contributors
  9. PART I Modelling and Simulations of Manufacturing Systems
    1. Chapter 1 Modelling Manufacturing Systems with Place/Transition Nets and Timed Petri Nets
    2. Chapter 2 Modelling Manufacturing Systems in a Dioid Framework
    3. Chapter 3 Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets
    4. Chapter 4 Hybrid Models for the Control and Optimization of Manufacturing Systems
    5. Chapter 5 Freight Transportation in Distributed Logistic Chains
  10. PART II Supervisory Control of Manufacturing Systems
    1. Chapter 6 Deadlock Avoidance Policies for Automated Manufacturing Systems Using Finite State Automata
    2. Chapter 7 Structural Deadlock Prevention Policies for Flexible Manufacturing Systems: A Petri Net Outlook
    3. Chapter 8 Deadlock Avoidance Policies in Production Systems by a Digraph Approach
    4. Chapter 9 Supervisory Control of Manufacturing Systems Using Petri Nets
    5. Chapter 10 Supervisory Control of Manufacturing Systems Using Extended Finite Automata
    6. Chapter 11 Inference-Based and Modular Decentralized Control of Manufacturing Systems with Event-Driven Dynamics
    7. Chapter 12 Model Predictive Control of Manufacturing Systems with Max-Plus Algebra
  11. PART III Performance Evaluation of Manufacturing Systems and Supply Chains
    1. Chapter 13 Performance Evaluation of Flexible Manufacturing Systems by Coloured Timed Petri Nets and Timed State Space Generation
    2. Chapter 14 Performance Evaluation and Control of Manufacturing Systems: A Continuous Petri Nets View
    3. Chapter 15 Performance Evaluation of Flexible Manufacturing Systems with Timed Process Algebra
    4. Chapter 16 Lean Buffer Design in Production Systems
    5. Chapter 17 Inventory Allocation and Cycle Time Estimation in Manufacturing and Supply Systems
    6. Chapter 18 Minimizing Total Place Capacity under Throughput Constraint for a Weighted Timed Event Graph
    7. Chapter 19 Scheduling of Semiconductor Manufacturing Systems Using Petri Nets
    8. Chapter 20 Model Synthesis, Planning, Scheduling and Simulation of Health-Care Delivery Systems Using Petri Nets
  12. PART IV Fault Diagnosis of Manufacturing Systems
    1. Chapter 21 Fault Diagnosis of Manufacturing Systems Using Finite State Automata
    2. Chapter 22 Fault Diagnosis in Petri Nets
    3. Chapter 23 Online Control Reconfiguration for Manufacturing Systems
  13. Index

Product information

  • Title: Formal Methods in Manufacturing
  • Author(s): Javier Campos, Carla Seatzu, Xiaolan Xie
  • Release date: September 2018
  • Publisher(s): CRC Press
  • ISBN: 9781351832038