PHYSFRAME: a system to type check physical frames of reference for robotic systems

To move efficiently and safely within different environments, robotic systems typically monitor both their own movements and their surroundings as they try to navigate safely and avoid nearby obstacles. The measurements they gather generally make sense with respect to a given frame of reference, also known as a coordinate system.