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 The Changing Face of Medical Education by
Cover of the book The Intermediate Finite Element Method by
Cover of the book Effective Expert Witnessing by
Cover of the book The Lean 3P Advantage by
Cover of the book Automotive Technician Training: Entry Level 3 by
Cover of the book Attitude or Latitude? by
Cover of the book Principles of Composite Material Mechanics by
Cover of the book Space Image Processing by
Cover of the book Advances in Soil and Water Conservation by
Cover of the book Carpentry and Joinery: Work Activities by
Cover of the book Sheet Metal Forming Optimization by
Cover of the book Biochemistry of Women by
Cover of the book The Psychopharmacologists by
Cover of the book History of Plant Breeding by
Cover of the book Amaranth Biology, Chemistry, and Technology 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