Marknadens största urval
Snabb leverans

Formal Methods in Manufacturing

Om Formal Methods in Manufacturing

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781466561557
  • Format:
  • Inbunden
  • Sidor:
  • 728
  • Utgiven:
  • 25. februari 2014
  • Mått:
  • 180x259x46 mm.
  • Vikt:
  • 1500 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 14. april 2025

Beskrivning av Formal Methods in Manufacturing

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.

Användarnas betyg av Formal Methods in Manufacturing



Hitta liknande böcker
Boken Formal Methods in Manufacturing finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.