A Tutorial on Symbolic Structural Identifiability Analysis of ODE Models in Julia
Abstract
Structural identifiability analysis determines whether the parameters of a mechanistic ordinary differential equation (ODE) model can be uniquely recovered from ideal observations and is a prerequisite for reliable parameter estimation. This tutorial presents a reproducible computational framework for symbolic structural identifiability analysis using StructuralIdentifiability.jl. We introduce the concepts of local and global identifiability, observability, parameter-to-output mappings, and identifiable parameter combinations within a unified computational workflow. The methodology is illustrated through six case studies from epidemiology, pharmacokinetics, and within-host viral dynamics, demonstrating globally identifiable models, locally but not globally identifiable models, structurally non-identifiable models, identifiable parameter combinations, and strategies for restoring identifiability through additional measurements, known initial conditions, fixed parameters, and model reparameterization. Every identifiability verdict reported here is reproduced by companion scripts run in a pinned and tested Julia environment and, where possible, confirmed by an explicit input--output or symmetry argument. The tutorial also shows how models built with ModelingToolkit.jl or Catalyst.jl, or imported from SBML, enter the analysis, how several experimental conditions can be pooled, and how structural identifiability fits into the subsequent steps of experimental design, parameter estimation, and practical identifiability analysis, providing a practical guide to structural identifiability analysis for mechanistic ODE models.
Versions
Related
- A Tutorial on Structural Identifiability of Epidemic Models Using StructuralIdentifiability.jl
- Deep Bayesian Filtering for Nonlinear Structural System Identification: A Tutorial on Structural and Physical Inductive Biases
- Structural properties of admissible subgraphs and the depth of symbolic powers of cover ideals
- Structural Identifiability in Non-Gaussian Graphical Discrete Lyapunov Models
- Structural identifiability of partially-observed stochastic processes: from single-particle trajectories to total particle density data
BibTeX
@misc{alsammani2026tutorial,
title = {{A Tutorial on Symbolic Structural Identifiability Analysis of ODE Models in Julia}},
author = {Abdallah Alsammani},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2605.18910},
eprint = {2605.18910},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2605.18910},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - A Tutorial on Symbolic Structural Identifiability Analysis of ODE Models in Julia
AU - Abdallah Alsammani
PY - 2026
DA - 2026/10/07
PB - arXiv
DO - 10.48550/arxiv.2605.18910
UR - https://arxiv.org/abs/2605.18910
AB - Structural identifiability analysis determines whether the parameters of a mechanistic ordinary differential equation (ODE) model can be uniquely recovered from ideal observations and is a prerequisite for reliable parameter estimation. This tutorial presents a reproducible computational framework for symbolic structural identifiability analysis using StructuralIdentifiability.jl. We introduce the concepts of local and global identifiability, observability, parameter-to-output mappings, and identifiable parameter combinations within a unified computational workflow. The methodology is illustrated through six case studies from epidemiology, pharmacokinetics, and within-host viral dynamics, demonstrating globally identifiable models, locally but not globally identifiable models, structurally non-identifiable models, identifiable parameter combinations, and strategies for restoring identifiability through additional measurements, known initial conditions, fixed parameters, and model reparameterization. Every identifiability verdict reported here is reproduced by companion scripts run in a pinned and tested Julia environment and, where possible, confirmed by an explicit input--output or symmetry argument. The tutorial also shows how models built with ModelingToolkit.jl or Catalyst.jl, or imported from SBML, enter the analysis, how several experimental conditions can be pooled, and how structural identifiability fits into the subsequent steps of experimental design, parameter estimation, and practical identifiability analysis, providing a practical guide to structural identifiability analysis for mechanistic ODE models.
ER -