Abstract:Experience in the physical sciences suggests that the only realistic means of understanding complex systems is through the use of mathematical models. Typically, this has come to mean the identification of quantitative models expressed as differential equations. Quantitative modelling works best when the structure of the model (i.e., the form of the equations) is known; and the primary concern is one of estimating the values of the parameters in the model. For complex biological systems, the model-structure is rarely known and the modeler has to deal with both model-identification and parameter-estimation. In this paper we are concerned with providing automated assistance to the first of these problems. Specifically, we examine the identification by machine of the structural relationships between experimentally observed variables. These relationship will be expressed in the form of qualitative abstractions of a quantitative model. Such qualitative models may not only provide clues to the precise quantitative model, but also assist in understanding the essence of that model. Our position in this paper is that background knowledge incorporating system modelling principles can be used to constrain effectively the set of good qualitative models. Utilising the model-identification framework provided by Inductive Logic Programming (ILP) we present empirical support for this position using a series of increasingly complex artificial datasets. The results are obtained with qualitative and quantitative data subject to varying amounts of noise and different degrees of sparsity. The results also point to the presence of a set of qualitative states, which we term kernel subsets, that may be necessary for a qualitative model-learner to learn correct models. We demonstrate scalability of the method to biological system modelling by identification of the glycolysis metabolic pathway from data.

Inferring Approximated Models for Systems Engineering

Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.

Learning Probabilistic Models for Model Checking: an Evolutionary Approach and an Empirical Study

Automatically ‘verifying’ Discrete-Time Complex Systems Through Learning, Abstraction and Refinement

An Approximation-based Approach for the Random Exploration of Large Models

Some approximations in Model Checking and Testing

Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference

Qualitative System Identification from Imperfect Data

Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata

Modeling the Uncertainty in Complex Engineering Systems

Execution of Partial State Machine Models

An Uncertainty Quantification Method for Inexact Simulation Models

A Hybrid Approach to System Verification in Early Design for Complex Mechatronic Systems Based on Formal Functional Semantics

Implication-Based Approximating Bounded Model Checking

Parameter Inference of Queueing Models for IT Systems Using End-to-end Measurements

Software Engineering Meets Systems Engineering: Conceptual Modeling Applied to Engineering Operations

Formalizing a framework of inference capabilities for Digital Twin engineering

Rigorous Assessment of Model Inference Accuracy using Language Cardinality

Invisible formal methods for embedded control systems

Discover an accurate approximation of dynamical system without prior information and customized design

Information model for model driven safety requirements management of complex systems