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,698
Discovery Miles 26 980
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,698 Discovery Miles 26 980 | Repayment Terms: R253 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 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,380 Discovery Miles 33 800
Off-Grid Solar Power Made Easy - Design…
William Jordan Hardcover R825 Discovery Miles 8 250
Directions for Designing, Making, and…
F E (Frank Eugene) 1873- Austin Hardcover R824 Discovery Miles 8 240
A Comparison of the Kelvin Double Bridge…
Stetfan Tanabe Hardcover R877 Discovery Miles 8 770
Principles of Dynamo-electric Machines…
Carl 1860-1926 Hering Hardcover R953 Discovery Miles 9 530
Microgrids for Rural Areas - Research…
Rajeev Kumar Chauhan, Kalpana Chauhan, … Hardcover R4,453 R4,001 Discovery Miles 40 010
Handbook of Electrotherapy for…
Burton Baker 1858- Grover Hardcover R1,061 Discovery Miles 10 610
Bridging Circuits and Fields…
Alexander I. Petroianu Paperback R1,757 Discovery Miles 17 570
Lightning Interaction with Power…
Alexandre Piantini Hardcover R4,171 R3,748 Discovery Miles 37 480
Energy Production and Management in the…
Stavros Syngellakis, E. Magaril Hardcover R2,409 Discovery Miles 24 090
Lightning Interaction with Power…
Alexandre Piantini Hardcover R4,048 R3,639 Discovery Miles 36 390
Selected Papers from MEDPOWER 2018-the…
Igor Kuzle, Tomislav Capuder, … Hardcover R1,199 Discovery Miles 11 990

See more

Partners