On Parameters of Nonlinear Scalar Dynamics from Video: Invariants, Calibration, and Identifiability
Organizations: University of Melbourne · Mohamed bin Zayed University of Artificial Intelligence · Carnegie Mellon University
Abstract
Physical parameter estimation from video aims to recover the parameters of a known family of governing dynamical equations from pixel observations. Existing identifiability theory for this setting has focused on linear time-invariant (LTI) second-order systems, leaving open what can be identified for nonlinear scalar dynamics. We develop an identifiability theory for nonlinear scalar second-order ODEs, organized by how their velocity dependence interacts with changes of the learned state coordinate. Under a shared non-collapsed state map and explicit same-state velocity-coverage conditions, we show that parameter identifiability depends on the ODE family: some parameters are uniquely identifiable, while in other families only invariant parameter combinations are identifiable or external physical calibration is required. For laws that are at most linear in velocity, compatibility forces affine coordinate alignment, yielding explicit parameter relations, invariants, and calibration conditions. This affine conclusion extends to broader finite velocity-feature families when coordinate curvature can be separated from the declared velocity dependence. For families admitting a squared-velocity term, nonlinear coordinate ambiguity can remain; a law-derived normalization instead enables affine comparison between canonical laws. Experiments on synthetic systems and real pendulum and free-fall videos support the predicted parameter relations, coverage effects, and calibration requirements.
Figures & tables
| Declared family | Coordinate gauge | Invariant information | Sufficient parameter calibration |
|---|---|---|---|
| LTI | , | None | |
| Angular pendulum ( ) | None | ||
| Normalized Van der Pol ( ) | None | ||
| Cubic Duffing ( ) | One unsigned amplitude anchor for | ||
| Quintic Duffing ( ) | One unsigned amplitude anchor for |
| Velocity design | Rank | Coordinate (%) | Parameter (%) |
|---|---|---|---|
| One-way, | 1.18 [1.08, 1.40] | 44.97 [15.07, 59.87] | |
| Two-way, | 1.08 [0.91, 1.34] | 6.95 [4.85, 8.65] | |
| Two-way, | 1.07 [0.93, 1.22] | 1.34 [0.85, 2.60] |
| Raw coordinate error (%) | Canonical coordinate error (%) | Restoring-force error (%) |
|---|---|---|
| 5.633 [5.629, 5.635] | 0.305 [0.303, 0.305] | 0.193 [0.183, 0.199] |
| Experiment | Parameter | Reference | Estimate | (%) | (%) |
|---|---|---|---|---|---|
| Pendulum (nonlinear) | 0.50 | 2.92 [2.82, 3.17] | 5.04 [4.38, 5.83] | ||
| Pendulum (LTI) | 0.50 | 12.92 [12.83, 12.97] | 7.13 [5.46, 7.45] | ||
| Side fall | 9.81 | 5.10 [3.21, 7.42] | 3.75 [3.22, 5.14] | ||
| Overhead fall | 9.81 | 3.35 [3.26, 3.39] | 5.57 [5.57, 5.60] |
Appendix figures & tables38 assets
Supplementary material from the paper’s appendix.
Appendix
| Symbol | Meaning |
|---|---|
| Observed collection of timestamped video frames. | |
| Clip index, number of clips, underlying time interval, and final frame index; clip has frames. | |
| Recorded timestamp and known uniform within-clip sampling interval. All dynamical derivatives use this time coordinate. | |
| Ideal frame path and its recorded sample at . | |
| Unobserved data-generating scalar physical coordinate. | |
| Shared per-frame scalar encoder. Its output enters the ODE residual directly. |
| Question | Evidence to report | Scope of the conclusion |
|---|---|---|
| Declared family | Coefficient restrictions and domains; test-law error and matched-family comparisons. | A small fitting residual alone does not establish that the declared family contains the physical law. |
| Shared state map | One frozen map across clips; held-out coordinate error and, when available, derivative comparisons. | Coordinate agreement supports transfer of the map. A shared encoder alone does not establish latent-state consistency. |
| Velocity coverage | Physical coordinate, level tolerance, distinct speeds and signs, feature rank and conditioning. | The coefficient-matching result requires its stated coverage. Failure of a sufficient rank condition does not itself prove nonidentifiability. |
| Canonical normalization | Fitted , normalizer basepoint, regular interval, and transformed-law comparison. | The comparison is restricted to the valid chart. Normalization removes the squared-velocity channel but does not determine physical units. |
| Parameter recovery | Allowed coordinate action and branches, parameter-orbit error, and the specified invariants. | Agreement of selected coefficients or invariants need not establish full law equivalence or identify every parameter. |
| Physical calibration | Anchor values, units, domain, remaining branches, and a uniqueness argument. | Calibrated estimates use additional physical information. A regular full-rank anchor map gives local uniqueness, with branches checked separately. |
| Family and required design | Coordinate relation | Parameter conclusion |
|---|---|---|
| Semilinear; three distinct physical velocities at each covered state (Theorem 3.1 ) | Raw coordinates are affine-related | Affine compatible outer set; invariant combinations, singleton identification, and sufficient local physical anchors |
| Finite dilation-stable library with constants, excluding ; full augmented rank (Theorem 4.1 ) | Raw coordinates are affine-related | Affine compatibility analysis, restricted to the declared family |
| Polynomial in velocity, admitting ; distinct physical velocities per state (Theorem 4.2 ) | Raw relation may be nonlinear; canonical relation is affine | Canonical compatible outer set in the original parameter space; invariants and local physical-anchor analysis |
| Required coverage or shared-map premise fails or remains unverified | The affected guarantee is unavailable | Acquire additional evidence, supply a separate family-specific argument, or withhold the affected claim |
| Family / experiment | Pixels / Hz / duration | Train / test |
|---|---|---|
| Affine LTI | / 60 / 6 s | 16 / 8 |
| Pendulum | / 60 / 8 s | 10 / 4 |
| Van der Pol | / 60 / 12 s | 6 / 4 |
| Cubic Duffing | / 60 / 8 s | 10 / 4 |
| Quintic Duffing | / 60 / 3 s | 16 / 8 |
| Quadratic / Helmholtz | / 60 / 8 s | 3 / 4 |
| Family | Training pairs | Test pairs |
|---|---|---|
| LTI / quintic | , ; , | , ; , |
| Pendulum | , | |
| Van der Pol | , , | , |
| Cubic | , | , |
| Quadratic | , , | , , , |
| Learned law / physical coefficients | Allowed map / parameter consequence |
|---|---|
| ; ; invariant. | |
| ; , ; invariant. | |
| ; invariant. | |
| ; ; invariant. | |
| ; ; also invariant. | |
| Origin: , , . Shifted: , . |
| Family | IC collections | Seeds per set | Updates | |
|---|---|---|---|---|
| Affine LTI | 10 | 10 | 2,000 | |
| Pendulum | 10 | 10 | 2,500 | |
| Van der Pol | 10 | 10 | 5,000 | |
| Cubic Duffing | 10 | 10 | 8,000 | |
| Quintic Duffing | 10 | 10 | 8,000 | |
| Quadratic / Helmholtz | 10 | 10 | 6,000 |
| Family (100 fits) | Parameter (%) | Coordinate (%) |
|---|---|---|
| Affine LTI | 0.85 [0.52, 1.65] | 1.68 [1.53, 1.90] |
| Pendulum | 1.44 [0.84, 2.17] | 3.58 [2.27, 5.99] |
| Van der Pol | 0.31 [0.13, 0.61] | 2.45 [1.69, 3.71] |
| Cubic | 2.56 [1.60, 4.60] | 0.82 [0.68, 1.08] |
| Quintic | 1.68 [1.02, 2.29] | 0.78 [0.62, 1.06] |
| Quadratic | 2.47 [1.31, 4.37] | 3.29 [1.96, 6.08] |
| Dataset | Affine LTI (%) | Family model (%) | Family wins |
|---|---|---|---|
| Affine LTI | 3.86 [1.96, 6.58] | 4.56 [2.16, 6.84] | 46/100 |
| Pendulum | 11.34 [11.20, 11.70] | 2.17 [1.43, 3.89] | 99/100 |
| Van der Pol | 88.48 [88.01, 88.79] | 5.80 [3.07, 9.21] | 98/100 |
| Cubic | 17.92 [17.46, 18.53] | 0.81 [0.57, 1.39] | 100/100 |
| Quintic | 24.29 [23.46, 25.02] | 0.54 [0.33, 0.89] | 100/100 |
| Quadratic | 22.03 [20.42, 23.85] | 3.15 [1.70, 6.68] | 92/100 |
| IC collections | Seeds per collection | Updates | |
|---|---|---|---|
| 10 | 5 | 5,000 |
| Damping | Restoring coefficient | Quadratic channel |
|---|---|---|
| 0.64% [0.53%, 0.68%] | 0.21% [0.20%, 0.23%] | 1.93% [1.83%, 1.95%] |
| Training observations | Videos | Distinct velocities | Raw (%) | Canonical (%) | Force (%) |
|---|---|---|---|---|---|
| ; 1 passage | 1 | 1 | 3.137 [3.092,3.140] | 0.898 [0.886,0.899] | 19.21 [19.19,20.02] |
| ; 2 passages | 1 | 2 | 8.441 [8.434,8.725] | 0.823 [0.560,1.192] | 3.49 [3.38,4.61] |
| ; 3 passages | 1 | 3 | 8.129 [8.114,8.196] | 0.691 [0.657,0.719] | 2.65 [1.91,3.48] |
| 3 | 3 | 2.853 [2.839,2.943] | 0.748 [0.672,0.762] | 9.55 [8.59,10.05] | |
| 6 | 3 | 3.007 [2.956,3.038] | 0.539 [0.527,0.546] | 3.83 [3.22,5.43] |
| Model | Affine: | Sign/period: |
|---|---|---|
| Nonlinear pendulum | 5.04 [4.38, 5.83] | 13.22 [12.20, 13.97] |
| LTI | 7.13 [5.46, 7.45] | 39.04 [28.65, 53.30] |
| Collection | 0.8 m | 1.0 m | 1.2 m | 1.4 m | Videos | Frames |
|---|---|---|---|---|---|---|
| IC1 | 01 | 01 | 01,02 | 01 | 5 | 95 |
| IC2 | 01 | 01,02 | 01,02,03 | 01 | 7 | 132 |
| IC3 | 01,02 | 01,02 | 01,02,03 | 01,02 | 9 | 166 |
| IC4 | 01,02,03 | 01,02,03 | 01,02,03 | 01,02 | 11 | 199 |
| IC5 | 01,02,03,04 | 01,02,03,04 | 01,02,03,04 | 01,02 | 14 | 247 |
| Test | 05 | 05 | 05 | 03,04,05 | 6 | 78 |
| Raw (%) | Canonical (%) | Learned |
|---|---|---|
| 15.85 [15.74, 16.01] | 5.57 [5.57, 5.60] |
| IC collection | Learned | ( ) | Raw | Canonical | |
|---|---|---|---|---|---|
| IC1 | 1.0 | 12.81 [12.78, 12.83] | 3.86 [3.70, 3.88] | ||
| IC1 | 2.0 | 13.35 [13.13, 13.35] | 3.84 [3.78, 3.90] | ||
| IC1 | 3.0 | 13.42 [13.29, 13.70] | 3.85 [3.82, 3.94] | ||
| IC2 | 1.0 | 12.58 [12.57, 12.80] | 4.17 [4.15, 4.24] | ||
| IC2 | 2.0 | 12.87 [12.68, 12.91] | 4.19 [4.17, 4.28] | ||
| IC2 | 3.0 | 12.95 [12.84, 13.29] | 4.26 [4.25, 4.39] |