Formal Methods in Manufacturing

Nonfiction, Science & Nature, Technology, Manufacturing, Electricity, Electronics
Cover of the book Formal Methods in Manufacturing by , CRC Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9781351832038
Publisher: CRC Press Publication: September 3, 2018
Imprint: CRC Press Language: English
Author:
ISBN: 9781351832038
Publisher: CRC Press
Publication: September 3, 2018
Imprint: CRC Press
Language: English

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 formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today’s industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration.

Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today’s industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration.

Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems.

More books from CRC Press

Cover of the book Developing Property Sustainably by
Cover of the book Comics for Film, Games, and Animation by
Cover of the book Bayesian Designs for Phase I-II Clinical Trials by
Cover of the book Back Injury Prevention Handbook by
Cover of the book A Guide to Cancer by
Cover of the book Regenerative Medicine Technology by
Cover of the book Building for a Changing Climate by
Cover of the book Campus Emergency Preparedness by
Cover of the book Animate to Harmony by
Cover of the book Air Pollution by
Cover of the book Smart Grids by
Cover of the book Sheet Metal Meso- and Microforming and Their Industrial Applications by
Cover of the book Monitoring and Remediation Wells by
Cover of the book Variational Methods in Lorentzian Geometry by
Cover of the book Granular Computing by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy