Skip to content

CPS Resources

How can we provide people with cyber-physical systems they can bet their lives on?
– Jeannette Wing

Flowers of CPS community structure by P. R. Kumar and Jeannette Wing.

These organizational flowers were originally created by P. R. Kumar (left) and Jeannette Wing (right) to illustrate the wide-ranging areas of science and applications that intersect CPS.  My research on formal verification of automated car control falls in the two marked areas. Jeannette’s slides from the Cyber-Physical Systems Information Meeting give a broad definition of the field.

For more information about the Cyber-Physical Systems group sponsored by the NSF, visit the Cyber-Physical Systems Virtual Organization,

To learn more about formal verification of hybrid systems, see  For my work in formal verification of distributed car control, visit