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..

Eskom - Power, Politics And The (Post…
Faeeza Ballim Paperback R320 R295 Discovery Miles 2 950
Ultra-Supercritical Coal Power Plants…
Dongke Zhang Ftse Hardcover R4,332 R4,026 Discovery Miles 40 260
Biomass Combustion Science, Technology…
Lasse Rosendahl Hardcover R4,656 Discovery Miles 46 560
Combined Cycle Systems for Near-Zero…
Ashok D Rao Hardcover R4,477 Discovery Miles 44 770
Power Plant Life Management and…
John E. Oakey Hardcover R6,060 Discovery Miles 60 600
Microgeneration - Low energy strategies…
Dave Parker Paperback R982 Discovery Miles 9 820
High Voltage Vacuum Insulation - Basic…
Rod V. Latham Hardcover R1,459 Discovery Miles 14 590
Microgrids: Theory and Practice
Zhang Hardcover R3,270 Discovery Miles 32 700
Energy Production and Management in the…
Stavros Syngellakis, E. Magaril Hardcover R2,293 Discovery Miles 22 930
Compressed Air Energy Storage - Types…
David S.-K. Ting, Jacqueline A. Stagner Hardcover R3,369 R3,039 Discovery Miles 30 390
Model Predictive Control for Microgrids…
Jiefeng Hu, Josep Guerrero, … Hardcover R3,478 R3,135 Discovery Miles 31 350
Power Electronics for Next-Generation…
Nayan Kumar, Josep M. Guerrero, … Hardcover R3,863 R3,478 Discovery Miles 34 780

See more

Partners