Abstract:The development of data-informed predictive models for dynamical systems is of widespread interest in many disciplines. We present a unifying framework for blending mechanistic and machine-learning approaches to identify dynamical systems from noisily and partially observed data. We compare pure data-driven learning with hybrid models which incorporate imperfect domain knowledge, referring to the discrepancy between an assumed truth model and the imperfect mechanistic model as model error. Our formulation is agnostic to the chosen machine learning model, is presented in both continuous- and discrete-time settings, and is compatible both with model errors that exhibit substantial memory and errors that are memoryless. First, we study memoryless linear (w.r.t. parametric-dependence) model error from a learning theory perspective, defining excess risk and generalization error. For ergodic continuous-time systems, we prove that both excess risk and generalization error are bounded above by terms that diminish with the square-root of T T , the time-interval over which training data is specified. Secondly, we study scenarios that benefit from modeling with memory, proving universal approximation theorems for two classes of continuous-time recurrent neural networks (RNNs): both can learn memory-dependent model error, assuming that it is governed by a finite-dimensional hidden variable and that, together, the observed and hidden variables form a continuous-time Markovian system. In addition, we connect one class of RNNs to reservoir computing, thereby relating learning of memory-dependent error to recent work on supervised learning between Banach spaces using random features. Numerical results are presented (Lorenz ’63, Lorenz ’96 Multiscale systems) to compare purely data-driven and hybrid approaches, finding hybrid methods less datahungry and more parametrically efficient. We also find that, while a continuous-time framing allows for robustness to irregular sampling and desirable domain- interpretability, a discrete-time framing can provide similar or better predictive performance, especially when data are undersampled and the vector field defining the true dynamics cannot be identified. Finally, we demonstrate numerically how data assimilation can be leveraged to learn hidden dynamics from noisy, partially-observed data, and illustrate challenges in representing memory by this approach, and in the training of such models.

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric

Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]

A Cantor-Kantorovich Metric Between Markov Decision Processes with Application to Transfer Learning

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

Reduced Markovian Models of Dynamical Systems

Data-driven Interval MDP for Robust Control Synthesis

Data2Dynamics: a Modeling Environment Tailored to Parameter Estimation in Dynamical Systems.

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

Markov Modeling of Time-Series Data using Symbolic Analysis

Dynamically Meaningful Latent Representations of Dynamical Systems

A framework for machine learning of model error in dynamical systems

Dynamics of micro and nanoscale systems in the weak-memory regime: A mathematical framework beyond the Markov approximation

Data-Driven Abstractions for Control Systems via Random Exploration

Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions

A metric on directed graphs and Markov chains based on hitting probabilities

A Minkowski space embedding to understand Markov models dynamics

A Transition System Abstraction Framework for Neural Network Dynamical System Models

MDP Abstractions from Data: Large-Scale Stochastic Networks

Automated Global Analysis of Experimental Dynamics through Low-Dimensional Linear Embeddings

Data-driven Effective Modeling of Multiscale Stochastic Dynamical Systems

Data-driven abstraction-based control synthesis