System identification is the discipline of constructing or refining a mathematical model of a dynamical system—parametric or non-parametric—from observed input-output experimental data, enabling accurate simulation and model-based control design. It spans classical methods such as prediction error minimisation, subspace identification, and autoregressive modelling for linear time-invariant systems, through to Gaussian process regression, neural ordinary differential equations, and physics-informed learning for nonlinear and hybrid systems. In robotics and mechatronics, system identification calibrates rigid-body dynamics parameters—link inertia tensors, joint friction coefficients, and actuator gains—required by whole-body controllers and model predictive controllers to generate physically consistent torque commands. The field occupies an intersection of statistical estimation theory, control engineering, and machine learning, and is foundational to closing the sim-to-real gap in data-driven robot learning.

Overview

  • System identification addresses the fundamental inverse problem in control: given a system that can be excited with known inputs and whose outputs can be measured, recover a mathematical description adequate for prediction and controller synthesis.
  • The field was formalised in the 1960s–70s through work on Prediction Error Minimisation and maximum likelihood formulations for Linear Time-Invariant Systems. The canonical reference framework is Ljung’s “System Identification: Theory for the User” (Prentice Hall), which remains the standard treatment.
  • A system identification workflow comprises four stages:
    • Experiment design — selecting an excitation signal (e.g., PRBS, swept-sine, optimised trajectory) that maximises parameter observability while satisfying operational constraints.
    • Data collection — acquiring synchronised input-output time series with adequate sampling rate, low noise floor, and sufficient duration; Sensor Fusion and Signal Processing are prerequisites.
    • Model structure selection — choosing between parametric families (state-space, transfer function, ARX, ARMAX, OE) or non-parametric representations (frequency-response, Gaussian Process Regression, Neural ODE).
    • Estimation and validation — fitting model parameters by minimising a prediction-error or likelihood criterion, then cross-validating on held-out data using residual analysis and fit-percentage metrics.
  • Why it matters:

Key Components

Linear System Methods

  • Prediction Error Minimisation (PEM) — minimises the sum of squared one-step-ahead prediction errors; subsumes least-squares as a special case for ARX models.
  • Subspace identification (N4SID, MOESP, CVA) — recovers state-space matrices directly from block-Hankel data matrices via SVD; consistent and numerically efficient for MIMO systems.
  • ARX / ARMAX / OE / BJ models — polynomial transfer-function families with incremental generality; ARX admits closed-form Least-Squares Regression; ARMAX / Box-Jenkins require iterative optimisation.
  • Frequency-domain methods — spectral analysis via Welch’s method or empirical transfer function estimation (ETFE); useful when broadband excitation is available and direct time-domain data are noisy.

Nonlinear System Methods

  • Nonlinear ARX (NARX) — extends ARX with nonlinear static maps; used with radial basis functions or polynomial expansions.
  • Gaussian Process Regression (GPR) — Bayesian non-parametric approach; naturally provides predictive uncertainty estimates; computationally tractable for low-to-medium dimensional systems.
  • Neural ODEs and Physics-Informed Neural Networks — embed known physical structure (e.g., energy conservation) as soft constraints; bridge data-driven expressiveness with physics prior knowledge.
  • Wiener-Hammerstein and block-structured models — decompose nonlinear systems into linear dynamic blocks and static nonlinearities; interpretable and estimable with dedicated algorithms.

Robot-Specific Identification

  • Rigid-body dynamics identification — exploits the linear parameterisation of Newton-Euler equations in the inertial parameter vector (mass, first moment, inertia tensor components) of each link; enables Least-Squares Regression with condition-number-optimised excitation trajectories.
  • Joint-level identification — characterises motor constants, gear elasticity, Stribeck friction, and viscous damping for precise torque control by Whole Body Control and Model Predictive Control stacks.
  • Deformable and flexible-body identification — extends rigid-body methods to soft robots and flexible links using Finite Element Method priors and modal decomposition.

Statistical and Computational Tools

  • Kalman Filter and Extended Kalman Filter — provide the optimal linear state and parameter estimator for known noise covariance; widely used for joint state-parameter identification in real-time.
  • Expectation-Maximisation (EM) — handles latent-state models; alternates between estimating states (E-step) and maximising likelihood over parameters (M-step).
  • Maximum Likelihood Estimation — asymptotically efficient estimator; forms the statistical foundation of PEM.
  • Regularisation (ridge, Lasso, elastic net) — essential when parameter count exceeds data richness; sparse identification (SINDy) recovers governing equations from data using sparse regression over a library of candidate terms.

Applications

Robotics and Mechatronics

  • Calibrating inertial parameters of humanoid robot limbs to enable Whole Body Control and whole-body torque distribution.
  • Identifying actuator models (motor constants, gear backlash) to improve feed-forward torque accuracy in high-speed manipulation.
  • Characterising soft-robot material properties for model-based deformation control.
  • Building data-driven residual models that augment nominal CAD-derived dynamics for Model Predictive Control.

Aerospace and Automotive

  • Flight envelope identification for aircraft parameter estimation from flight test data; regulated under EASA and FAA airworthiness test procedures.
  • Vehicle dynamics identification for electronic stability control, path prediction, and autonomous driving systems (Model-Based Control).
  • Engine and gas-turbine identification for emissions optimisation and fault detection.

Process and Chemical Engineering

  • Industrial process identification for tuning PI/PID controllers and implementing Model Predictive Control in refinery and pharmaceutical manufacturing.
  • Subspace identification of large-scale MIMO processes with tens of inputs and outputs.

Structural Engineering and Civil Infrastructure

  • Operational modal analysis to identify natural frequencies and damping of bridges and buildings from ambient vibration (Structural Dynamics).
  • Structural health monitoring: detecting changes in identified modal parameters as indicators of damage.

Sim-to-Real Transfer in Robot Learning

  • Online or offline identification of simulator parameters (friction, actuator bandwidth, mass distribution) to reduce the Sim-to-Real Transfer gap for Reinforcement Learning policies.
  • Real-to-sim calibration pipelines: identify a differentiable simulator against real trajectories to produce a high-fidelity training environment.
  • Adaptive model estimation during deployment: continual identification with streaming data for systems that drift (wear, load changes, temperature).

Standards & Context

  • MATLAB System Identification Toolbox — de facto reference implementation; supports PEM, subspace, nonlinear ARX, and grey-box methods; widely used in academic and industrial practice.
  • IEEE Control Systems Society — publishes IEEE Transactions on Automatic Control and IEEE Control Systems Letters where system identification results are routinely peer-reviewed.
  • IFAC (International Federation of Automatic Control) — SYSID symposium is the leading specialised conference; standards documents and benchmarks (e.g., Draper benchmark, Silverbox dataset) provide community reference data.
  • DO-178C / DO-331 (Model-Based Development) — aerospace contexts require that identified models used in safety-critical flight control software meet model coverage and verification requirements.
  • ISO 10218 and ISO/TS 15066 — robot safety standards that implicitly require verified dynamics models; system identification is a prerequisite for guaranteeing torque-limited safe operation in Collaborative Robotics.
  • DIN SPEC 91345 (Digital Twin) — references model calibration (i.e., system identification) as a core Digital Twin lifecycle activity.
  • Benchmark datasets:
    • Silverbox — nonlinear electronic circuit; standard NARX/GP benchmark.
    • Coupled Electric Drives — classic MIMO benchmark from Ljung’s group.
    • AERO-MS — aerospace flexible structure benchmark from ESA activities.

Provenance