null Skip to main content

✨ Buy more, save 5% Ends

Formal Methods in Manufacturing

Formal Methods in Manufacturing

$117.23
(No reviews yet) Write a Review
Physical book delivery

Shipping calculated at checkout.

Estimated delivery
Adding to cart… The item has been added
Product Details
Author:
Javier Campos
Publisher:
CRC Press
Publication Date:
Nov 22, 2017
Number of pages:
728 pages
Binding:
Paperback or Softback
ISBN-10:
1138074292
ISBN-13:
9781138074293

Overview

Illustrated with real-life examples, this text provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first introduces 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. It then employs the formalisms to solve specific problems, such as modeling and simulation, supervisory control (including deadlock prevention), performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration.


  • | Author: Javier Campos
  • | Publisher: CRC Press
  • | Publication Date: Nov 22, 2017
  • | Number of Pages: 728 pages
  • | Binding: Paperback or Softback
  • | ISBN-10: 1138074292
  • | ISBN-13: 9781138074293

Reviews

0 Reviews

Write a Review

No reviews yet.

Share your experience and help another reader choose their next book.

Discover your next great book

Get new releases, reader favourites, and special offers delivered to your inbox.