DeepAI AI Chat
Log In Sign Up

Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics

by   Stefan Haar, et al.

Parametric models abstract part of the specification of dynamical models by integral parameters. They are for example used in computational systems biology, notably with parametric regulatory networks, which specify the global architecture (interactions) of the networks, while parameterising the precise rules for drawing the possible temporal evolutions of the states of the components. A key challenge is then to identify the discrete parameters corresponding to concrete models with desired dynamical properties. This paper addresses the restriction of the abstract execution of parametric regulatory (discrete) networks by the means of static analysis of reachability properties (goal states). Initially defined at the level of concrete parameterised models, the goal-oriented reduction of dynamics is lifted to parametric networks, and is proven to preserve all the minimal traces to the specified goal states. It results that one can jointly perform the refinement of parametric networks (restriction of domain of parameters) while reducing the necessary transitions to explore and preserving reachability properties of interest.


page 1

page 2

page 3

page 4


Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks

The modelling of discrete regulatory networks combines a graph specifyin...

The Orbit Problem for Parametric Linear Dynamical Systems

We study a parametric version of the Kannan-Lipton Orbit Problem for lin...

Structure-preserving Model Reduction of Parametric Power Networks

We develop a structure-preserving parametric model reduction approach fo...

On the expressive power of invariants in parametric timed automata

The verification of systems combining hard timing constraints with concu...

Goal-Oriented Adaptive THB-Spline Schemes for PDE-Based Planar Parameterization

This paper presents a PDE-based planar parameterization framework with s...

Parameter Synthesis in Markov Models: A Gentle Survey

This paper surveys the analysis of parametric Markov models whose transi...

Non-Parametric and Regularized Dynamical Wasserstein Barycenters for Time-Series Analysis

We consider probabilistic time-series models for systems that gradually ...