The vast majority of control systems built today are embedded; that is, they rely on built-in, special-purpose digital computers to close their feedback loops. Embedded systems are common in aircraft, factories, chemical processing plants, and even in cars-a single high-end automobile may contain over eighty different computers. The design of embedded controllers and of the intricate, automated communication networks that support them raises many...