❝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.