This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space,...

Fuel cells are one of the most promising clean energy conversion devices that can solve the environmental and energy problems in our society. However, the high platinum loading of fuel cells - and thus their high cost - prevents their commercialization.  Non- or low- platinum electrocatalysts are needed to lower the fuel cell...

Thermosetting plastics are a distinct category of plastics whose high performance, durability and reliability at high temperatures makes them suitable for specialty applications ranging from automotive and aerospace through to electronic packaging and consumer products (your melamine kitchen worktop is a thermoset resin!). Recent developments...

This book presents a general overview of the applications and use of geopositioning and GNSS for assisting the supervision and management of mobile terrestrial professions, information, traffic regulation, multimodal information, pedestrian mobility and indoor geopositioning, etc. It especially focuses on the field of mobility and terrestrial...

Friction stir welding (FSW) and its variants, friction stir spot welding and friction stir processing, are used in numerous industrial applications and there is considerable activity in the development of FSW processes and their applications. This volume covers the seventh proceedings in this recurring TMS symposium, focusing on all aspects...

Optimal Control of Hybrid Vehicles provides a description of power train control for hybrid vehicles. The background, environmental motivation and control challenges associated with hybrid vehicles are introduced. The text includes mathematical models for all relevant components in the hybrid power train. The power split problem in hybrid...

The idea of this monograph is to present the latest results related to design and analysis of materials and engineering structures. The contributions cover the field of mechanical and civil engineering, ranging from automotive to dam design, transmission towers and up to machine design and exmaples taken from oil industry. Well known experts...

A general purpose graphical modeling language used to specify, analyze, and design systems that may include hardware, software, and personnel, SysML is now being adopted by companies across a broad range of industries, including aerospace and defense, automotive, and IT system developers. This book is the bestselling, authoritative guide to...

This book, the second in the Woodhead Publishing Reviews: Mechanical Engineering Series, is a collection of high quality articles (full research articles, review articles, and cases studies) with a special emphasis on research and development materials and surface engineering and its applications. Surface engineering techniques are being used...

Adhesively bonded systems have found applications in a wide spectrum of industries (e.g., aerospace, electronics, construction, ship building, biomedical, etc.) for a variety of purposes....