Formal methods in manufacturing
"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 fo...
| Otros Autores: | , , |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Boca Raton :
CRC Press
[2014].
|
| Edición: | 1st edition |
| Colección: | Industrial information technology series
Industrial Information Technology |
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009629540306719 |
Tabla de Contenidos:
- Front Cover; 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 AutomataChapter 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 AlgebraPart 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 SystemsChapter 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; Chapter 21 - Fault Diagnosis of Manufacturing Systems Using Finite State Automata; Chapter 22 - Fault Diagnosis in PetriNets
- Chapter 23 - Online Control Reconfiguration for Manufacturing SystemsBack Cover
