|
Books > Professional & Technical > Energy technology & engineering > Electrical engineering > Power generation & distribution
|
Buy Now
Formal Methods in Manufacturing (Paperback)
Loot Price: R2,567
Discovery Miles 25 670
|
|
|
Formal Methods in Manufacturing (Paperback)
Series: Industrial Information Technology
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
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..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
