CPS Resources

❝How can we provide people with cyber-physical systems they can bet their lives on?❞
– 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, cps-vo.org.

To learn more about formal verification of hybrid systems, see ls.cs.cmu.edu.  For my work in formal verification of distributed car control, visit ls.cs.cmu.edu/dccs.