Formal Methods in Manufacturing

Formal Methods in Manufacturing

About this item

Hardcover, Taylor & Francis, 2014, ISBN13 9781466561557, ISBN10 1466561556
$189.95
$189.95
+ $8.97 shipping
Only 2 left!
Sold & Shipped by Walmart
Faster shipping options available at checkout
Pickup not available  
Loading options...
Sold & Shipped by Walmart

$8.97 shipping

 

Shipping

Shipping options from Walmart
Type
Arrives
Cost
Value
Data unavailable
Free
Standard
Data unavailable
$5.97
Expedited
Data unavailable
$8.97
Rush
Data unavailable
$10.97

Pickup not available

 

Pickup

This item is not available for pickup or at any of the Walmarts within 50 miles of your location.
Faster shipping options available at checkout
Pickup not available  
Consider these popular products

About this item

Important Made in USA Origin Disclaimer: For certain items sold by Walmart on Walmart.com, the displayed country of origin information may not be accurate or consistent with manufacturer information. For updated, accurate country of origin data, it is recommended that you rely on product packaging or manufacturer information.
"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 schedulingand 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 h

About this item

Important Made in USA Origin Disclaimer: For certain items sold by Walmart on Walmart.com, the displayed country of origin information may not be accurate or consistent with manufacturer information. For updated, accurate country of origin data, it is recommended that you rely on product packaging or manufacturer information.

"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 schedulingand 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 h

The book gives an overview of the most important solutions to a series of problems that usually occur in manufacturing systems, focusing on those solutions that are based on a formal model of the system. The main problems considered are modeling and simulation, supervisory control (including deadlock prevention), performance evaluation (including scheduling and optimization), fault diagnosis, and reconfiguration. The book also presents formal methods in detail for specific problems in the above framework. All are illustrated with examples from manufacturing. The book assumes some knowledge of systems theory and discrete event systems theory but provides introductory material on each formalism (Petri nets, automata, and max-plus algebra), making the book suitable also for readers who are not experts on formalisms.

Specifications

Number of Pages: 698
Original Languages: English
Author: Seatzu, Carla ,  Campos, Javier ,  Xie, Xiaolan
Series Title: Industrial Information Technology
Publisher: Taylor & Francis
ISBN-13: 9781466561557
Assembled Product Dimensions (L x W x H): 7.50 x 10.50 x 1.50 Inches
ISBN-10: 1466561556
Show

Customer Reviews

Be the first to review this item. Share your rating and review so that other customers can decide if this is the right item for them.

Customer Q&A

Back
Questions & Answers 0 questions

Ask a question

If you would like to share feedback with us about pricing, delivery or other customer service issues, please contact customer service directly.


Q&A tips and guidelines

Q&A Exchange Guidelines

When writing your question or answer, please follow these guidelines:

  • Do: Make sure your question is directly related to the product
  • Do: Be specific and provide as many details as possible
  • Do: Include the model number (if applicable)
  • Do: Write your question in English
  • Do Not: Include personal information (such as your full name)
  • All submitted questions and answers are subject to the terms set forth in our Terms and Conditions

We reserve the right not to post your question or answer if it contains any of the following:

  • Any information not related to the actual merchandise or topic
  • Obscenities, discriminatory language or other language not suitable for a public forum
  • Advertisements or “spam” content
  • Email addresses, physical addresses or other forms of contact information
  • Critical or spiteful comments on other questions or answers posted on the page or their authors
  • Any imagery that demonstrates incorrect use of the merchandise
  • Anything that Walmart deems to be inappropriate, at Walmart's discretion

Provide as many details as possible, including the model number (if applicable).

Remember: Don’t include personal information (such as your full name).


Preview Question

Thank you.

Questions will be checked against our question guidelines and posted within five to seven business days.

Policies & Plans

See any care plans, options and policies that may be associated with this product.

Gifting plans

The following available options may be selected during checkout:
Gift message: Add a personal note that we'll include with your gift.
Gift receipt: When you add other gift options, we'll include a receipt that keeps the price a secret but makes it easy to exchange or return an item.

Pricing policy

About our prices
We’re committed to providing low prices every day, on everything. So if you find a current lower price from an online retailer on an identical, in-stock product, tell us and we’ll match it. See more details at Online Price Match.

Returns

Returns are easy at Walmart
Not happy with a purchase? No problem. We've made returning items as easy as possible. And, most purchases can be returned for free. Learn more about our Returns Policy.