Formal Methods in Manufacturing
Besorgungstitel - wird vorgemerkt | Lieferzeit: Besorgungstitel - Lieferbar innerhalb von 10 Werktagen I
355,48 €*
Alle Preise inkl. MwSt.
| zzgl. Versand
ISBN-13:
9781466561557
Veröffentl:
2014
Erscheinungsdatum:
25.02.2014
Seiten:
728
Autor:
Javier Campos
Gewicht:
1406 g
Format:
254x178x43 mm
Sprache:
Englisch
Beschreibung:
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.
Modeling and Simulations of Manufacturing Systems. Supervisory Control of Manufacturing Systems. Performance Evaluation of Manufacturing Systems and Supply Chains. Fault Diagnosis of Manufacturing Systems.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
