Developing better mathematical and computational tools to accelerate innovation in robotics and other CPS domains.