Skip navigation


  • Page 1 of 11
Intelligent Cars and the Road Ahead

“Smart, wide-ranging, [and] nontechnical.”
—Los Angeles Times

“Anyone who wants to understand what's coming must read this fascinating book.”
—Martin Ford, New York Times bestselling author of Rise of the Robots


Cellular Biophysics is a quantitatively oriented basic physiology text for senior undergraduate and graduate students in bioengineering, biophysics, physiology, and neuroscience programs. It will also serve as a major reference work for biophysicists.

Systems Thinking Applied to Safety

Engineering has experienced a technological revolution, but the basic engineering techniques applied in safety and reliability engineering, created in a simpler, analog world, have changed very little over the years. In this groundbreaking book, Nancy Leveson proposes a new approach to safety—more suited to today’s complex, sociotechnical, software-intensive world—based on modern systems thinking and systems theory.

Meeting Human Needs in a Complex Technological World

Engineering, for much of the twentieth century, was mainly about artifacts and inventions. Now, it’s increasingly about complex systems. As the airplane taxis to the gate, you access the Internet and check email with your PDA, linking the communication and transportation systems. At home, you recharge your plug-in hybrid vehicle, linking transportation to the electricity grid. Today’s large-scale, highly complex sociotechnical systems converge, interact, and depend on each other in ways engineers of old could barely have imagined.

Applied state estimation and association is an important area for practicing engineers in aerospace, electronics, and defense industries, used in such tasks as signal processing, tracking, and navigation. This book offers a rigorous introduction to both theory and application of state estimation and association. It takes a unified approach to problem formulation and solution development that helps students and junior engineers build a sound theoretical foundation for their work and develop skills and tools for practical applications.

Principles and Best Practice

This book addresses an often-neglected aspect of the creation of VHDL designs. A VHDL description is also source code, and VHDL designers can use the best practices of software development to write high-quality code and to organize it in a design. This book presents this unique set of skills, teaching VHDL designers of all experience levels how to apply the best design principles and coding practices from the software world to the world of hardware.

Logic, Language, and Analysis

In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach—which Jackson calls “lightweight formal methods” or “agile modeling”—takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback.

The Department of Defense and the military continually grapple with complex scientific, engineering, and technological problems. Defense systems analysis offers a way to reach a clearer understanding of how to approach and think about complex problems. It guides analysts in defining the question, capturing previous work in the area, assessing the principal issues, and understanding how they are linked.

Algorithms and Applications

Our increasingly integrated world relies on networks both physical and virtual to transfer goods and information. The Internet is a network of networks that connects people around the world in a real-time manner, but it can be disrupted by massive data flows, diverse traffic patterns, inadequate infrastructure, and even natural disasters and political conflict. Similar challenges exist for transportation and energy distribution networks.

A cyber-physical system consists of a collection of computing devices communicating with one another and interacting with the physical world via sensors and actuators in a feedback loop. Increasingly, such systems are everywhere, from smart buildings to medical devices to automobiles. This textbook offers a rigorous and comprehensive introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.

  • Page 1 of 11