As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.

One approach especially intrigued me. John Guttag and Jim...

Simulation based on mathematical models plays a major role in computer aided design of integrated circuits (ICs). Decreasing structure sizes, increasing packing densities and driving frequencies require the use of refined mathematical models, and to take into account secondary, parasitic effects. This leads to very high dimensional problems...

The automation of visual inspection is becoming more and more important in modern industry as a consistent, reliable means of judging the quality of raw materials and manufactured goods . The Machine Vision Handbook  equips the reader with the practical details required to engineer integrated mechanical-optical-electronic-software...

Foundations of Fuzzy Control: A Practical Approach, 2nd Edition has been significantly revised and updated, with two new chapters on Gain Scheduling Control and Neurofuzzy Modelling. It focuses on the PID (Proportional, Integral, Derivative) type controller which is the most widely used in industry and systematically analyses several...

Gaining a strong sense of signals and systems fundamentals is key for general proficiency in any electronic engineering discipline, and critical for specialists in signal processing, communication, and control. At the same time, there is a pressing need...

Models for the mechanical behavior of porous media introduced more than 50 years ago are still relied upon today, but more recent work shows that, in some cases, they may violate the laws of thermodynamics. In The Thermophysics of Porous Media, the author shows that physical consistency requires a unique description of dynamic processes that...