This book presents a wide-ranging view of the benefits available through the intelligent use of manufacturing information systems. Readers benefit from the authors' collective experience in bringing new information technologies into manufacturing companies. Using examples of actual IT implementations, they provide a comprehensive picture of how to cut costs and add valuable new capabilities to IT projects. The book takes a comprehensive look at five major areas where IT systems can play a pivotal role in improving any company's manufacturing processes. Going beyond theory, the authors show readers how they can ensure that their IT investments bring a real payback to their companies.

This book describes a vision of manufacturing in the twenty-first century that maximizes efficiencies and improvements by exploiting the full power of information and provides a research agenda for information technology and manufacturing that is necessary for success in achieving such a vision. Research on information technology to support product and process design, shop-floor operations, and flexible manufacturing is described. Roles for virtual manufacturing and the information infrastructure are also addressed. A final chapter is devoted to nontechnical research issues.

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.

This new edition textbook provides comprehensive knowledge and insight into various aspects of manufacturing technology, processes, materials, tooling, and equipment. Its main objective is to introduce the grand spectrum of manufacturing technology to individuals who will be involved in the design and manufacturing of finished products and to provide them with basic information on manufacturing technologies. Manufacturing Technology: Materials, Processes, and Equipment, Second Edition, is written in a descriptive manner, where the emphasis is on the fundamentals of the process, its capabilities, typical applications, advantages, and limitations. Mathematical modeling and equations are used only when they enhance the basic understanding of the material dealt with. The book is a fundamental textbook that covers all the manufacturing processes, materials, and equipment used to convert the raw materials to a final product. It presents the materials used in manufacturing processes and covers the heat treatment processes, smelting of metals, and other technological processes such as casting, forming, powder metallurgy, joining processes, and surface technology. Manufacturing processes for polymers, ceramics, and composites are also covered. The book also covers surface technology, fundamentals of traditional and nontraditional machining processes, numerical control of machine tools, industrial robots and hexapods, additive manufacturing, and industry 4.0 technologies. The book is written specifically for undergraduates in industrial, manufacturing, mechanical, and materials engineering disciplines of the second to fourth levels to cover complete courses of manufacturing technology taught in engineering colleges and institutions all over the world. It also covers the needs of production and manufacturing engineers and technologists participating in related industries where it is expected to be part of their professional library. Additionally, the book can be used by students in other disciplines concerned with design and manufacturing, such as automotive and aerospace engineering.

Software has become a decisive cost and time factor in regard to developing and establishing manufacturing systems and setting them into operation. In addition, software determines the availability, reliability as well as functionality of manufacturing units. Software Engineering for Manufacturing Systems considers the methods and procedures required to deal with problems in the software engineering of control technology for manufacturing systems. Significantly, the following topics are addressed: * definitions and requirements of software for control technology * system design, describing forms of control software * CASE tools for the generation of a code * configuration, adaption of standard software variants, and re-usability of software * and man-machine interface. It contains the selected proceedings of the International Conference on Software Engineering and Case Tools for Control Technology of Manufacturing Systems, sponsored by the IFIP and held in Germany, in March 1996.

Overviews manufacturing systems from the ground up, following the same concept as in the first edition. Delves into the fundamental building blocks of manufacturing systems: manufacturing processes and equipment. Discusses all topics from the viewpoint of four fundamental manufacturing attributes: cost, rate, flexibility and quality.

Optimization of Manufacturing Systems Using the Internet of Things extends the IoT (Internet of Things) into the manufacturing field to develop an IoMT (Internet of Manufacturing Things) architecture with real-time traceability, visibility, and interoperability in production planning, execution, and control. This book is essential reading for anyone interested in the optimization and control of an intelligent manufacturing system. As modern manufacturing shop-floors can create bottlenecks in the capturing and collection of real-time field information, and because paper-based manual systems are time-consuming and prone to errors, this book helps readers understand how to alleviate these issues, assisting them in their decision-making on shop-floors. Includes case studies in implementing IoTs for data acquisition, monitoring, and assembly in manufacturing. Helps manufacturers to tackle the growing complexities and uncertainties of manufacturing systems in globalized business environments Acts as an introduction to using IoT for readers across industrial and manufacturing engineering