PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems

06/21/2021
by   Sayali Kate, et al.
0

A robotic system continuously measures its own motions and the external world during operation. Such measurements are with respect to some frame of reference, i.e., a coordinate system. A nontrivial robotic system has a large number of different frames and data have to be translated back-and-forth from a frame to another. The onus is on the developers to get such translation right. However, this is very challenging and error-prone, evidenced by the large number of questions and issues related to frame uses on developers' forum. Since any state variable can be associated with some frame, reference frames can be naturally modeled as variable types. We hence develop a novel type system that can automatically infer variables' frame types and in turn detect any type inconsistencies and violations of frame conventions. The evaluation on a set of 180 publicly available ROS projects shows that our system can detect 190 inconsistencies with 154 true positives. We reported 52 to developers and received 18 responses so far, with 15 fixed/acknowledged. Our technique also finds 45 violations of common practices.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/30/2021

Extending Neural P-frame Codecs for B-frame Coding

While most neural video codecs address P-frame coding (predicting each f...
research
01/18/2022

Motion Inbetweening via Deep Δ-Interpolator

We show that the task of synthesizing missing middle frames, commonly kn...
research
03/06/2023

Butterfly: Multiple Reference Frames Feature Propagation Mechanism for Neural Video Compression

Using more reference frames can significantly improve the compression ef...
research
11/01/2017

Spatio-Temporal Reference Frames as Geographic Objects

It is often desirable to analyse trajectory data in local coordinates re...
research
07/09/2023

Predictive Coding For Animation-Based Video Compression

We address the problem of efficiently compressing video for conferencing...
research
12/29/2020

An Efficient Generation Method based on Dynamic Curvature of the Reference Curve for Robust Trajectory Planning

Trajectory planning is a fundamental task on various autonomous driving ...
research
01/18/2023

Gated-ViGAT: Efficient Bottom-Up Event Recognition and Explanation Using a New Frame Selection Policy and Gating Mechanism

In this paper, Gated-ViGAT, an efficient approach for video event recogn...

Please sign up or login with your details

Forgot password? Click here to reset