Abstract: Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, find defects, and improve their designs before the system is built, thus greatly reducing the design costs.

Abstract: Computation advances in physical time, but embedded computing has found value   in logical time programming. Likewise, robotic systems can be simplified by programming in logical space, even though robots live and move in physical space. Our tools ask the roboticist to program on a logical abstraction of the physical. The principal new products are two drivers. One handles the problem of keeping the logical model consistent with physical data. The other enables logical control actions to have physical effect.

Vern Edward Paxson is a Professor of Computer Science at the University of California, Berkeley. He also works as an Internet researcher based at the International Computer Science Institute in Berkeley, California. His interests range from transport protocols to intrusion detection and worms. He is an active member of the Internet Engineering Task Force (IETF) community and served as the chair of the IRTF from 2001 until 2005. From 1998 to 1999 he served on the IESG as Transport Area Director of the IETF.