Abstract:Scientists use mathematical modelling to understand and predict the properties of complex physical systems. In highly parameterised models there often exist relationships between parameters over which model predictions are identical, or nearly so. These are known as structural or practical unidentifiabilities, respectively. They are hard to diagnose and make reliable parameter estimation from data impossible. They furthermore imply the existence of an underlying model simplification. We describe a scalable method for detecting unidentifiabilities, and the functional relations defining them, for generic models. This allows for model simplification, and appreciation of which parameters (or functions thereof) cannot be estimated from data. Our algorithm can identify features such as redundant mechanisms and fast timescale subsystems, as well as the regimes in which such approximations are valid. We base our algorithm on a novel quantification of regional parametric sensitivity: multiscale sloppiness. Traditionally, the link between parametric sensitivity and the conditioning of the parameter estimation problem is made locally, through the Fisher Information Matrix. This is valid in the regime of infinitesimal measurement uncertainty. We demonstrate the duality between multiscale sloppiness and the geometry of confidence regions surrounding parameter estimates made where measurement uncertainty is non-negligible. Further theoretical relationships are provided linking multiscale sloppiness to the Likelihood-ratio test. From this, we show that a local sensitivity analysis (as typically done) is insufficient for determining the reliability of parameter estimation, even with simple (non)linear systems. Our algorithm provides a tractable alternative. We finally apply our methods to a large-scale, benchmark Systems Biology model of NF-$\kappa$B, uncovering previously unknown unidentifiabilities.

Discrete Abstraction Of Multiaffine Systems

Characterization of Smoothness of Multivariate Refinable Functions and Convergence of Cascade Algorithms of Nonhomogeneous Refinement Equations

Reachability and Stabilization of Discrete-Time Affine Systems with Disturbances

On Modeling and Optimal Control of a Class of Hybrid Systems

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories

Necessary and Sufficient Conditions for Reachability of Discrete Time Affine Systems on Simplices

Efficient methodology for multibody simulations with discontinuous changes in system definition

Compositional synthesis of opacity-preserving finite abstractions for interconnected systems

Decomposed Reachability Analysis for Nonlinear Systems

Abstraction-based Probabilistic Stability Analysis of Polyhedral Probabilistic Hybrid Systems

Abstraction-Refinement for Hierarchical Probabilistic Models

Abstracted Model Reduction: A General Framework for Efficient Interconnected System Reduction

Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems

Discretization and quantification for distributionally robust optimization with decision-dependent ambiguity sets

Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach

Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions

A second-order structure-preserving discretization for the Cahn-Hilliard/Allen-Cahn system with cross-kinetic coupling

Compositional Construction of Approximate Abstractions of Interconnected Control Systems

Compositional Relational Abstraction for Nonlinear Hybrid Systems.

Delineating Parameter Unidentifiabilities in Complex Models