Details

Autor(en) / Beteiligte

• Campos, Javier
• Seatzu, Carla
• Xie, Xiaolan

Titel

Formal Methods in Manufacturing

Auflage

1

Ort / Verlag

United States: CRC Press

Erscheinungsjahr

2014

Link zum Volltext

Quelle

Alma/SFX Local Collection

Beschreibungen/Notizen

• Illustrated with real-life examples, this text provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first introduces 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. It then employs the formalisms to solve specific problems, such as modeling and simulation, supervisory control (including deadlock prevention), performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration.