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 Introduction to AutoCAD 2016 by
Cover of the book Winning the Publications Game by
Cover of the book Infection Prevention and Control by
Cover of the book Computer System and Network Security by
Cover of the book Get Ahead! Basic Sciences by
Cover of the book Digital Painting Techniques by
Cover of the book Handbook of Physical Properties of Rocks (1982) by
Cover of the book User-Centric and Information-Centric Networking and Services by
Cover of the book The Streetwise Subbie by
Cover of the book Project and Program Turnaround by
Cover of the book Vacant Possession by
Cover of the book Mechanics of Liquid Nano- and Microdispersed Magnetic Media by
Cover of the book Discrete-Time Inverse Optimal Control for Nonlinear Systems by
Cover of the book Analysis of Trace Organics in the Aquatic Environment by
Cover of the book Handbook of Sustainable Refurbishment: Housing 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