Formal Methods in Manufacturing (Industrial Information Technology) - Image 1

Price loading...

CRC Press Formal Methods in Manufacturing (Industrial Information Technology)

Name: Formal Methods in Manufacturing (Industrial Information Technology)
Brand: CRC Press

Technical

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

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.

Product Specifications

Brand: CRC Press
Format: paperback
ASIN: 1138074292
Category: Books > Subjects > Reference > Writing > Technical
Domain: Amazon UK
Release Date: 30 November 2017
Listed Since: 04 August 2017

Barcode

No barcode data available

CRC Press Formal Methods in Manufacturing (Industrial Information Technology)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

System Modeling and Control with Resource-Oriented Petri Nets: 35 (Automation and Control Engineering)

Formal Methods for Industrial Critical Systems: A Survey of Applications

Modeling, Simulation, And Control Of Flexible Manufacturing Systems: A Petri Net Approach (Series in Intelligent Control and Intelligent Automation): 6

Formal Methods in Computer Science (Textbooks in Mathematics)

Wiley Formal Methods Applied to Industrial Complex Systems

Optimal Supervisory Control of Automated Manufacturing Systems

Deadlock Resolution in Computer-Integrated Systems

Formal Methods in Computer Science (Textbooks in Mathematics)

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach (Advances in Industrial Control)

Responsible Manufacturing: Issues Pertaining to Sustainability

Responsible Manufacturing: Issues Pertaining to Sustainability

CRC Press Agent-Based Manufacturing and Control Systems Book

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

Springer - Formal Methods and Models for System Design Book

Information Technology for Manufacturing: Reducing Costs and Expanding Capabilities

Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))

Formal Methods in Manufacturing Systems: Recent Advances (Advances in Civil and Industrial Engineering)

Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach (Advances in Industrial Control)

Practical Control Engineering for Mechatronics and Automation

Simulation Modeling Handbook: A Practical Approach (INDUSTRIAL AND MANUFACTURING ENGINEERING SERIES)

Process Oriented Analysis: Design and Optimization of Industrial Production Systems

CRC Press Productivity Theory for Industrial Engineering Book

Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control)