Deriving Equations from Sensor Data Using Dimensional Function Synthesis

We present a new method for deriving functions that model the relationship between multiple signals in a physical system. The method, which we call dimensional function synthesis, applies to data streams where the dimensions of the signals are known. The method comprises two phases: a compile-time synthesis phase and a subsequent calibration using sensor data. We implement dimensional function synthesis and use the implementation to demonstrate efficiently summarizing multi-modal sensor data for two physical systems using 90 laboratory experiments and 10 000 synthetic idealized measurements. We evaluate the performance of the compile-time phase of dimensional function synthesis as well as the calibration phase overhead, inference latency, and accuracy of the models our method generates. The results show that our technique can generate models in less than 300 ms on average across all the physical systems we evaluated. When calibrated with sensor data, our models outperform traditional regression and neural network models in inference accuracy in all the cases we evaluated. In addition, our models perform better in training latency (over 8660× improvement) and required arithmetic operations in inference (over 34× improvement). These significant gains are largely the result of exploiting information on the physics of signals that has hitherto been ignored.

[1]  Steven L. Brunton,et al.  Data-driven discovery of partial differential equations , 2016, Science Advances.

[2]  Mikael Rittri,et al.  Dimension inference under polymorphic recursion , 1995, FPCA '95.

[3]  Hassan Gomaa,et al.  Dimensional Analysis for Engineers , 2017 .

[4]  Narain H. Gehani,et al.  Dimensional analysis with C++ , 1988, IEEE Software.

[5]  Hod Lipson,et al.  Distilling Free-Form Natural Laws from Experimental Data , 2009, Science.

[6]  Bruce A. MacDonald,et al.  A pragmatic approach to dimensional analysis for mobile robotic programming , 2008, Auton. Robots.

[7]  Geoffrey Ingram Taylor,et al.  The formation of a blast wave by a very intense explosion. - II. The atomic explosion of 1945 , 1950, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[8]  Nathaniel E. Helwig,et al.  An Introduction to Linear Algebra , 2006 .

[9]  Phillip Stanley-Marbell,et al.  Newton: A Language for Describing Physics , 2018, ArXiv.

[10]  E. Buckingham On Physically Similar Systems; Illustrations of the Use of Dimensional Equations , 1914 .

[11]  Matthias Felleisen,et al.  Validating the unit correctness of spreadsheet programs , 2004, Proceedings. 26th International Conference on Software Engineering.

[12]  Donald E. Carlson,et al.  A mathematical theory of physical units, dimensions, and measures , 1979 .

[13]  Donald E. Carlson,et al.  On some new results in dimensional analysis , 1978 .

[14]  Dan Jonsson,et al.  Dimensional Analysis: A Centenary Update , 2014 .

[15]  Andrew Kennedy,et al.  Relational parametricity and units of measure , 1997, POPL '97.

[16]  Edgar Buckingham BUCKINGHAM'S PI THEOREM , 2002 .

[17]  Zerksis D. Umrigar Fully static dimensional analysis with C++ , 1994, SIGP.

[18]  W. Press Numerical recipes in Fortran 77 : the art of scientific computing : volume 1 of fortran numerical recipes , 1996 .

[19]  RAYLEIGH The Principle of Similitude , 1915, Nature.

[20]  Grigore Rosu,et al.  A Rewriting Logic Approach to Static Checking of Units of Measurement in C , 2012, RULE.

[21]  Paul N. Hilfinger,et al.  An Ada package for dimensional analysis , 1988, TOPL.

[22]  Donald Sannella,et al.  Programming Languages and Systems — ESOP '94 , 1994, Lecture Notes in Computer Science.

[23]  David Barber,et al.  Bayesian reasoning and machine learning , 2012 .

[24]  Grigore Rosu,et al.  Rule-Based Analysis of Dimensional Safety , 2003, RTA.

[25]  Andrew Kennedy,et al.  Dimension Types , 1994, ESOP.

[26]  Victor Luchangco,et al.  Object-oriented units of measurement , 2004, OOPSLA.

[27]  A. Sonin A generalization of the Pi-theorem and dimensional analysis. , 2004, Proceedings of the National Academy of Sciences of the United States of America.

[28]  Wu Yihua Discovering natural laws by Reduction , 1989 .

[29]  M Babout,et al.  AMPERE: a programming language for physics , 1990 .

[30]  Ronald T. House A Proposal for an Extended Form of Type Checking of Expressions , 1983, Comput. J..

[31]  G. Strang Introduction to Linear Algebra , 1993 .

[32]  Pat Langley,et al.  BACON: A Production System That Discovers Empirical Laws , 1977, IJCAI.

[33]  Daniel J. A. Hills,et al.  An algorithm for discovering Lagrangians automatically from data , 2015, PeerJ Comput. Sci..