Formal Methods in Manufacturing -
-40% koodiga BOOKS
Saadetis 15-21 tööpäeva jooksul
30-päevane tagastamisõigus
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 ... Täielik kirjeldus
Võib-olla meeldib sulle ka
Kirjeldus
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.
Lisateave
| Kirjastaja | CRC Press |
|---|---|
| Väljalaskeaasta | 2017 |
| Kaanetüüp | Pehme kaanega |
| EAN | 9781138074293 |