0
Your cart

Your cart is empty

Books > Professional & Technical > Energy technology & engineering > Electrical engineering > Power generation & distribution

Buy Now

Formal Methods in Manufacturing (Paperback) Loot Price: R2,647
Discovery Miles 26 470
Formal Methods in Manufacturing (Paperback): Javier Campos, Carla Seatzu, Xiaolan Xie

Formal Methods in Manufacturing (Paperback)

Javier Campos, Carla Seatzu, Xiaolan Xie

Series: Industrial Information Technology

 (sign in to rate)
Loot Price R2,647 Discovery Miles 26 470 | Repayment Terms: R248 pm x 12*

Bookmark and Share

Expected to ship within 12 - 19 working days

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.

General

Imprint: Crc Press
Country of origin: United Kingdom
Series: Industrial Information Technology
Release date: November 2017
First published: 2014
Editors: Javier Campos • Carla Seatzu • Xiaolan Xie
Dimensions: 254 x 178 x 45mm (L x W x T)
Format: Paperback
Pages: 728
ISBN-13: 978-1-138-07429-3
Categories: Books > Professional & Technical > Technology: general issues > Engineering: general
Books > Professional & Technical > Environmental engineering & technology > General
Books > Professional & Technical > Energy technology & engineering > Electrical engineering > Power generation & distribution
Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > General
Promotions
LSN: 1-138-07429-2
Barcode: 9781138074293

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Microgrids: Theory and Practice
Zhang Hardcover R3,270 Discovery Miles 32 700
Off-Grid Solar Power Made Easy - Design…
William Jordan Hardcover R810 Discovery Miles 8 100
The Magnet Motor - Making Free Energy…
Patrick Weinand Hardcover R1,235 R1,044 Discovery Miles 10 440
Directions for Designing, Making, and…
F E (Frank Eugene) 1873- Austin Hardcover R787 Discovery Miles 7 870
A Comparison of the Kelvin Double Bridge…
Stetfan Tanabe Hardcover R859 Discovery Miles 8 590
Principles of Dynamo-electric Machines…
Carl 1860-1926 Hering Hardcover R936 Discovery Miles 9 360
Microgrids for Rural Areas - Research…
Rajeev Kumar Chauhan, Kalpana Chauhan, … Hardcover R4,230 R3,805 Discovery Miles 38 050
Handbook of Electrotherapy for…
Burton Baker 1858- Grover Hardcover R1,042 Discovery Miles 10 420
Lightning Interaction with Power…
Alexandre Piantini Hardcover R3,963 R3,565 Discovery Miles 35 650
Energy Production and Management in the…
Stavros Syngellakis, E. Magaril Hardcover R2,293 Discovery Miles 22 930
Bridging Circuits and Fields…
Alexander I. Petroianu Paperback R1,724 Discovery Miles 17 240
Selected Papers from MEDPOWER 2018-the…
Igor Kuzle, Tomislav Capuder, … Hardcover R1,325 R1,163 Discovery Miles 11 630

See more

Partners